현대대수학
안내

읽기 경로

Hungerford의 환-먼저 구성과 장별 흐름

읽음 0/0 갱신 2026-06-27

원전 소개 — Hungerford가 추상대수를 조직하는 방식. 익숙한 산술에서 추상 구조로 올라가며, 군보다 환을 먼저 다룬다. ℤ와 F[x]의 평행성이 전체를 관통한다.

흐름

1부 — 정수의 산술 (1–2장): 추상화의 발판

  1. 정수와 나눗셈 정리 — 나눗셈 정리, gcd.
  2. divisibility and primes — Bezout 항등식, 소수, 산술의 기본정리(유일인수분해).
  3. 합동과 모듈러 산술 — 합동, 합동류, ℤₙ.
  4. ℤₙ의 구조 — ℤₙ의 단원, p 소수일 때 ℤₚ는 체; Fermat·Euler 정리.

2부 — 환·다항식·아이디얼 (3–6, 10장)

  1. 환과 체 — 환 공리, 예시, 영인자·정역·체·표수.
  2. 환 준동형 — 준동형·동형, 성질 보존.
  3. 다항식환 — F[x], 차수, 나눗셈 정리 (ℤ와 평행).
  4. 기약다항식 — 기약다항식, 유일인수분해, 근·인수정리, 유리근·Eisenstein.
  5. 아이디얼 — 아이디얼, 주아이디얼.
  6. 몫환과 동형정리 — 몫환 R/I, 제1동형정리, F[x]/(p(x))로 체 만들기.
  7. 소·극대 아이디얼 — 소·극대 아이디얼; R/I가 정역/체일 조건.
  8. euclidean pid ufd — Euclid 정역 ⊂ PID ⊂ UFD; 분수체.

3부 — 군 (7–9장)

  1. 군의 정의와 예 — 군 공리, 예시(ℤₙ, Sₙ, Dₙ, GL).
  2. subgroups — 부분군 판정, 위수.
  3. cyclic groups — 순환군, 생성원, 분류.
  4. permutation groups — Sₙ, Aₙ, 순환표기, 부호.
  5. 군 준동형과 동형정리 — 준동형·동형, 핵.
  6. 잉여류와 라그랑주 정리 — 잉여류, Lagrange 정리.
  7. 정규부분군과 몫군 — 정규부분군, 몫군.
  8. group isomorphism theorems — 제1·2·3 동형정리.
  9. finite abelian and sylow — 직적, 유한아벨군 기본정리, 군작용·Sylow 정리.

4부 — 체확장과 Galois (11–12장)

  1. vector spaces over fields — 체 위 벡터공간 (선형대수로의 다리).
  2. 체 확대 — 단순·대수적 확장, 확장차수 [E:F], 탑 정리.
  3. splitting and finite fields — 분해체, 유한체 GF(pⁿ).
  4. 갈루아 이론 — Galois 군, Galois 이론의 기본정리.
  5. solvability by radicals — 가해군, 5차 방정식의 비가해성.

통일 주제

단계 ℤ에서 F[x]에서 추상화
나눗셈 나눗셈 정리 다항식 나눗셈 Euclid 정역
분해 소인수분해 기약분해 UFD
ℤ/(n) F[x]/(p(x)) 몫환 R/I
새 구조 ℤₚ (체) F[x]/(p(x)) (체, p 기약) 극대 아이디얼 → 체

군에서는 같은 "몫·준동형·동형정리" 패턴이 반복된다. 마지막 Galois 이론은 체확장 ↔ 군의 사전(galois correspondence)을 세워 두 흐름(환/체와 군)을 하나로 묶는다.

학습 팁 (문제풀이 중심)

See also