「構造定数 (数学)」の版間の差分

2010年8月20日 (金) 01:04時点における最新版

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

定義[編集]

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

<math>e_i e_j := \sum_{k\in I} \gamma_{i,j}^k e_k

 \quad(\gamma_{i,j}^k \in R)

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

<math>

\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

</math> (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 = e₀, i = e₁, j = e₂, k = e₃ とおくと、この基底に関する H の構造定数（全部で 64 個）は

となる。

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

<math>\gamma_{\sigma,\lambda}^\mu := \delta_{\sigma\lambda,\mu}</math>

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

<math>\gamma_{\sigma,\lambda}^\mu :=

f(\sigma,\lambda)\delta_{\sigma\lambda,\mu}

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

性質[編集]

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

<math>

\sum_{p \in I} \gamma_{ij}^p \gamma_{pk}^l
= \sum_{q \in I} \gamma_{jk}^q \gamma_{iq}^l

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

関連項目[編集]

• 群環
• 四元数環

このページはウィキペディア日本語版のコンテンツ・構造定数 (数学)を利用して作成されています。変更履歴はこちらです。