이 친구를 fundamental theorem of finitely generated abelian groups 에 따라 분류하는 문제인데 (0,0,1), (0,1,1), (1,1,1) 조사해서 원소의 최대 order가 8인것까진 알겠는데 Z8×Z4 or Z8×Z2×Z2 중 어느건지를 구분 못하겠음... 이런 문제에 전형적인 idea같은 게 있나??
ㅇㅇ 있음
(a,b,c) in Z4 * Z4 * Z8 -> (b-2a, c-4a) in Z4 * Z8 이 homomorphism인지 체크
검색하니까 여기 갤 옛날 글에도 그 풀이가 있더라 ㄱㅅㄱㅅ
행렬로 하는거 있는데 그게 어느 책에 나와있지?
프렐라이 15절(Factor group computation&Simple group) 연습문제
smith normal form