군환

틀:위키데이터 속성 추적 추상대수학에서 군환(群環, 틀:Llang)은 군의 원소로 생성되는 자유 가군이다. 가군과 환의 구조를 가진다.

정의

집합 $G$와 환 $R$가 주어졌을 때, $G$로부터 생성되는 $R$-자유 가군을 다음과 같이 표기하자.

$R[G]=\{\sum _{g\in G}{r}_{g}gr\in R^G,|\{g\in G:r_g\ne 0\}|<{\mathrm{\aleph }}_0\}\}$

$𝒞$가 유한 개의 대상(및 유한 또는 무한 개의 사상)을 갖는 작은 범주이며, $R$가 환이라고 하자. 그렇다면, $𝒞$의 사상의 집합 $\mathrm{Mor}(𝒞)$으로부터 생성되는 $R$-자유 가군 $R[\mathrm{Mor}(𝒞)]$ 위에 다음과 같은 $R$-선형 곱셈 연산을 줄 수 있다.

$f\cdot g=\{\begin{array}{cc}g\circ f& \mathrm{dom}g=\mathrm{codom}f\\ 0& \mathrm{dom}g\ne \mathrm{codom}f\end{array}$

즉, 다음과 같다.

$(r_1{f}_1+r_2{f}_2+\cdots +r_m{f}_m)\cdot (s_1{g}_1+s_2{g}_2+\cdots +s_n{g}_n)=\sum _{i=1}^m\sum _{j=1}^n{r}_i{s}_j(f_i\cdot g_j)(r_i,s_j\in R,f_i,g_j\in \mathrm{Mor}(𝒞))$

이 곱셈은 결합 법칙 및 분배 법칙을 따르며, 항등원

$1_{R[𝒞]}=\sum _{X\in \mathrm{Ob}(𝒞)}{\mathrm{id}}_X$

을 가진다. (만약 $𝒞$가 무한 개의 대상들을 갖는다면, 곱셈 항등원이 존재하지 않게 된다.) 따라서, 이는 환을 이루며, 이를 $𝒞$ 위의 범주환(틀:Llang) $R[𝒞]$이라고 한다.

특히, 만약 $𝒞$가 하나의 대상만을 갖는다면, 이는 모노이드로 여길 수 있다. 이 경우 범주환을 모노이드 환(틀:Llang)이라고 한다. 만약 추가로 $𝒞$가 군이라면, 이 경우 범주환을 군환이라고 한다.

성질

모노이드 $M$에 대한 $R$ 계수 모노이드 환은 자연스럽게 $(R,R)$-쌍가군의 구조를 가진다. 이는 왼쪽 자유 가군이자 오른쪽 자유 가군이다.

$R$가 체 $k$일 경우, 군환 $k[G]$는 벡터 공간을 이룬다. 이 경우, $k[G]$의 차원은 $|G|$이다. (이는 $G$가 무한 반군일 경우에도 하멜 차원(틀:Lang)으로서 성립한다.)

군의 가군

군 $G$ 위의 가군(틀:Llang)은 그 정수 계수의 군환 $\mathbb{Z}[G]$의 가군이다. 이는 군 표현을 일반화한 개념이며, 군 코호몰로지에 쓰인다. 구체적으로, 군의 가군 $(M,\rho )$는 아벨 군 $M$과 군의 작용 $\rho :G\times M\to M$으로 이루어져 있으며, $g\in G$, $a,b\in M$에 대하여 $g(a+b)=ga+gb$을 만족시킨다.

유한군 $G$와 체 $K$가 주어졌고, 또

$\mathrm{char}K\nmid |G|$

라고 하자. (즉, $G$의 크기는 $K$의 표수를 소인수로 갖지 않는다.) 그렇다면 군환 $K[G]$를 정의할 수 있다. 이는 유한 차원 $K$-벡터 공간이므로 자명하게 왼쪽 아르틴 환이자 오른쪽 아르틴 환이다. 마슈케 정리(틀:Llang)에 따르면, 군환 $K[G]$는 반단순환이다. 즉, 모든 왼쪽 또는 오른쪽 $K[G]$-가군은 반단순 가군이다.

이는 하인리히 마슈케(틀:Llang, 1853~1908)가 증명하였다.

예

다항식환

자연수의 덧셈 모노이드 $(\mathbb{N},+)$를 생각하자. 이는 곱셈 표기법으로 $\{1,x,x^2,x^3,\dots \}$로 적을 수 있다. 임의의 환 $R$에 대하여, 모노이드 환 $R[\mathbb{N}]$은 다항식환 $R[x]$와 같다.

마찬가지로, 무한 순환군 $\mathrm{Cyc}(\mathrm{\infty })=\{\dots ,x^{-2},x^{-1},1,x,x^2,\dots \}$ 위의 군환은 다음과 같다.

$R[\mathrm{Cyc}(\mathrm{\infty })]\cong R[x,x^{-1}]=R[x,y]/(xy-1)$

마찬가지로, 유한 순환군 $\mathrm{Cyc}(n)=\{1,x,x^2,\dots ,x^{n-1}\}$ 위의 군환은 다음과 같다.

$R[\mathrm{Cyc}(n)]\cong R[x]/(x^n)$

행렬환

집합 $S$에 대하여, 순서쌍 준군 $\mathrm{Pair}(S)$는 다음과 같은 준군이다.

• 대상은 $S$의 원소이다. 즉, 대상 집합은 $S$이다.
• 임의의 두 대상 $s,t\in S$에 대하여 유일한 사상 $(s,t):s\to t$이 존재한다. 따라서, 사상 집합은 순서쌍으로 구성된 곱집합 $S\times S$로 생각할 수 있다.

만약 $S$가 크기 $n$의 유한 집합일 때, 임의의 환 $R$에 대하여 준군환 $R[\mathrm{Pair}(S)]$는 행렬환 $\mathrm{Mat}(n;R)$와 동형이다.

함수환

유한 집합 $S$ 위의 이산 범주 (모든 사상이 항등 사상인 범주) 위의 범주환 $R[S]$는 $S$ 위의 $R$ 값의 함수들의 환 $R^S$이다.

각주

• 틀:저널 인용
• 틀:서적 인용
• 틀:서적 인용
• 틀:서적 인용

외부 링크

• 틀:Eom
• 틀:매스월드
• 틀:Nlab
• 틀:Nlab
• 틀:웹 인용틀:깨진 링크