함께 배우는 수업 · 수학

현대대수학: 군(Group)·환(Ring)·체(Field)

대칭성과 연산 구조를 추상화한 군(Group)·환(Ring)·체(Field)의 공리 체계부터 라그랑주 정리, 정규부분군과 상군, 그리고 제1동형정리까지 현대대수학의 정수를 마스터합니다.

이 수업에서 해 볼 일

  • 연산과 항등원·역원의 조건으로 대수 구조를 판정한다

먼저 알면 좋은 것: 정수론 기초(합동식 mod n, 유클리드 호제법) · 집합과 동치관계·분할 · 선형대수학의 가역행렬

오늘의 목표

가입 없이 시작할 수 있어요. 설명을 읽고, 함께 연습한 뒤, 처음 보는 문제에서 직접 확인합니다.

판단 과정과 비교 사례

군은 정해진 연산에 대해 닫힘·결합법칙·항등원·역원을 요구한다. 교환법칙까지 있으면 가환군이지만 모든 군의 필수 조건은 아니다.정수는 덧셈에 대해 역원 -a를 가지지만 2의 곱셈 역원 1/2는 정수가 아니다. 집합과 연산을 함께 명시해야 군·환·체 여부를 판단할 수 있다.체에서는 0이 아닌 모든 원소가 곱셈 역원을 가진다. 0의 역원을 요구하지 않으며 나머지류의 덧셈 역원은 합이 0과 합동이 되는 값을 찾는다.

1. 개념 정의와 직관적 원리: 군(Group)·환(Ring)·체(Field)의 대수적 계층 구조

현대대수학(Abstract Algebra)은 구체적인 수나 행렬을 넘어, 집합 위에 주어진 연산(Operation)이 어떤 대칭성과 규칙을 만족하는가에 따라 대수적 구조를 분류하는 학문입니다. 1) 군 (Group, ⟨G,∗⟩\langle G, * \rangle)의 4대 공리: 공집합이 아닌 집합 GG와 이항연산 ∗*가 다음 4가지 조건을 만족할 때 (G,∗)(G, *)를 군(Group)이라 합니다: 1. 닫힘성 (Closure): 모든 a,b∈Ga, b \in G에 대하여 a∗b∈Ga * b \in G이다. 2. 결합법칙 (Associativity): 모든 a,b,c∈Ga, b, c \in G에 대하여 (a∗b)∗c=a∗(b∗c)(a * b) * c = a * (b * c)이다. 3. 항등원 (Identity Element): 모든 a∈Ga \in G에 대해 a∗e=e∗a=aa * e = e * a = a를 만족하는 유일한 항등원 e∈Ge \in G가 존재한다. 4. 역원 (Inverse Element): 각 a∈Ga \in G마다 a∗a−1=a−1∗a=ea * a^{-1} = a^{-1} * a = e를 만족하는 유일한 역원 a−1∈Ga^{-1} \in G가 존재한다. - 여기에 추가로 교환법칙(a∗b=b∗aa * b = b * a)까지 성립하면 아벨군(Abelian Group, 가환군)이라고 부릅니다. 2) 환(Ring)과 체(Field)로의 확장: - 환 (R,+,⋅)(R, +, \cdot): 덧셈 (R,+)(R, +)에 대해서는 아벨군이고, 곱셈에 대해서는 결합법칙과 분배법칙만 성립하는 구조입니다(예: 정수환 Z\mathbb{Z}, 행렬환 Mn(R)M_n(\mathbb{R}) — 곱셈의 역원이나 교환법칙은 없어도 됨!). - 정역 (Integral Domain): 영인자(a≠0,b≠0a \neq 0, b \neq 0인데 ab=0ab = 0이 되는 원소)가 없는 단위원을 가진 가환환입니다. - 체 (Field): 덧셈과 곱셈(00 제외) 모두에 대해 아벨군을 이루어 사칙연산이 완벽히 자유로운 구조입니다(예: Q,R,C\mathbb{Q}, \mathbb{R}, \mathbb{C}, 그리고 소수 pp에 대한 유한체 Zp\mathbb{Z}_p).🎯 대수 구조 포함 관계 한 줄 요약: 체(Field) ⊂ 정역(Integral Domain) ⊂ 가환환(Commutative Ring) ⊂ 환(Ring). 특히 '모든 유한 정역은 항상 체(Field)이다'와 'Z_n 이 체(정역)가 될 필요충분조건은 n이 소수(Prime)인 것이다'는 필수 암기 정리입니다!

2. 핵심 공식 유도 및 성질: 라그랑주 정리와 정규부분군(Normal Subgroup)

1) 라그랑주 정리 (Lagrange's Theorem — 유한군 이론의 최고봉): 유한군 GG의 원소의 개수를 군의 위수(Order, ∣G∣|G|)라 합니다. GG의 임의의 부분군 H≤GH \le G에 대하여, HH의 좌잉여류(Left Coset) gH={gh:h∈H}gH = \{gh : h \in H\}들은 모두 원소의 개수가 ∣H∣|H|로 똑같으며 GG 전체를 겹침 없이 분할합니다. 따라서 잉여류의 개수를 [G:H][G : H] (지수, Index)라 하면 다음 등식이 항상 성립합니다:
∣G∣=[G:H]⋅∣H∣|G| = [G : H] \cdot |H|
즉, 유한군 GG의 모든 부분군 HH의 위수 ∣H∣|H| (및 모든 원소 a∈Ga \in G의 위수 ∣a∣|a|)는 반드시 전체 군의 위수 ∣G∣|G|의 약수여야 합니다! - 따름정리: 위수가 소수(Prime) pp인 모든 군은 약수가 11과 pp뿐이므로 무조건 순환군(Cyclic Group, Zp\mathbb{Z}_p와 동형)이며 따라서 아벨군입니다! 2) 정규부분군 (Normal Subgroup, N⊴GN \trianglelefteq G)과 상군(몫군, Quotient Group G/NG/N): 잉여류들의 집합 G/NG/N 위에 자연스러운 군 연산 (aN)(bN)=(ab)N(aN)(bN) = (ab)N이 잘 정의되려면, 모든 g∈Gg \in G에 대해 좌잉여류와 우잉여류가 같아야 합니다. 이를 만족하는 부분군 NN을 정규부분군이라 합니다:
N⊴G⟺∀g∈G,  gN=Ng⟺∀g∈G,  gNg−1=NN \trianglelefteq G \quad \Longleftrightarrow \quad \forall g \in G, \; gN = Ng \quad \Longleftrightarrow \quad \forall g \in G, \; gNg^{-1} = N

예제로 살펴보기

순환군 Z_12 = {0, 1, 2, ..., 11} (법 12에 대한 덧셈군)의 모든 생성원(Generator)의 개수와 원소들을 구하고, 위수가 4인 부분군 H의 원소들을 구하시오.
  1. 1) [생성원 구하기]: 순환군 Z_n 에서 원소 k가 생성원이 될 필요충분조건은 k와 n이 서로소, 즉 최대공약수 gcd(k, n) = 1 인 것입니다. 따라서 Z_12 의 생성원의 개수는 오일러 피 함수 φ(12) = 12 × (1 - 1/2) × (1 - 1/3) = 4개이며, 구체적인 생성원은 12와 서로소인 {1, 5, 7, 11} 입니다. 2) [위수가 4인 부분군 H 구하기]: 위수 12인 순환군에서 위수가 d = 4 인 유일한 부분군은 생성원 1의 (12 / 4) = 3배인 원소 <3> 으로 생성됩니다. 따라서 H = <3> = {0, 3, 6, 9} 입니다.
확인: 군(Group)은 닫힘성, 결합법칙, 항등원, 역원의 4대 공리를 만족하며, 비가환군에서 역원은 (ab)⁻¹ = b⁻¹a⁻¹ 로 순서가 뒤집힌다.

3. 심화 응용 및 실전 빈출 함정 분석: 제1동형정리와 라그랑주 정리의 역 함정

1) 군의 제1동형정리 (First Isomorphism Theorem): 두 군 사이의 준동형사상(Homomorphism, 연산 보존 함수 ϕ(ab)=ϕ(a)ϕ(b)\phi(ab) = \phi(a)\phi(b)) ϕ:G→G′\phi: G \to G'에 대하여, 항등원 e′e'으로 가는 원소들의 모임인 핵(Kernel) ker⁡(ϕ)={g∈G:ϕ(g)=e′}\ker(\phi) = \{g \in G : \phi(g) = e'\}는 항상 GG의 정규부분군(ker⁡(ϕ)⊴G\ker(\phi) \trianglelefteq G)이 되며, 상군 G/ker⁡(ϕ)G / \ker(\phi)는 치역(상) Im(ϕ)\text{Im}(\phi)와 완벽히 동형입니다:
G/ker⁡(ϕ)≅Im(ϕ)(유한군이면 ∣Im(ϕ)∣=∣G∣∣ker⁡(ϕ)∣)G / \ker(\phi) \cong \text{Im}(\phi) \qquad \left(\text{유한군이면 } |\text{Im}(\phi)| = \frac{|G|}{|\ker(\phi)|}\right)
이 정리는 환(Ring)에서도 똑같이 성립하여, 단위원을 가진 가환환 RR과 아이디얼 II에 대해 R/IR/I가 체(Field)   ⟺  I\iff I가 극대 아이디얼(Maximal Ideal)이고, R/IR/I가 정역   ⟺  I\iff I가 소 아이디얼(Prime Ideal)이라는 핵심 정리로 이어집니다. 2) 실전 빈출 함정 2선: - 함정 1 ("라그랑주 정리의 역이 성립하는가?" →\rightarrow 거짓!): dd가 ∣G∣|G|의 약수라고 해서 위수가 dd인 부분군이 무조건 존재하는 것은 아닙니다! 가장 유명한 반례가 교대군 A4A_4 (위수 ∣A4∣=12|A_4| = 12)로, 66은 1212의 약수이지만 A4A_4는 위수가 66인 부분군을 절대 갖지 않습니다! (단, 순환군이나 실로우 정리가 적용되는 소수 거듭제곱 약수 pkp^k에 대해서는 항상 부분군이 존재합니다.) - 함정 2: 군에서 (ab)−1=a−1b−1(ab)^{-1} = a^{-1}b^{-1}라고 쓰면 비가환군에서 오답입니다! 역원을 취할 때는 양말과 신발을 벗는 순서처럼 반드시 순서가 뒤집힌 (ab)−1=b−1a−1(ab)^{-1} = b^{-1}a^{-1}이 성립합니다.⚠️ 현대대수학 1순위 반례 암기: 라그랑주 정리의 역은 일반 유한군에서 성립하지 않으며, 그 최소 반례는 위수 12인 교대군 A₄가 위수 6인 부분군을 갖지 않는다는 사실입니다! (반면 순환군에서는 모든 약수마다 부분군이 유일하게 존재합니다.)

참고 근거와 확인 범위

설명·예제·문제 구성 및 오류 수정 책임: 프리런. 위 자료는 표시한 주제를 확인하거나 더 읽기 위한 근거이며, 외부 기관의 공식 수업이나 감수본을 뜻하지 않습니다.

참고 자료 연결 점검: 2026-11-02. 제작 방식·검수 범위와 수정 기록에서 확인 범위를 볼 수 있습니다. 오류는 상단의 의견 보내기 또는 contact@freelearn.io로 알려 주세요.

이 단원의 개념서 읽기 →