케일리-딕슨 구성

틀:위키데이터 속성 추적 추상대수학에서 케일리-딕슨 구성(Cayley-Dickson構成, 틀:Llang)은 어떤 환 위의 대수에 대하여, 차원이 두 배인 대수를 만드는 한 방법이다.틀:Rp 이 경우, 원래 대수의 일부 성질들이 확장된 대수에서도 성립한다.

정의

가환환 $K$가 주어졌다고 하자.

그 위의 *-대수는 다음과 같은 데이터로 주어진다.

• $K$-가군 $A$
• $K$-가군 준동형 $\star :A{\otimes }_{K}A\to A$. (이는 결합 법칙이나 교환 법칙을 따르지 않을 수 있다.)
• $K$-가군 준동형 $(-{)}^{*}:A\to A$. 이는 다음 두 조건을 만족시킨다.
  • $(xy{)}^{*}=y^{*}{x}^{*}\mathrm{\forall }x,y\in A$
  • $x^{**}=x\mathrm{\forall }x\in A$

또한, $K$의 가역원 $\mu \in \mathrm{Unit}(K)$이 주어졌다고 하자.

그렇다면, $K$-가군의 직합 $A\oplus A$ 위에 다음과 같은 $K$-대수 구조 및 대합을 줄 수 있다.

$(x,y)(x^{\prime },y^{\prime })=(x{x}^{\prime }-\mu y{\text{'}}^{*}y,y^{\prime }x+yx{\text{'}}^{*})$

$(x,y{)}^{*}=(x^{*},-y)$

즉, 새 원소 $i=(0,1)$를 추가하며, $(a,b)=a+bi$로 쓰면, 모든 $a,b,c\in A$에 대하여 다음과 같은 대수 관계를 준다.

$ai=i{a}^{*}$

$a(bi)=(ba)i$

$(ai)b=(a{b}^{*})i$

$(ai)(bi)=\mu b^{*}a$

$i^{*}=-i$

그렇다면 이는 *-대수 $\mathrm{CD}(A)$를 이룬다. 또한, 이에 따라 표준적인 단사 *-대수 준동형 $A\to \mathrm{CD}(A)$가 주어진다.

케일리-딕슨 구성에서 추가되는 원소를 $i\mapsto \alpha i$와 같이 재정의할 경우, $\mu \mapsto \mu /{\alpha }^2$가 된다. 즉, 케일리-딕슨 구성은 제곱 유군의 원소 $[\mu ]\in \mathrm{Unit}(K)/\mathrm{Unit}(K{)}^2$에 의하여 분류된다. 특히, 이차 폐체의 경우, 케일리-딕슨 구성의 각 단계는 유일하다.

성질

유사환 $R$ 위의 대합 대수 $A$ 및 그 케일리-딕슨 대수 $\mathrm{CD}(A)$에 대하여, $A$가 다음 조건을 만족시킨다면, $\mathrm{CD}(A)$는 다음과 같은 성질을 만족시킨다.

$A$의 성질	$\mathrm{CD}(A)$의 성질
단위원 $1_A\in A$을 갖는다	단위원 $1_A+0i$를 갖는다
*-조건이 성립	*-조건이 성립
교환 법칙이 성립하며, ${*}^{}$는 항등 함수	교환 법칙이 성립
교환 법칙·결합 법칙이 성립	결합 법칙이 성립
결합 법칙이 성립하며, *-조건이 성립	교대 대수

여기서 $*$-조건은 다음과 같다.

• 모든 $a,b,c$에 대하여, $0=[a+a^{*},b]=[a{a}^{*},b]=(a+a^{*},b,c)=(a{a}^{*},b,c)=(b,a+a^{*},c)=(b,a{a}^{*},c)=(b,c,a+a^{*})=(b,c,a{a}^{*})$

여기서

$[a,b]=ab-ba$

$(a,b,c)=(ab)c-a(bc)$

는 각각 교환자 및 결합자이다.

표수가 2가 아닌 체 $K$ 위의 모든 합성 대수는 $K$로부터 0번 ~ 3번 ($\mu$를 사용하는) 케일리-딕슨 구성으로부터 주어진다. 표수가 2인 체의 경우, 모든 [[합성 대수는 $K$ 자체 또는 2차원 합성 대수에 마찬가지로 케일리-딕슨 구성을 가하여 얻어진다.

예

실수 $ℝ$를 스스로 위의 대수로 여겨, 케일리-딕슨 구성을 가하면, 다음과 같다.

대수	이름	성질
$ℝ$	실수	교환 법칙 · 결합 법칙 · 대합이 항등 함수 · 단위원 존재
$ℂ=\mathrm{CD}(ℝ)$	복소수	교환 법칙 · 결합 법칙 · 단위원 존재
$ℍ=\mathrm{CD}(ℂ)$	사원수	결합 법칙 · *-조건 · 단위원 존재
$𝕆=\mathrm{CD}(ℍ)$	팔원수	교대 대수 · *-조건 · 단위원 존재
$𝕊=\mathrm{CD}(𝕆)$	십육원수	*-조건 · 단위원 존재

이 대수들의 경우

$\Vert a{\Vert }^2=a^{*}a\in [0,\mathrm{\infty })\subset ℝ\subset {\mathrm{CD}}^n(ℝ)\mathrm{\forall }a\in {\mathrm{CD}}^n(ℝ)$

이므로, 곱셈과 호환되는 노름 $\Vert \cdot \Vert :{\mathrm{CD}}^n(ℝ)\to [0,\mathrm{\infty })$을 줄 수 있다.

역사

아서 케일리와 레너드 유진 딕슨 이 도입하였다.

각주

• 틀:저널 인용 오류 정정 틀:저널 인용
• 틀:서적 인용

외부 링크

• 틀:웹 인용