군론 공부 5_ 준동형사상의 기본 정리
1. 사상 '사상'이란 두 집합의 원소들을 특정한 함수로 서로 대응시키는 것을 의미한다. 예를 들어 {1, 2, 3}에서 함수 (홀수)$\to$1 (짝수)$\to$0 를 이용해 {0, 1}을 만드는 것은 {1, 2, 3}에서 {0, 1}로의 사상이 된다. 2. 준동형사상 군과 군 사이에도 역시나 사상을 취할 수 있다. 이때 '준동형사상'이라는 특별한 사상을 만드는 것도 가능하다. 두 군 G, H에 대하여 f: G$\to$H가 아래 조건을 만족할 때 f를 준동형사상이라고 한다. G의 임의의 원소 x, y에 대해 f(xy) = f(x)f(y) (단, 좌변은 G의 연산으로 xy를, 우변은 H의 연산으로 f(x)f(y)를 계산) 그리고 f가 G에서 H로의 전사함수, 즉 H의 모든 원소들에 대해 각 원소를 f(x..