환과 체 계산기

모듈러 환 Z_n 및 갈루아 유한체 GF(p^k)에서 덧셈, 뺄셈, 곱셈, 나눗셈, 역원 및 거듭제곱을 계산합니다. Cayley 테이블을 시각화하고 단위 원소, 영인자, 멱영 원소, 멱등 원소를 분류하며 승법군 구조를 검사합니다.

환과 체 계산기

빠른 예시:

Z₁₂에서의 5 × 7 Z₇에서의 3⁻¹ Z₁₅에서의 ord(2) GF(8)에서의 (x+1)·x² GF(16)에서의 (x²+1)⁻¹ GF(9)에서의 (x+2)⁵

ℤ 모듈러 환 Z_n 𝔽 유한체 GF(p^k)

법 n

2 ≤ n ≤ 200 사이의 정수. n이 소수일 때, Z_n은 체(field)입니다.

요소 a

요소 b / 지수

연산

소수 p

표수(Characteristic). 31 이하의 소수여야 합니다.

차수 k

확장 차수. 1 ≤ k ≤ 6.

연산

기약 다항식 f(x) (선택 사항 — 자동 제안됨)

차수는 k와 같아야 합니다. 기호 형식(x^2 + x + 1) 또는 계수 목록(1,1,1)을 허용합니다.

요소 a(x)

요소 b(x)

Embed 환과 체 계산기 Widget

환과 체 계산기 정보

환과 체 계산기는 두 가지 가장 중요한 유한 대수 구조인 모듈러 환 Z_n과 갈루아 유한체 GF(p^k) 내부에서 정확한 산술 연산을 수행합니다. 덧셈, 뺄셈, 곱셈, 나눗셈, 거듭제곱, 곱셈 역원 및 요소 차수를 처리하며, 모든 결과에 단위원, 영인자, 멱영원, 멱등원, 원시근 분석 및 색상으로 구분된 Cayley 표를 포함한 구조적 분석을 제공합니다.

Z_n — 모듈러 환

양의 정수 n에 대해 환 Z_n = {0, 1, 2, …, n − 1}은 n으로 나눈 나머지를 사용하는 덧셈과 곱셈 연산을 가집니다. 요소 a가 Z_n의 단위원(즉, 곱셈 역원을 가짐)이 될 필요충분조건은 gcd(a, n) = 1이며, 따라서 곱셈군 Z_n*의 위수는 오일러 피 함수(totient function)인 φ(n)입니다.

Z_n이 체(FIELD)이다 ⟺ n이 소수이다 ⟺ Z_n에 영인자가 없다

n이 합성수일 때, gcd(a, n) > 1인 요소 a는 영인자입니다: a · b ≡ 0 (mod n)을 만족하는 b ≠ 0이 존재합니다. 계산기는 모든 요소를 해당 구조적 역할에 따라 자동으로 분류합니다.

역원 찾기 — 확장 유클리드 알고리즘

gcd(a, n) = 1인 경우 확장 유클리드 알고리즘은 a · x + n · y = 1을 만족하는 정수 x, y를 생성하며, 이로부터 a⁻¹ ≡ x (mod n)을 얻습니다. 역원을 요청할 때마다 결과 Bézout 항등식이 표시됩니다.

승법적 차수

단위원 a에 대해 승법적 차수 ord(a)는 a^k ≡ 1 (mod n)을 만족하는 최소의 k ≥ 1입니다. 라그랑주 정리에 의해 ord(a)는 φ(n)을 나눕니다. ord(a) = φ(n)인 요소는 원시근이라고 불리며 전체 단위원 군을 생성합니다. 원시근은 n이 1, 2, 4, p^k 또는 홀수 소수 p에 대해 2p^k 중 하나일 때만 존재합니다.

GF(p^k) — 유한(갈루아) 체

모든 소수 p와 양의 정수 k에 대해 위수가 p^k인 유일한 체(동형 제외)인 갈루아 체 GF(p^k) = 𝔽_p^k가 존재합니다. 그 요소들은 GF(p) = Z_p 위에서 차수가 k 미만인 다항식으로 표현되며, 산술 연산은 차수가 k인 기약 다항식 f(x)를 법으로 수행됩니다.

GF(p^k) ≅ GF(p)[x] / ⟨f(x)⟩ (여기서 f(x)는 GF(p) 상의 기약 다항식, deg f = k)

계산기는 일반적인 쌍 (p, k)에 대해 표준 기약 다항식을 제안합니다. 예를 들어 GF(4)의 경우 x² + x + 1, GF(8)의 경우 x³ + x + 1, GF(16)의 경우 x⁴ + x + 1, GF(9)의 경우 x² + 1입니다. 사용자가 직접 입력할 수도 있으며, 도구는 Rabin 스타일 gcd 테스트를 통해 기약성을 검증합니다.

왜 f(x)는 기약이어야 하는가?

만약 f(x)가 deg g, deg h ≥ 1인 g(x)·h(x)로 인수분해된다면, 몫환에서 g(x)와 h(x)의 상은 0이 아닌 영인자가 되어 몫환은 체가 아닌 환에 불과하게 됩니다. 기약성은 GF(p)[x] / ⟨f(x)⟩가 체가 되기 위한 정확한 조건입니다.

다항식 산술 및 역원

덧셈은 계수별로 p에 대한 법 연산으로 수행됩니다. 곱셈은 일반적인 다항식 곱셈 후 법 연산(나머지 연산)을 수행합니다: a(x)·b(x)가 주어지면 f(x)로 나누고 차수가 k 미만인 나머지 r(x)를 취합니다. 곱셈 역원은 다항식 환 GF(p)[x] 위의 확장 유클리드 알고리즘을 통해 u(x)·a(x) + v(x)·f(x) = 1을 만족하는 u(x)와 v(x)를 찾아 얻습니다.

환 vs 체 비교 한눈에 보기

속성	Z_n (n이 합성수)	Z_p (p가 소수) = GF(p)	GF(p^k), k ≥ 2
크기(위수)	n	p	p^k
표수(Char)	n	p	p
영인자 존재?	예 (gcd(a,n) > 1인 a)	아니요	아니요
체(Field)인가?	아니요	예	예
곱셈군	Z_n*, 위수 φ(n)	순환군, 위수 p − 1	순환군, 위수 p^k − 1
원시근 존재?	n ∈ {1, 2, 4, p^k, 2p^k}일 때만	항상 존재	항상 존재

계산기 사용 방법

구조 선택 — 모듈러 정수의 경우 Z_n을, 확장 체의 경우 GF(p^k)를 선택합니다. 폼은 관련 필드만 표시하도록 재정렬됩니다.
매개변수 입력 — 법 n 또는 소수 p와 차수 k를 입력합니다. GF(p^k)의 경우 기약 다항식 칸을 비워두면 계산기가 표준 다항식을 자동으로 채웁니다.
연산 선택 — 더하기, 빼기, 곱하기, 나누기, 거듭제곱, 역원 계산, 승법적 차수 찾기 등 7가지 선택지를 통해 모든 일반적인 작업을 수행할 수 있습니다.
피연산자 제공 — Z_n의 경우 정수를, GF(p^k)의 경우 x^2 + x + 1과 같은 다항식을 입력합니다. 계수 목록 형식(1,1,1)도 작동합니다.
계산하기 클릭. 결과와 함께 단계별 과정, 모든 요소의 분류, 그리고 구조가 충분히 작은 경우 Cayley 표를 볼 수 있습니다.

풀이 예시 — GF(8) = GF(2³)

f(x) = x³ + x + 1 (GF(2) 위에서 기약)이라고 가정합니다. a(x) = x + 1과 b(x) = x²를 곱하면:

a(x) · b(x) = (x + 1) · x^2 = x^3 + x^2 f(x)에 대한 법 연산 수행: x^3 ≡ x + 1 (f(x) = 0 ⇒ x^3 = x + 1 이므로) 따라서 x^3 + x^2 ≡ x^2 + x + 1 (mod f, mod 2)

곱셈군 GF(8)*은 위수가 7인 순환군이며, 요소 x는 k = 1, 2, …, 7에 대해 x^k가 0이 아닌 모든 요소를 거치므로 원시 요소입니다.

중요성

암호학 — AES는 f(x) = x⁸ + x⁴ + x³ + x + 1인 GF(2⁸) 산술을 사용합니다. 타원 곡선 암호와 이산 로그 문제는 GF(p)와 GF(p^k) 내부에서 동작합니다.
오류 정정 부호 — CD, QR 코드, DVB-T, 보이저 우주 탐사선 등에 사용되는 리드-솔로몬 및 BCH 코드는 GF(2⁸) 또는 GF(2^m) 위의 다항식으로 구축됩니다.
조합론적 설계 — 유한체는 통계 실험에 사용되는 아다마르 행렬, 사영 평면 및 라틴 방진을 구성하는 데 사용됩니다.
컴퓨터 대수학 — 인수분해 및 모듈러 감축 알고리즘(Berlekamp, Cantor-Zassenhaus)은 유한체 위에서 정의됩니다.
정수론 교육 — Z_n, 원시근 및 이차 잉여는 모듈러 산술, RSA 및 Diffie-Hellman으로 가는 관문입니다.

자주 묻는 질문

Z_n은 언제 체(field)가 되나요?

모듈러 환 Z_n은 n이 소수일 때만 체가 됩니다. 그 경우 모든 0 < a < n에 대해 gcd(a, n) = 1이므로 0이 아닌 모든 요소는 단위원입니다. n이 합성수일 때 Z_n은 영인자를 가지며 영역이 아닌 환에 불과합니다.

GF(p^k)란 무엇인가요?

위수가 p^k인 갈루아 체라고도 불리는 GF(p^k)는 p^k개의 요소를 가진 유일한 유한체입니다. 그 요소들은 GF(p) 위에서 차수가 k보다 작은 다항식으로 표현되며, 차수가 k인 기약 다항식 f(x)를 법으로 하여 산술 연산이 수행됩니다. 각 소수 p와 양의 정수 k에 대해 동형을 제외하고 정확히 하나의 그러한 체가 존재합니다.

기약 다항식은 무엇이며 왜 필요한가요?

GF(p) 상의 기약 다항식은 GF(p)의 계수를 갖는 더 낮은 차수의 다항식으로 인수분해될 수 없는 다항식입니다. 차수 k인 기약 다항식으로 법 연산을 하면 체인 몫환이 생성됩니다. 기약성이 없으면 몫환은 영인자를 가지게 되어 체가 되지 않습니다.

영인자(zero divisor)란 무엇인가요?

환에서 0이 아닌 요소 a에 대해 a · b = 0을 만족하는 0이 아닌 요소 b가 존재할 때, a를 영인자라고 합니다. Z_n에서 영인자는 정확히 gcd(a, n)이 1보다 큰 요소들입니다. 체는 영인자를 가지지 않으므로, Z_n은 n이 소수일 때 정확히 체가 됩니다.

요소의 승법적 차수(multiplicative order)란 무엇인가요?

단위원 a의 승법적 차수는 환에서 a^k가 1과 같아지는 가장 작은 양의 정수 k입니다. 라그랑주 정리에 의해 이 차수는 곱셈군의 크기를 나눕니다: Z_n의 경우 φ(n), GF(p^k)의 경우 p^k − 1입니다. 차수가 전체 군의 크기와 같은 요소를 원시근 또는 생성원이라고 합니다.