構造定数 (数学)

出典: フリー百科事典『ウィキペディア（Wikipedia）』

分配多元環の構造定数（こうぞうていすう）とは、与えられた自由加群に対して、それを分配多元環とするための積構造を決定する定数のことである。

[編集] 定義

環 R 上の自由加群 A に対し、その基底を {e_i}_i∈I とするとき、基底の間に積を

$e_i e_j := \sum_{k\in I} \gamma_{i,j}^k e_k \quad(\gamma_{i,j}^k \in R)$

（γ_i,j^k の i, j, k は単なる添字）と定めると、A の一般の元での積を

$\left( \sum_{i \in I} r^i e_i \right)\left( \sum_{j \in I} r^j e_j \right) = \sum_{i,j,k \in I} r^i r^j \gamma_{i,j}^k e_k$

(rⁱ, r^j ∈ R) と一意的に決定して A を分配多元環にすることができる（このような積の入れ方を、「基底の積を "線型に拡張" する」という）。この定数 {γ_i,j^k}_i,j,k∈I のことを多元環 A の基底 {e_i}_i∈I に関する構造定数とよぶ。定義から、もし添字集合 I が有限集合で n 個の元からなるならば、構造定数は（添字の i, j, k がそれぞれ n 通りであるから）全部で n³ 個定まる。

[編集] 例

複素数体 C の基底 {1, i} について、1 = e₀, i = e₁ と置くことにすると、

e₀e₀ = 1 × e₀ + 0 × e₁,

e₀e₁ = 0 × e₀ + 1 × e₁,

e₁e₀ = 0 × e₀ + 1 × e₁,

e₁e₁ = -1 × e₀ + 0 × e₁

となるから、C の積を定めるこの基底に関する構造定数（8 個ある）は

γ_0,0⁰ = 1, γ_0,0¹ = 0,

γ_0,1⁰ = 0, γ_0,1¹ = 1,

γ_1,0⁰ = 0, γ_1,0¹ = 1,

γ_1,1⁰ = -1, γ_1,1¹ = 0

となる。

同様にして四元数体 H は基底 {1, i, j, k} に対して

	1	i	j	k
1	1	i	j	k
i	i	-1	k	-j
j	j	-k	-1	i
k	k	j	-i	-1

で積が定義されている。したがっていま、1 = e₀, i = e₁, j = e₂, k = e₃ とおくと、この基底に関する H の構造定数（全部で 64 個）は

	e₀	e₁	e₂	e₃
e₀	γ_0,0⁰ = 1, γ_0,0¹ = 0, γ_0,0² = 0, γ_0,0³ = 0	γ_0,1⁰ = 0, γ_0,1¹ = 1, γ_0,1² = 0, γ_0,1³ = 0	γ_0,2⁰ = 0, γ_0,2¹ = 0, γ_0,2² = 1, γ_0,2³ = 0	γ_0,3⁰ = 0, γ_0,3¹ = 0, γ_0,3² = 0, γ_0,3³ = 1
e₁	γ_1,0⁰ = 0, γ_1,0¹ = 1, γ_1,0² = 0, γ_1,0³ = 0	γ_1,1⁰ = -1, γ_1,1¹ = 0, γ_1,1² = 0, γ_1,1³ = 0	γ_1,2⁰ = 0, γ_1,2¹ = 0, γ_1,2² = 0, γ_1,2³ = 1	γ_1,3⁰ = 0, γ_1,3¹ = 0, γ_1,3² = -1, γ_1,3³ = 0
e₂	γ_2,0⁰ = 0, γ_2,0¹ = 0, γ_2,0² = 1, γ_2,0³ = 0	γ_2,1⁰ = 0, γ_2,1¹ = 0, γ_2,1² = 0, γ_2,1³ = -1	γ_2,2⁰ = -1, γ_2,2¹ = 0, γ_2,2² = 0, γ_2,2³ = 0	γ_2,3⁰ = 0, γ_2,3¹ = 1, γ_2,3² = 0, γ_2,3³ = 0
e₃	γ_3,0⁰ = 0, γ_3,0¹ = 0, γ_3,0² = 0, γ_3,0³ = 1	γ_3,1⁰ = 0, γ_3,1¹ = 0, γ_3,1² = 1, γ_3,1³ = 0	γ_3,2⁰ = 0, γ_3,2¹ = -1, γ_3,2² = 0, γ_3,2³ = 0	γ_3,3⁰ = -1, γ_3,3¹ = 0, γ_3,3² = 0, γ_3,3³ = 0