환론에서 교환자란?
정의
환 $(R, +, \cdot)$에 대해서, 두 원소 $a, b \in R$의 교환자commutator를 다음과 같이 정의한다.
$$ [a, b] := a \cdot b - b \cdot a = ab - ba $$
$[a, b] = 0$이면 $a, b$가 교환가능commute하다고 한다. $a, b$의 반교환자anticommutator를 다음과 같이 정의한다.
$$ \left\{a, b\right\} = ab + ba $$
설명
군론에서의 교환자와는 비슷하지만 조금 다르다. 환에서는 이미 덧셈 $+$에 대해서는 교환법칙이 성립하므로, 곱셈 $\cdot$에 대해서 교환가능한지를 말해준다.
양자역학에서의 교환자, 미분기하에서 벡터필드의 리 브라켓과 같다.
$(2)$를 반교환성anticommutativity이라 한다. $(6)$을 야코비 항등식이라 한다.
성질
$$ \begin{align} [a, a] &= 0 \\[1em] [a, b] &= -[b, a] \\[1em] [a+b, c] &= [a, c] + [b, c] \\[1em] [ab, c] &= a[b, c]+[a, c]b \\[1em] [a,bc] &= b[a,c]+ [a,b]c \\[1em] [a, [b, c]] + [c, [a,b]] + [b, [c,a]] &= 0 \end{align} $$
증명
(1)
$$ [a, a]=a-a=0 $$
■
(2)
$$ [a,b] = ab-ba = -(ba-ab) = -[b,a] $$
■
(3)
$$ \begin{align*} [a+b,c] =&\ (a+b)c-c(a+b) \\ =&\ ac+bc-ca-cb \\ =&\ (ac-ca) + (bc-cb) \\ =&\ [a,c]+[b,c] \end{align*} $$
■
(4)
$$ \begin{align*} [ab,c] =&\ (ab)c-c(ab) \\ =&\ abc-cab \\ =&\ (abc {\color{blue}-cab})+(acb {\color{red}-acb}) \\ =&\ (abc {\color{red}-acb}) + (acb {\color{blue}-cab}) \\ =&\ a(bc-cb) +(ac-ca)b \\ =&\ a[b,c] + [a,c]b \end{align*} $$
(5)
$$ \begin{align*} [a,bc] =&\ a(bc)-(bc)a \\ =&\ abc-bca \\ =&\ ({\color{blue}abc} -bca)+({\color{red}bac} -bac) \\ =&\ ( {\color{red}bac}-bca )+({\color{blue}abc}-bac) \\ =&\ b[a,c] + [a,b]c \end{align*} $$
■