페미위키:포크 프로젝트/리브레 위키/군 (수학)

This page was last edited on 1 November 2021, at 23:18.
< 페미위키:포크 프로젝트‎ | 리브레 위키

(group)은 대충 말해 곱셈과 나눗셈이 가능한 집합(?)이다.[1] 즉, 어떤 집합에 정의된 적당한 추상적 연산이 몇 가지 좋은 성질을 만족할 때 그 집합과 연산의 순서쌍을 군이라고 한다.

1 정의

군(群, group)이란 다음 세 가지 공리를 만족하는 집합 와 이항연산 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \cdot :G \times G \to G} 의 쌍 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (G, \cdot)} 을 말한다.

  1. G의 원소들인 x와 y를 연산하면 다시 G의 원소가 된다. 즉, 연산에 대해 닫혀 있다.
  2. 결합법칙을 만족한다. 그러니까 모든 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x, y, z \in G} 에 대해서 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (x\cdot y)\cdot z=x\cdot (y\cdot z)} 가 된다. 이걸 요구하지 않으면 연산순서 때문에 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle a^n} 같은걸 정의할 수 없어서 불편하다.
  3. 항등원이 존재한다. 그러니까 적당한 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle e \in G} 가 있어서 모든 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x \in G} 에 대해서 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle e\cdot x=x\cdot e=x} 를 만족한다. 항등원은 존재하면 유일하므로[2], 이 원소를 그냥 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle e} 로 적고, 혼동의 여지가 있을 때는 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle e_G} 로도 적는다. 곱셈에서의 1 같은 존재이며 덧셈에서의 0같은 존재이다.
  4. 역원이 존재한다. 그러니까 모든 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x \in G} 에 대해서 적당한 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle y \in G} 가 있어서 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x\cdot y=y\cdot x=e} 가 된다. 역원도 존재하면 유일하므로[3], 이 원소를 그냥 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x^{-1}} 로 적는다. 곱셈에서의 1/x와 같은 존재이며 덧셈에서의 -x와 같은 존재이다.

군의 연산은 보통 곱셈처럼 생각하며, 따라서 보통의 관습에 따라 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x\cdot y = xy} 처럼 적기도 한다. 아예 연산이 붙여쓰기(juxtaposition)라고 하는 경우도 있다. 이 경우 항등원은 1로도 많이 쓴다. 한편, 후술하는 아벨군의 경우에는 연산을 덧셈처럼 생각하고 표기도 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x+y} 와 같이 하는 경우가 훨씬 많고, 이 경우 항등원은 0으로 많이 쓴다.

이를 commutative diagram으로 쓰면 다음과 같이 나타낼 수 있다. 다음 세 diagram이 commute한다:

  1. 결합 법칙과 닫혀 있음.
    구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \require{AMSmath} \require{AMSsymbols} \def\mapright#1{\xrightarrow{{#1}}} \def\mapdown#1{\Big\downarrow\rlap{\raise2pt{\scriptstyle{#1}}}} \def\mapdownl#1{\llap{\raise2pt{\scriptstyle{#1}}}\Big\downarrow} \def\mapdiagright#1{\vcenter{\diagdown\kern-.4em\lower.63em{\searrow}\llap{\raise2pt{\scriptstyle #1\kern2pt}}}} \def\mapdiagleft#1{\vcenter{\kern1em\diagup\kern-1.6em\lower.63em{\swarrow}\llap{\raise2pt{\scriptstyle #1\kern2pt }}}} \begin{array}{ccc} (G\times G )\times G & \mapright{\cong} & G\times (G\times G ) \\[3pt] \mapdownl{m \times 1_G}& & \mapdown{1_G\times m } \\[3pt] G\times G & &G\times G \\[3pt] \qquad\qquad \mapdiagright{m }& & \mapdiagleft{m } \qquad \qquad \\ & G & \end{array}}
    여기에서 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle m=\cdot : G\times G\longrightarrow G} 는 곱셈(이항연산)을 나타내고, 1G은 항등함수 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle 1_G:g \mapsto g} 를 나타낸다.
  2. 항등원의 존재. 다음 두 삼각형을 commute하는 항등원 (항등원을 만드는 사상) 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle e:\;G\xrightarrow{\mathrm{proj}} 1\rightarrow G} 이 존재한다:[4]
    구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \require{AMSmath} \require{AMSsymbols} \def\mapright#1{\xrightarrow{{#1}}} \def\mapdown#1{\Big\downarrow\rlap{\raise2pt{\scriptstyle{#1}}}} \def\mapdownl#1{\llap{\raise2pt{\scriptstyle{#1}}}\Big\downarrow} \def\mapdiagright#1{\vcenter{\diagdown\kern-.4em\lower.63em{\searrow}\llap{\raise2pt{\scriptstyle #1\kern2pt}}}} \def\mapdiagleft#1{\vcenter{\kern1em\diagup\kern-1.6em\lower.63em{\swarrow}\llap{\raise2pt{\scriptstyle #1\kern2pt }}}} \begin{array}{ccc} G & \mapright{\left< e, 1_G \right>}&G\times G\\[3pt] \mapdownl{\left< 1_G, e \right>}&\mapdiagright{1_G} & \mapdown{m} \\[3pt] G\times G & \mapright{m}&G \end{array}}
  3. 역원의 존재. 다음 두 사각형을 commute하는 역원 (역원을 만드는 사상) 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle i:G\rightarrow G} 이 존재한다:
    구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \require{AMSmath} \require{AMSsymbols} \def\mapright#1{\xrightarrow{{#1}}} \def\mapleft#1{\xleftarrow{{#1}}} \def\mapdown#1{\Big\downarrow\rlap{\raise2pt{\scriptstyle{#1}}}} \def\mapdownl#1{\llap{\raise2pt{\scriptstyle{#1}}}\Big\downarrow} \def\mapdiagright#1{\vcenter{\diagdown\kern-.4em\lower.63em{\searrow}\llap{\raise2pt{\scriptstyle #1\kern2pt}}}} \def\mapdiagleft#1{\vcenter{\kern1em\diagup\kern-1.6em\lower.63em{\swarrow}\llap{\raise2pt{\scriptstyle #1\kern2pt }}}} \begin{array}{ccc} G\times G & \mapleft{\Delta} & G & \mapright{\Delta} & G\times G \\[3pt] \mapdownl{1_G\times i} & & \mapdownl{e} & &\mapdown{i\times 1_G} \\[3pt] G\times G & \mapright{m} & G & \mapleft{m} & G\times G \\[3pt] \end{array}}
    이때 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \Delta = \left< 1_G , 1_G \right>} 이다.

여기서, 위의 정의 중 부분만을 만족시키는 대상들에 대해 반군(1만을 만족), 모노이드(1, 2만을 만족) 등의 이름이 있다.

가끔 좀 별난 교과서에서는 2와 3을 결합법칙 전제하에서 다음과 같이 대체하기도 한다.

1. 좌항등원의 존재: 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle l \in G} 이 존재하여,의 임의의 원소 에 대해,
구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle a = l*a}
2. 좌항등원의 좌역원의 존재: 임의의 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle a \in G} 에 대해, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x \in G} 가 존재하여,
구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle l=x*a}

마찬가지로 결합법칙 전제하에 우항등원이 존재하고 우항등원의 우역원이 존재한다로도 군이 된다. 물론 좌항등원이 존재하고 좌항등원의 우역원이 존재한다 같은 걸로는 안 된다. 증명은 다음을 참조


간단한 군의 예시를 들어보자. {a, b}라는 집합을 두고 a+a=a, a+b=b+a=b, b+b=a라고 정의하면 이것은 군이 된다.[5]

2

군의 대표적인 예로는 다음과 같은 것이 있다.

  • 덧셈에 관해 군을 이루는 것
    • 정수 전체의 집합 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (\mathbb Z,+)} , 유리수 전체의 집합 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (\mathbb Q,+)} , 실수 전체의 집합 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (\mathbb R, +)} , 복소수 전체의 집합 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (\mathbb C,+)} .
    • 잉여군 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (\mathbb Z/n \mathbb Z, +)} .
  • 곱셈에 관해 군을 이루는 것
    • 단원군(Unit group) 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (\mathbb Z^\times, \cdot)} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (\mathbb Q^\times, \cdot)} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (\mathbb R^\times, \cdot)} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (\mathbb C^\times, \cdot)} .
    • 복소수의 1의 제곱근의 군 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \mu_n(\mathbb C) =\{ z \in \mathbb C : z^n=1\}} .
    • 복소수에서 단위원군(Circle group) 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \mathbb{T} = \{ z \in \mathbb{C} : |z| = 1 \}}
    • 행렬군(Matrix group) 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname{GL}(V)} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname{SL}(V)} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname{O}(n)} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname{SO}(n)} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname{U}(n)} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname{SU}(n)} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname{Sp}(n)} .
  • 그 밖의 것
    • 대칭군(Symmetric group)
    • 교대군(Alternative group)
    • 정이면체군(Dihedral group) 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle D_{2n}}
    • 갈루아군(Galois group) 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle Gal(K/F)} .
    • 호모토피 군 (Homotopy Group) 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \pi_n (X) }
    • 호몰로지 군 (Homology Group) 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \mathrm{H}_n (X) }

군이 아닌 것의 예로는 자연수 전체의 집합을 들 수 있다. 자연수 전체의 집합은 덧셈에 대해서도, 곱셈에 대해서도 군이 아니다. 덧셈에 대해서는 항등원[6]과 역원이 없고, 곱셈에 대해서는 역원이 없다. 즉, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (\mathbb N,+)} 은 1번 공리만 만족하여 반군(semigroup)이고, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (\mathbb N,\cdot)} 은 1,2번 공리만 만족해서 모노이드(monoid)이다.

3 군의 종류

가 군일 때,

  • 아벨군(abelian group)[7]/가환군(commutative group)이라는 것은 교환법칙이 성립하는 것이다. 그러니까 모든 구문 분석 실패 (변환 오류. 서버 ("https://femiwiki.com/femiwiki.com/")가 보고했습니다: "Cannot get mml. connect ECONNREFUSED 127.0.0.1:10044"): {\displaystyle x,y\in G} 에 대해서 구문 분석 실패 (변환 오류. 서버 ("https://femiwiki.com/femiwiki.com/")가 보고했습니다: "Cannot get mml. connect ECONNREFUSED 127.0.0.1:10044"): {\displaystyle xy=yx} 가 성립한다.
    • 아벨군의 예: 위 군의 예 중 덧셈에 관해 군을 이루는 것 전부 및 아래 순환군.
  • 순환군(cyclic group)이라는 것은 적당한 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle a\in G} 가 있어서 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \langle a \rangle=G} 인 것이다. 이는 모든 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x\in G} 에 대해 적당한 정수 n이 있어서 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x=a^n } 꼴로 표현되는 것과 동치이다. 이때 의 생성자(generator)라고 한다. 순환군은 가장 간단한 형태의 군이고, 모든 순환군은 아벨군이다.[8]
    • 순환군의 예: 자명군 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \{0 \} } , 정수군 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle ( \mathbb Z , + )} , 잉여군 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (\mathbb Z/n \mathbb Z, +)} . 사실 모든 순환군은 이들 중 어느 하나와 동형(isomorphic)이다.
  • 단순군(simple group)이라는 것은 의 정규부분군이 자기자신 와 자명군 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \{ e \}} 밖에 없는 것이다.
  • 소수 에 대해 군(‐group)이라는 것은, 의 모든 원소의 위수가 의 양의 거듭제곱인 것이다.
  • 가해군(solvable group)이라는 것은 적당한 의 부분군들 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \{e \}=H_0\trianglelefteq H_1\trianglelefteq\dots\trianglelefteq H_n=G} 가 있어서 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H_i/H_{i-1}} (구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle i=1, \dots, n} )가 모두 아벨군인 것이다.

또, 의 크기 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle |G|}위수(order)라고 하는데, 의 위수가 유한하면 를 유한군(finite group), 무한하면 를 무한군(infinite group)이라고 부른다.

4 군 동형사상과 군 준동형사상

두 개의 군 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H} 가 있고, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (G,*)} 에서 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (H,*')} 로 가는 함수 가 있다고 하자. 이 함수가 모든 구문 분석 실패 (변환 오류. 서버 ("https://femiwiki.com/femiwiki.com/")가 보고했습니다: "Cannot get mml. connect ECONNREFUSED 127.0.0.1:10044"): {\displaystyle x,y\in G} 에 대해 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle f(x*y) = f(x)*'f(y)} 를 만족할 때, 이 군 준동형사상(group homomorphism, group homomorph)이라고 부른다.

좀 더 정확하게는 가 군의 이항연산 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \cdot} , 영항연산 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle e} , 단항연산 -1을 모두 보존해야 하지만, 군에서는 이항연산 하나만 보존하면 나머지는 자동이므로 위처럼 정의해도 아무런 문제가 없다.

준동형사상을 commutative diagram으로 표현하면 다음과 같다:

구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \require{AMSmath} \require{AMSsymbols} \def\mapright#1{\xrightarrow{{#1}}} \def\mapdown#1{\Big\downarrow\rlap{\raise2pt{\scriptstyle{#1}}}} \def\mapdownl#1{\llap{\raise2pt{\scriptstyle{#1}}}\Big\downarrow} \def\mapdiagright#1{\vcenter{\diagdown\kern-.4em\lower.63em{\searrow}\llap{\raise2pt{\scriptstyle #1\kern2pt}}}} \def\mapdiagleft#1{\vcenter{\kern1em\diagup\kern-1.6em\lower.63em{\swarrow}\llap{\raise2pt{\scriptstyle #1\kern2pt }}}} \begin{array}{ccc} G \times G & \mapright{\varphi \times \varphi} &H\times H \\[3pt] \mapdownl{*}& & \mapdown{*' } \\[3pt] G & \mapright{\varphi} &H \end{array}}

두 개의 군 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle G,H} 에 대해 군 준동형사상 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle f : G \to H} 가 존재하면 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H}준동형상(homomorphic image)이라고 한다.

만약 군 준동형사상 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle f : G \to H} 가 일대일대응(one‐to‐one correspondence)이면 군 동형사상(group isomorphism, group isomorph)이라고 부른다. 이때 두 군 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H}동형(isomorphic)이라고 하고, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle G \cong H} 로 적는다.

두 개의 군 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle G,H} 가 동형이라는 것은 두 군이 이름만 다르고 구조적으로 완전히 똑같다는 뜻이다. 예를 들어 다음과 같다(구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle G,H} 를 바꾸어도 된다).

  • 가 아벨군(순환군, 단순군, 가해군)이면, 군 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H} 도 아벨군(순환군, 단순군, 가해군)이다.
  • 의 위수가 6이면, 군 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H} 의 위수도 6이다.
  • 의 부분군이 4개이면, 군 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H} 도 부분군이 4개이다.

동형인 군의 예는 다음과 같다.

  • 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle ( \mathbb Z/n \mathbb Z, +) \cong \mu_n ( \mathbb C )} [9]
  • 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \mathbb Z^\times \cong \mathbb Z/2 \mathbb Z}
  • 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \mathbb{T} \cong \mathbb{R}/\mathbb{Z} \cong U(1) \cong SO(2)}
  • 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (\mathbb{C}, +) \cong (\mathbb{R}, +)} [10]

5 부분군(Subgroup)

의 부분집합 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H}부분군(subgroup)이라는 것은 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H}로부터 물려받은 연산에 관하여 다시 군이 되는 것을 말하고, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H \leq G} 로 표기한다.

이때, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H} 에서의 항등원 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle e_H}에서의 항등원 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle e_G} 가 같은지 문제되고, 한 번은 확인해야 한다. 물론 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H} 에서의 등식 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle e_H e_H = e_H }에서의 등식 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle e_H = e_H e_G } 를 붙여 놓고 양변에서 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle e_H } 를 소거하면 원하는 결과를 얻는다. 그리고 항등원이 같은 이상 역원이 같은지는 앞의 유일성 증명에 의해 문제되지 않는다.

부분군의 대표적인 예로는 다음과 같은 것이 있다.

  • 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (\mathbb Z, +) \leq (\mathbb Q, +) \leq (\mathbb R, +) \leq (\mathbb C, +) }
  • 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \mathbb Z^\times \leq \mathbb Q^\times \leq \mathbb R^\times \leq \mathbb C^\times }
  • 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \mu_n ( \mathbb C ) \leq \mu_{m}(\mathbb{C}) \leq \mathbb{T} \leq \mathbb C^\times } (만약 구문 분석 실패 (변환 오류. 서버 ("https://femiwiki.com/femiwiki.com/")가 보고했습니다: "Cannot get mml. connect ECONNREFUSED 127.0.0.1:10044"): {\displaystyle m}의 배수일 때)
  • 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname {SL} (V) \leq \operatorname {GL} (V) } , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname {SO} (n) \leq \operatorname {O}(n) } , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname {SU} (n) \leq \operatorname {U}(n) }


또 다음과 같은 것들도 부분군이다.

  • 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \{ e \} \leq G} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle G \leq G }
  • 부분군의 부분군은 부분군이다. 즉, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle K \leq H \leq G } 이면 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle K \leq G } 이다(정의에 의해 자명하다).
  • 부분군의 교집합도 다시 부분군이다. 즉, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle K \leq G} 이면 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H\cap K \leq G} 이다(이것도 정의에 의해 자명하다).
  • 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle f : G \to H} 가 군 준동형사상이면, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname {ker} f \leq G} 이고, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname {im} f \leq H } 이다.[11]


한편, 잉여군 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle ( \mathbb Z/n \mathbb Z, +)}구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle ( \mathbb Z, +)} 의 준동형상(homomorphic image)이지 부분군이 아니다.

구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H}의 부분군인 것은 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H} 가 다음 세 조건 (i) , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle y\in H} 이면 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle xy\in H} , (ii) 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle e\in H} 및 (iii) 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x\in H} 이면 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x^{-1}\in H} 를 만족하는 것과 동치이다. 즉, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H} 가 군의 이항연산 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \cdot} , 영항연산 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle e} , 단항연산 -1에 대해 닫혀 있는 것과 동치이다.

6 정규부분군과 몫군(상군)

의 부분군 구문 분석 실패 (변환 오류. 서버 ("https://femiwiki.com/femiwiki.com/")가 보고했습니다: "Cannot get mml. connect ECONNREFUSED 127.0.0.1:10044"): {\displaystyle N}정규부분군(normal subgroup)이라는 것은 모든 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x\in G} 에 대해서 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle xN=Nx} 인 것을 말한다. 그러니까, 좌잉여류와 우잉여류가 항상 같은 것이다. 이때 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle N\trianglelefteq G} 와 같이 표기한다.[12] 한편, 아벨군의 경우에는 교환법칙이 성립하므로 모든 부분군은 정규부분군이 된다.

정규부분군의 예로는 다음과 같은 것이 있다.

  • 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname {SL}(V)\trianglelefteq\operatorname {GL}(V)} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname {SO}(n)\trianglelefteq\operatorname {O}(n)} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname {SU}(n)\trianglelefteq\operatorname {U}(n)}
  • 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle A_n \trianglelefteq S_n} [13]

또 다음과 같은 것들도 정규부분군이다.

  • 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \{e \}\trianglelefteq G} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle G\trianglelefteq G}
  • 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle f : G \to H} 가 군 준동형사상이면, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \operatorname {ker} f \trianglelefteq G} 이다.
  • 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle N\le H\le G} 이고 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle N\trianglelefteq G} 이면 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle N\trianglelefteq H} 이다.
  • 지표(index)가 2인 부분군[14]은 정규부분군이다.

구문 분석 실패 (변환 오류. 서버 ("https://femiwiki.com/femiwiki.com/")가 보고했습니다: "Cannot get mml. connect ECONNREFUSED 127.0.0.1:10044"): {\displaystyle N}의 정규부분군이라면 (좌)[15]잉여류의 집합 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle G/N = \{ xN : x\in G \}} 에 아래와 같이 자명한 연산을 정의할 수 있고, 이 연산에 관해 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle G/H} 는 군이 되는데, 이를 몫군(상군, quotient group)이라 한다. 자명한 방법이란, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle xN, yN \in G/N} 에 대해 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle (xN)(yN)=(xy)N} 과 같이 정의하는 것이다. 이 연산이 잘 정의될 필요충분조건이 구문 분석 실패 (변환 오류. 서버 ("https://femiwiki.com/femiwiki.com/")가 보고했습니다: "Cannot get mml. connect ECONNREFUSED 127.0.0.1:10044"): {\displaystyle N}의 정규부분군인 것이기 때문에 이때만 몫군을 정의한다. 한편, 이와 같은 연산의 정의는 전형적 사영(canonical projection) 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \pi : G \to G/N} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x \mapsto xN} 이 군 준동형사상이 되는 유일한 방법이기도 하다.

7 존재 이유

어떤 object 안의 흐름을 group을 통해서 관찰한다.[16]

군론의 기본 철학은 이것이며, 군이라고 이름 붙이는 것들은 대부분 이런 철학을 가진다. 이게 무슨 소리냐면, 예를 들어 1, 2, 3, 4, 5 이 숫자 다섯 개를 뒤섞는 방법, 즉 1, 2, 3, 4, 5를 2, 1, 3, 5, 4로 섞는 것 등등을 모두 모은 집합을 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle S_5} 라고 하자. 이제 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle S_5} 위에 연산을, 하나는 1, 2, 3, 4, 5를 2, 1, 3, 4, 5로 섞는 방법을 로 하고, 1, 2, 3, 4, 5를 3, 2, 4, 5, 1로 섞는 방법을 라고 하자. 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle xy} 는 1, 2, 3, 4, 5를 3, 2, 4, 5, 1에서 앞의 두 개를 바꾼 2, 3, 4, 5, 1로 섞는 방법이라는 식으로 정의하면, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle S_5} 는 이 연산에 관해 군을 이룬다. 좀 더 정확히는 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle S_5}구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle S=\{1, 2, 3, 4, 5 \}} 일 때 에서 로 가는 모든 전단사함수의 집합이고 연산은 함수의 합성으로 정의한 것이다.

이제 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle S_5} 의 원소 중 하나인 1, 2, 3, 4, 5를 2, 1, 3, 4, 5로 섞는 방법 로 1, 1, 2, 2, 2를 섞는다고 해보자. 그렇다면 아무런 변화도 없을 것이다. 앞의 두 개를 바꾸는 것인데 앞의 두 개는 모두 1이니 말이다. 이를 일반화하여 라는 방법으로 다섯 개의 숫자를 섞은 결과 변화가 없는 것과 처음 두 개의 숫자가 같다는 것은 동치임을 증명할 수 있다. 그렇다면 우리는 어떤 다섯 개의 숫자가 있을 때 직접 첫 두 개의 숫자를 확인하는 대신, 그 다섯 개의 숫자를 라는 방법으로 섞어 봐서 변화가 없는지 아닌지로 첫 두 개의 숫자가 같은지 아닌지를 확인할 수 있다. 이처럼 숫자 다섯 개의 대칭성을 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle S_5} 를 통해서 볼 수 있다.

이 방법은 얼핏 보면 이상하고 오히려 더 번거로운 방법으로 보이지만, 이것은 갈루아가 만든 갈루아 이론(Galois theory)의 기본 아이디어이다. 갈루아는 어떤 다항식의 근을 그 계수들의 합, 차, 곱, 몫 및 제곱근을 유한 번 사용해서 나타낼 수 있는지(즉 근의 공식이 있는지)를 알아보기 위해 그 방정식의 해들을 섞는 방법을 다항식에 적용하는 것을 생각했고, 그 섞는 방법들을 모은 집합을 group이라고 이름지었다. Group으로 보면 group의 성질과 group이 그 숫자를 어떻게 바꾸냐에 따라서 따라서 그 숫자의 성질을 알아낼 수 있고, group의 성질은 쉽게 알아낼 수 있다.

Group의 성질을 알아내기 힘들 때도 있는데, 그때 사용할 수 있는 것은 군표현론(representation theory)이다. Group을 선형대수학에서 배운, 비교적 친숙한 행렬군(matrix group)으로 나타내어(이를 matrix representation이라 한다) 그 group의 성질을 알아낼 수 있다. 번사이드 정리(Burnside's theorem)가 대표적인데, 어떤 군의 원소의 개수의 소인수가 두 개뿐이라면(즉 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle p^a q^b} 꼴이라면) 가해군이라는 간단한 정리지만, 표현론을 사용하지 않는다면 증명이 많이 어려워진다. 정수론(Number theory)에선 cyclotomic extension들의 갈루아군이나 local field에서 maximal unramified extension의 갈루아군은 비교적 다루기 쉽지만 absolute Galois group은 바로 다루기가 매우 어렵다. 그렇기 때문에 Galois representation이라는 것을 사용한다. 근데 그것도 안 되어서 다 보는 것은 너무 어렵다고 징징대면서 좀 더 정수론적인 것만 보겠다고 Weil group을 만들고, 그것도 모자라서 representation의 정수론적 정보만 보겠다고 representation 위에다가 l-adic cohomology도 끼얹는데 안 되는 걸 보면 이건 그냥 안 된다. 정수론은 그냥 포기가 답인 듯...

군의 또다른 존재 이유는 바로 그 활용성에 있다. 수학, 물리, 화학, 공학 등에서 정의된 연산들을 정의하고 분석하는 행위는 아주 자연스럽게 등장한다. 그렇다면 매번 이런 연산이 나타난 그 구체적인 상황을 면밀히 분석하는 대신에, 임의의 연산에 대하여 직접 분석하면 얼마나 간편할까? 이것이 군론의 시작이다. 추상적인 연산에 대한 정보를 미리 연구하고 분류해 놓음으로써 여기저기서 나타나는 다양한 현상들을 한꺼번에 공략할 수 있는 것이다. 마치 “얼룩말 5마리와 돼지 8마리가 있으면 동물은 몇 마리가 있을까?” 라는 질문과 “비스킷 5개와 감자칩 8개가 있으면 과자는 몇 개가 있을까?”라는 질문을 같은 것으로 인식하기 위하여 라는 개념이 나타난 것과 정확히 같은 맥락이다.

그렇다면 위에서 말한 “추상적인 연산”은 언제 등장할까? 다음과 같은 예가 있다:

  • 루빅스 큐브를 맞출 때, "옆면을 90도 앞으로 돌린다", "가운데 면을 90도 뒤로 돌린다" 따위의 행위를 원소로 생각하여 이 원소들을 죄다 모은다. 이 집합에서 a와 b의 연산은 "a를 시행한 후, b를 시행한다"는 변환으로 정의하면 이런 행위의 모임은 군이 된다.
  • 0에서 10까지의 수를 모은 집합을 생각해보자. 이 집합에서 a와 b(집합의 원소) 사이 연산을 a+b를 11로 나눈 나머지로 정의하면 {0, 1, 2, ..., 10}은 군이 된다.
  • n×n 실(복소)-행렬들 중 행렬식이 0이 아닌 것들만 죄다 모은다. 이 집합에서 A와 B의 연산을 둘의 곱 AB로 정의하자. 이렇게 하면 이 모임은 군이 된다.[17]
  • 화학/물리에서, 어떤 분자를 적당히 회전시켰을 때 똑같은 모양이 되게 하는 회전변환을 원소로 생각하여 이 원소들을 죄다 모은다. 이 집합에서 원소간의 연산을 회전변환의 합성으로 정의하면 이것은 군이 된다.
  • 이밖에도 공간의 모양을 공부하기 위해 호몰로지, 호모토피 군을 정의하거나, 적당한 (field)의 변환을 모아놓고 갈루아 군 등을 정의할 수 있다. 정말 군은 여기저기서 다 나타난다.

위의 글에서 명백하게 서술되어 있지는 않지만, 군론의 등장은 매우 다양한 새로운 결과들을 얻게 해 주었다. 다음은 군론으로 얻은 것들이다.

  • 오차 이상의 방정식에는 일반적인 해법이 없다. 수학자 아벨이 증명했다.[18]

이 외에도 다른 흥미로운 결과들을 추가바람.

8 그 외

  • 가 유한군이고 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H}의 부분군이면, (구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H} 도 유한군이고) 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H} 의 위수(order)는 의 위수를 나눈다(라그랑주 정리, Lagrange’s theorem).
  • 가 유한군일 때, 위의 라그랑주 정리의 역은 일반적으로 성립하지 않는다. 즉, 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle n \, \big| \, |G|} 라고 해서 위수가 의 부분군 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle H} 가 존재하는 것은 아니다.
    그러나 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle p \, \big| \, |G|}소수 에 대해서는 위수가 의 부분군이 존재한다. 이를 코시 정리(Cauchy’s theorem)라고 한다. 사실 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle p^n}구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle |G|} 를 나누는 가장 큰 의 거듭제곱일 때 위수가 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle p^n}의 부분군[19]이 존재한다는 것이 실로 제1정리(Sylow’s first theorem)이고, 코시 정리는 그 따름정리로 이해할 수 있다.
    • 그러나 가 순환군이면 라그랑주 정리의 역이 일반적으로 성립한다.
  • 아벨군은 ‐가군과 같다.
  • 모든 유한아벨군은 깔끔하게 분류되어 있다. 분해정리를 이용해 유한순환군의 직합으로 나타낼 수 있기 때문이다.
  • 중국인의 나머지 정리(Chinese remainder theorem)는 정수 구문 분석 실패 (변환 오류. 서버 ("https://femiwiki.com/femiwiki.com/")가 보고했습니다: "Cannot get mml. connect ECONNREFUSED 127.0.0.1:10044"): {\displaystyle m}이 서로 소(mutually prime)이면 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \mathbb Z/mn \mathbb Z \approx(\mathbb Z /m \mathbb Z )\times( \mathbb Z/n \mathbb Z )} 라는 꼴로 깔끔하게 표현할 수 있다. 환론에서 더 일반화된 형태를 만날 수 있다.
  • 모든 유한단순군도 모두 분류되어 있다. 하지만 증명이 엽기적…인데, 증명 논문이 15,000 쪽이나 된다.‘유한’을 ‘가산’으로 바꾸고 싶어진다. 참고로 가산아벨군도 모두 분류가 안 되어 있다. 세계에서 가장 긴 수학 논문. 그리고 수학자들이 말하기를 다음으로 할 것은 이 증명 길이를 5000쪽…으로 줄이는 것이라고. 참고로 유한단순군 중에 고등학교 수학 교과서에서 많이 나오는 이임학 교수님의 이름이 붙은 Ree group이 있다.
  • 가 유한군이고 원소의 개수가 홀수 개면 가해군이다. Feit-Thompson theorem이라고 불린다. 유한단순군의 분류에 Feit-Thompson theorem이 필수적으로 쓰인다.
  • 그룹 코호몰로지 라는 개념이 있다. 추가바람

틀:주석

  1. 덧셈과 뺄셈으로 생각해도 좋다, 하지만 곱셈과 나눗셈으로 생각하는 편이 더 일반적이다.
  2. 증명: 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle e'} 도 항등원이면 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle e=e\cdot e'=e'} .
  3. 증명: 의 역원이면 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle y=y\cdot e=y\cdot (x\cdot z)=(y\cdot x)\cdot z=e\cdot z=z} .
  4. 여기서 1은 singleton, 즉 {0}을 나타낸다.
  5. 뺄셈은 a-a=a, a-b=b, b-a=b, b-b=a로 "정의"한다. 이 상황이 말하고자 하는 바는 추후에 명백해진다.
  6. 자연수를 1부터 시작하는 경우. 0부터 시작하는 경우 항등원은 있다.
  7. 수학자 아벨의 이름에서 왔는데, 대문자로 적지 않는 쪽이 관습이다. 그만큼 아벨이 많이 사용된다는 이야기이고, 상당히 영광스러운 일이다.
  8. 증명: 구문 분석 실패 (변환 오류. 서버 ("https://femiwiki.com/femiwiki.com/")가 보고했습니다: "Cannot get mml. connect ECONNREFUSED 127.0.0.1:10044"): {\displaystyle x,y\in G} 이면 적당한 정수 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle n,m} 이 있어서 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle x=a^n} , 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle y=a^m} 이다. 이제 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle xy=a^{n} a^{m}=a^{n+m}=a^{m+n}=a^{m} a^{n}=yx } .
  9. 동형사상은 궁극적으로는 아무 생성자(generator)를 아무 생성자로 보내는 것이면 다 되는데, 제1동형정리를 쓰는 편이 훨씬 간명하다.
  10. 만약 선택 공리를 받아들이면
  11. 증명은 아래 동치조건을 증명한 후에 하는 편이 쉽다.
  12. 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle \trianglelefteq} 는 대수적 구조로서의 '나누기'가 잘 정의됨을 나타내는 기호이다. 예를 들어 아래에서 설명할 몫군 말고도 환의 이데알(ideal, 이데알은 몫환을 정의할 수 있게 하는 대수적 구조이다.) 등을 구문 분석 실패 (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): "/mathoid/local/v1/" 서버에서 잘못된 응답 ('Math extension cannot connect to Restbase.'):): {\displaystyle I \trianglelefteq R} 와 같이 표현한다.
  13. 이 1보다 클 때에는 지표가 2이기 때문이다.
  14. 좀 더 일반적으론, 지표가 “어떤 유한군의 위수를 나누는 가장 작은 소수”일 때
  15. 어차피 좌잉여류와 우잉여류가 같으므로 별 상관 없다.
  16. 군의 작용(group action)이라고 부른다.
  17. 여기서 행렬식이 0이 아닌 것을 고집한 이유는, A 나누기 B, 즉 A와 B의 역행렬의 곱을 정의할 수 있어야 군이 되기 때문이다.
  18. 현대대수학 John B. Fraleigh 저, [1], 여기서 일반적인 해법은 대수적 해법을 말하는데, 이는 유한번의 거듭제곱근과 사칙연산만으로 얻을 수 있는 해를 말한다.
  19. 이러한 부분군을 실로 부분군(Sylow ‐subgroup)이라 한다.