군·환·체 입문 — 대수구조의 언어
덧셈과 곱셈을 추상화하면 보이는 구조 — 군, 환, 체.
왜 행렬 곱은 교환법칙이 안 될까? 왜 정수는 나눗셈이 항상 가능하지 않을까? 군·환·체는 이런 질문에 답하는 '수학의 설계도'다. AES 암호, QR 코드 오류정정, 타원곡선 암호(ECC), 양자컴퓨팅 — 현대 기술의 숨은 수학 기반이다.
연산이 '구조'를 만든다. 숫자 그 자체보다 '어떤 연산을 어떻게 할 수 있는가'가 수학의 본질이다. 덧셈·곱셈·회전·치환 — 겉모습은 달라도 같은 규칙을 따르면 수학적으로 '같은 구조'다. 이 관점에서 정수·유리수·행렬·대칭변환을 하나의 언어로 묶는 학문이 추상대수학이다.
| 구조 | 조건 | 예시 | 반례 |
|---|---|---|---|
| 군 (Group) | 닫힘·결합·항등원·역원 | (ℤ, +), 정사각형 회전군 D₄ | (ℕ, +) — 역원 없음 |
| 아벨 군 | 군 + 교환법칙 | (ℤ, +), (ℚ*, ×) | 행렬 곱 GL(n) |
| 환 (Ring) | +, × 둘 다 가능 (÷ 불필요) | (ℤ, +, ×), 다항식환 ℤ[x] | — |
| 체 (Field) | 환 + 0 아닌 원소의 곱셈 역원 | ℚ, ℝ, ℂ, 𝔽ₚ = ℤ/pℤ | ℤ (1/2 없음) |
| 유한체 GF(p) | 소수 p개 원소를 가진 체 | GF(2)={0,1}, GF(7) | GF(4)는 ℤ/4ℤ 아님 |
군의 4조건 (핵심): ① 닫힘 a·b ∈ G, ② 결합법칙 (a·b)·c = a·(b·c), ③ 항등원 e 존재 (a·e = a), ④ 역원 a⁻¹ 존재 (a·a⁻¹ = e). 이 네 가지만 만족하면 무엇이든 '군'이다 — 숫자든, 행렬이든, 회전 변환이든.
현대 암호의 기반: AES는 GF(2⁸) 위에서 바이트를 섞고, RSA는 (ℤ/nℤ)*의 오일러 정리를 이용하며, 타원곡선 암호(ECC)는 유한체 위 타원곡선의 점들이 이루는 아벨 군의 이산 로그 문제를 푸는 것이다. 비트코인 서명·HTTPS 인증서 — 모두 군론이 뼈대.
실생활 응용: ① AES 암호 (GF(2⁸) 유한체 연산) ② QR 코드 오류정정 (Reed-Solomon, 다항식환) ③ 타원곡선 암호 ECC (비트코인·HTTPS) ④ 결정학의 230개 공간군 분류 ⑤ 양자 오류정정 코드 (스태빌라이저 군).
정수 집합 ℤ는 덧셈에 대해 군을 이룬다.
라그랑주 정리에 의하면 크기 12인 군의 부분군이 가질 수 있는 크기는? (모든 약수 나열)
다음 중 체(Field)인 것은?
모든 순환군(cyclic group)은 아벨 군이다.
타원곡선 암호(ECC)는 유한체 위 타원곡선 점들이 이루는 아벨 군의 이산 로그 문제가 어렵다는 사실에 기반한다.