체 (Field)
쉽게 풀면
체는 우리가 일상적으로 쓰는 사칙연산(덧셈, 뺄셈, 곱셈, 나눗셈)을 모두 자유롭게 할 수 있는 아주 잘 정돈된 수의 세계다. 유리수나 실수 전체의 집합이 대표적인 체의 예로, 0으로 나누는 경우만 제외하면 어떤 나눗셈도 항상 답이 존재한다. 반면 정수 전체는 나눗셈이 항상 가능하지는 않으므로 체가 아니라 환에 그친다.
왜 중요한가
체는 선형대수, 암호학, 부호이론, 대수기하학 등 수학의 여러 분야가 딛고 서는 공통 기반으로, 특히 원소 개수가 유한한 유한체(갈루아체)는 현대 암호 시스템과 오류 정정 부호의 수학적 뼈대를 이룹니다. 방정식의 해가 존재하는 체계를 다루는 갈루아 이론의 출발점이기도 해서, 순수수학뿐 아니라 정보이론·통신공학 논문에서도 자주 등장합니다.
논문에서는 이렇게 쓰입니다
암호학과 부호 이론에서는 원소의 개수가 유한한 유한체(갈루아 체)가 알고리즘 설계에 핵심적으로 활용된다.
암호화 알고리즘이 특정 유한체 위에서 정의된 곡선의 대수적 성질을 이용해 계산은 쉽지만 역산은 어렵게 만드는 원리를 설명한 것으로, 공개키 암호를 다루는 논문에서 흔히 나오는 서술입니다.
다항 방정식의 해가 원래 체보다 더 큰 체(확장체)에서만 존재할 수 있는지를, 그 체들 사이의 대칭 구조(갈루아 군)를 이용해 살펴본 것으로 대수학 이론 논문에서 자주 쓰이는 표현입니다.
조금 더 깊게 보면
체 위에서 방정식의 풀이 가능성을 다루는 갈루아 이론은 어떤 방정식이 사칙연산과 거듭제곱근만으로 풀리는지를 체들 사이의 대칭 구조(군)로 판별하는 이론으로, 5차 이상 일반 방정식에는 근의 공식이 존재하지 않는다는 유명한 결과의 근거가 됩니다. 실용적으로는 원소 개수가 소수의 거듭제곱인 유한체(GF(p^n)로 표기)가 컴퓨터 연산에 적합해, AES 같은 암호 알고리즘이나 리드-솔로몬 부호 같은 오류 정정 기법의 계산 기반으로 쓰입니다.
주의할 점
체의 원소 개수는 반드시 소수의 거듭제곱 형태여야 한다는 제약이 있어, 아무 크기의 유한체나 존재하는 것은 아니다.