構造定数 (数学)
分配多元環の構造定数(こうぞうていすう、英: structure constant, structure coeficient)とは、与えられた自由加群に対して、それを分配多元環とするための積構造を決定する定数のことである。
単位的な可換環 R 上の自由加群 A に対し、その基底を {ei}i∈I とするとき、基底の間に積を
e i e j := ∑ k ∈ I γ i j k e k ( γ i j k ∈ R ) {\displaystyle e_{i}e_{j}:=\sum _{k\in I}\gamma _{ij}^{k}e_{k}\quad (\gamma _{ij}^{k}\in R)}
(γij の i, j, k は単なる添字)と定めると、A の一般の元での積を
( ∑ i ∈ I r i e i ) ( ∑ j ∈ I r j e j ) = ∑ i , j , k ∈ I r i r j γ i j k e k {\displaystyle \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 ∈ R) と一意的に決定して A を分配多元環にすることができる(このような積の入れ方を、「基底の積を "線型に拡張" する」 という)。この定数 {γij}i,j,k∈I のことを多元環 A の基底 {ei}i∈I に関する構造定数とよぶ。定義から、もし添字集合 I が有限集合で n 個の元からなるならば、構造定数は(添字の i, j, k がそれぞれ n 通りであるから)全部で n 個定まる。