構造定数 (数学)

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

定義[編集]

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

$e_{i}e_{j}:=\sum _{k\in I}\gamma _{ij}^{k}e_{k}\quad (\gamma _{ij}^{k}\in R)$

（γ_ij^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 _{ij}^{k}e_{k}$

(rⁱ, r^j ∈ R) と一意的に決定して A を分配多元環にすることができる（このような積の入れ方を、「基底の積を "線型に拡張" する」という）。この定数 {γ_ij^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 個ある）は

γ₀₀⁰ = 1, γ₀₀¹ = 0,
γ₀₁⁰ = 0, γ₀₁¹ = 1,
γ₁₀⁰ = 0, γ₁₀¹ = 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₀	γ₀₀⁰ = 1, γ₀₀¹ = 0, γ₀₀² = 0, γ₀₀³ = 0	γ₀₁⁰ = 0, γ₀₁¹ = 1, γ₀₁² = 0, γ₀₁³ = 0	γ₀₂⁰ = 0, γ₀₂¹ = 0, γ₀₂² = 1, γ₀₂³ = 0	γ₀₃⁰ = 0, γ₀₃¹ = 0, γ₀₃² = 0, γ₀₃³ = 1
e₁	γ₁₀⁰ = 0, γ₁₀¹ = 1, γ₁₀² = 0, γ₁₀³ = 0	γ₁₁⁰ = −1, γ₁₁¹ = 0, γ₁₁² = 0, γ₁₁³ = 0	γ₁₂⁰ = 0, γ₁₂¹ = 0, γ₁₂² = 0, γ₁₂³ = 1	γ₁₃⁰ = 0, γ₁₃¹ = 0, γ₁₃² = −1, γ₁₃³ = 0
e₂	γ₂₀⁰ = 0, γ₂₀¹ = 0, γ₂₀² = 1, γ₂₀³ = 0	γ₂₁⁰ = 0, γ₂₁¹ = 0, γ₂₁² = 0, γ₂₁³ = −1	γ₂₂⁰ = −1, γ₂₂¹ = 0, γ₂₂² = 0, γ₂₂³ = 0	γ₂₃⁰ = 0, γ₂₃¹ = 1, γ₂₃² = 0, γ₂₃³ = 0
e₃	γ₃₀⁰ = 0, γ₃₀¹ = 0, γ₃₀² = 0, γ₃₀³ = 1	γ₃₁⁰ = 0, γ₃₁¹ = 0, γ₃₁² = 1, γ₃₁³ = 0	γ₃₂⁰ = 0, γ₃₂¹ = −1, γ₃₂² = 0, γ₃₂³ = 0	γ₃₃⁰ = −1, γ₃₃¹ = 0, γ₃₃² = 0, γ₃₃³ = 0

となる。

あるいは、適当な群 G で添字付けられる基底 {e_σ}_σ∈G をもつ自由加群 A に

$\gamma _{\sigma \lambda }^{\mu }:=\delta _{\sigma \lambda ,\mu }$

（δ はクロネッカーのデルタ、すなわち σ と λ の積が μ に一致するとき 1 でそれ以外のときは 0）を構造定数として積を入れたものは G 上の群環になる。同様に 2-コサイクル f を与えて

$\gamma _{\sigma \lambda }^{\mu }:=f(\sigma ,\lambda )\delta _{\sigma \lambda ,\mu }$

と与えれば、G 上のねじれ群環あるいは接合積と呼ばれる結合多元環が得られる。

性質[編集]

構造定数 {γ_ij^k}_i,j,k∈I が

$\sum _{p\in I}\gamma _{ij}^{p}\gamma _{pk}^{l}=\sum _{q\in I}\gamma _{jk}^{q}\gamma _{iq}^{l}$

が任意の i, j, k, l ∈ I について満たすことと、これが決定する分配多元環の積は結合法則を満たすこととは同値である。また、上に挙げた例では全てこれが満たされている。とくにねじれ群環の場合に、この等式はコサイクル条件そのものになる。

外部リンク[編集]

Skornyakov, L.A. (2001), “Structure constant”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

定義[編集]

例[編集]

性質[編集]

関連項目[編集]

外部リンク[編集]