문제 푸는 과정에서 Aut(Z_3 x Z_3)을 구해야했는데, 처음에는 감도 안잡히는거임.. 근데 제너레이터를 옮기는게 풀이의 기본이고 linear transformation처럼 하는거니까 2x2 행렬로 independent한 column을 만들어서 그게 베이시스를 옮기는거니까 SL_2(F3)랑 isomorphic이구나 하고 이해는 됐음..

Automorphism, inner automorphism이런거 보다보면 알 것도 같으면서 많이 헷갈린다. 처음에는 그냥 눈으로 보이게 이해하고 싶어서. 어떤 group table을 표로 그려놓고, 같은 원소끼리 같은 색으로 표시하고, 표에 적어둔 원소들의 순서를 임의로 바꿔도 그 색의 패턴이 똑같으면 automorphism의 예시다 이렇게 생각했는데 맞겠지. 더밋 보는중인데, 문제는 그럭저럭 풀리는데 어제 갑자기 위에 저거 Z3 Z3보고 멘붕와서 자괴감들더라.. 어느정도 해결해서 다행