불변 다항식은 수학, 특히 대수학 및 불변이론에서 사용되는 개념으로, 어떤 군(group)의 작용에 대해 변하지 않는(불변인) 다항식을 말한다. 보다 형식적으로는, 군 $G$가 체 $K$ 위의 다변량 다항식 환 $K[x_1,\dots ,x_n]$에 작용할 때, 모든 $g\in G$와 다항식 $f\in K[x_1,\dots ,x_n]$에 대하여
$$
g\cdot f = f
$$
을 만족하는 $f$를 불변 다항식이라 부른다.
정의
$K$를 체, $V=K^n$를 $n$ 차원 벡터 공간이라고 하자. 군 $G$가 $V$에 선형 작용을 할 경우, 이 작용은 자연스럽게 다항식 환 $K[V]=K[x_1,\dots ,x_n]$에 확대된다.
$$
(g\cdot f)(v)=f(g^{-1}\cdot v)\qquad (g\in G,; f\in K[V],; v\in V)
$$
이때
$$
K[V]^G={,f\in K[V]\mid g\cdot f=f;\text{for all }g\in G,}
$$
를 불변 다항식들의 환이라 하며, 그 원소들을 각각 불변 다항식이라 한다.
역사
불변 다항식 개념은 19세기 말부터 20세기 초에 걸쳐 발전한 불변이론(Invariant Theory)에서 중심적인 역할을 한다. 특히 아서 카메론(Arthur Cayley), 다비드 힐베르트(David Hilbert) 등이 다항식 불변량의 구조와 생성 집합에 관한 기본 정리를 제시하였다. 힐베르트는 유한 생성성 정리(Hilbert's finiteness theorem)를 증명하여, 유한 군이나 적당한 리 대수적 군에 대한 불변 다항식 환이 유한히 생성됨을 보였다.
주요 성질
| 성질 | 설명 |
|---|---|
| 유한 생성성 | 힐베르트의 유한 생성성 정리에 따라, 체 $K$가 특성 0이거나 군 $G$가 적당히 제한된 경우 $K[V]^G$는 유한 개의 불변 다항식으로 생성된다. |
| 그레이딩 | $K[V]$가 차수에 따라 그레이딩되는 만큼, $K[V]^G$도 차수에 따라 그레이딩된다. 특히 차수가 같은 불변 다항식들의 선형 조합은 여전히 불변이다. |
| 베르트 정리 | 유한 군 작용에 대해, 모든 불변 다항식은 군 원소들의 평균(레비에 정리, Reynolds operator)으로 표현될 수 있다. |
| 대수적 독립성 | 생성 집합 중 일부는 대수적으로 독립일 수 있다. 예를 들어, $G=S_n$ (대칭군) 작용에 대해 기본 대칭 다항식 $e_1,\dots ,e_n$은 대수적으로 독립이며, 모든 불변 다항식은 이들에 대한 다항식으로 표현된다. |
대표적인 예시
-
대칭군 $S_n$ 작용
변수 $(x_1,\dots ,x_n)$에 대칭군이 자리 교환으로 작용한다. 이때 불변 다항식은 대칭 다항식이며, 기본 대칭 다항식(초기 대칭 다항식) $e_k=\sum_{1\le i_1<\cdots<i_k\le n}x_{i_1}\cdots x_{i_k}$가 생성원이다. -
직교군 $O_n$ 작용
실수 체 $\mathbb{R}$ 위에서 $O_n$가 표준 내적을 보존하는 변환으로 작용한다. 이 경우 가장 기본적인 불변 다항식은 제곱합 $x_1^2+\cdots +x_n^2$이며, 모든 $O_n$-불변 다항식은 이 다항식의 다항식으로 표현된다. -
유한 군의 평균 연산
군 $G$가 유한할 때, 임의의 다항식 $f$에 대해
$$ \operatorname{Rey}(f)=\frac{1}{|G|}\sum_{g\in G} g\cdot f $$
은 $G$-불변 다항식이다. 이 연산을 레비에 연산자라 한다.
관련 개념
- 불변 이론(Invariant Theory): 군 작용 아래에서의 불변량(다항식, 함수 등)을 연구하는 분야.
- 리 대수(Lie Algebra)와 리 군(Lie Group): 연속적인 군 작용에 대한 불변 다항식은 리 대수의 대표적인 대수적 구조와 연관된다.
- 대칭 다항식(Symmetric Polynomial): 대칭군 작용에 대한 특수한 경우.
- 리만 제곱합(Riemann sum)과 같은 응용: 물리학에서 대칭성에 기반한 보존량을 다항식 형태로 표현할 때 사용된다.
참고문헌
- H. Weyl, The Classical Groups: Their Invariants and Representations, Princeton University Press, 1939.
- D. Hilbert, “Über die Theorie der algebraischen Formen”, Math. Ann. 36 (1890): 473‑484.
- M. Brion, “Invariant Theory and Geometry”, Lecture notes, 2001.
- J. E. Humphreys, Introduction to Lie Algebras and Representation Theory, Springer, 1972.
본 내용은 수학 분야에서 널리 인정받는 자료를 기반으로 작성되었으며, 최신 연구 동향에 따라 추가적인 세부 사항이 존재할 수 있다.