構造定数 (数学)のソースを表示
←
構造定数 (数学)
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
[[分配多元環]]の'''構造定数'''（こうぞうていすう、{{lang-en-short|''structure constant'', ''structure coeficient''}}）とは、与えられた[[自由群|自由加群]]に対して、それを分配多元環とするための積構造を決定する定数のことである。 == 定義 == 単位的な[[可換環]] ''R'' 上の自由加群 ''A'' に対し、その基底を {''e''<sub>''i''</sub>}<sub>''i''∈''I''</sub> とするとき、基底の間に積を {{Indent|<math>e_i e_j := \sum_{k\in I} \gamma_{ij}^k e_k \quad(\gamma_{ij}^k \in R) </math>}} （γ<sub>''ij''</sub><sup>''k''</sup> の ''i'', ''j'', ''k'' は単なる添字）と定めると、''A'' の一般の元での積を {{Indent|<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_{ij}^k e_k </math>}} (''r''<sup>''i''</sup>, ''r''<sup>''j''</sup> ∈ ''R'') と一意的に決定して ''A'' を分配多元環にすることができる（このような積の入れ方を、「基底の積を "線型に拡張" する」 という）。この定数 {γ<sub>''ij''</sub><sup>''k''</sup>}<sub>''i'',''j'',''k''∈''I''</sub> のことを多元環 ''A'' の基底 {''e''<sub>''i''</sub>}<sub>''i''∈''I''</sub> に関する'''構造定数'''とよぶ。定義から、もし添字集合 ''I'' が[[有限集合]]で ''n'' 個の元からなるならば、構造定数は（添字の ''i'', ''j'', ''k'' がそれぞれ ''n'' 通りであるから）全部で ''n''<sup>3</sup> 個定まる。 == 例 == [[複素数|複素数体]] '''C''' の基底 {1, ''i''} について、1 = ''e''<sub>0</sub>, ''i'' = ''e''<sub>1</sub> と置くことにすると、 {{Indent| ''e''<sub>0</sub>''e''<sub>0</sub> <nowiki>=</nowiki> 1 × ''e''<sub>0</sub> + 0 × ''e''<sub>1</sub>,<br /> ''e''<sub>0</sub>''e''<sub>1</sub> <nowiki>=</nowiki> 0 × ''e''<sub>0</sub> + 1 × ''e''<sub>1</sub>,<br /> ''e''<sub>1</sub>''e''<sub>0</sub> <nowiki>=</nowiki> 0 × ''e''<sub>0</sub> + 1 × ''e''<sub>1</sub>,<br /> ''e''<sub>1</sub>''e''<sub>1</sub> <nowiki>=</nowiki> -1 × ''e''<sub>0</sub> + 0 × ''e''<sub>1</sub> }} となるから、'''C''' の積を定めるこの基底に関する構造定数（8 個ある）は {{Indent| γ<sub>00</sub><sup>0</sup> <nowiki>=</nowiki> 1, γ<sub>00</sub><sup>1</sup> <nowiki>=</nowiki> 0,<br /> γ<sub>01</sub><sup>0</sup> <nowiki>=</nowiki> 0, γ<sub>01</sub><sup>1</sup> <nowiki>=</nowiki> 1,<br /> γ<sub>10</sub><sup>0</sup> <nowiki>=</nowiki> 0, γ<sub>10</sub><sup>1</sup> <nowiki>=</nowiki> 1,<br /> γ<sub>11</sub><sup>0</sup> <nowiki>=</nowiki> −1, γ<sub>11</sub><sup>1</sup> <nowiki>=</nowiki> 0 }} となる。 同様にして[[四元数|四元数体]] '''H''' は基底 {1, ''i'', ''j'', ''k''} に対して {| class="wikitable" style="text-align:center; margin:2ex auto 2ex 2em;" |- ! !! 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''<sub>0</sub>, ''i'' = ''e''<sub>1</sub>, ''j'' = ''e''<sub>2</sub>, ''k'' = ''e''<sub>3</sub> とおくと、この基底に関する '''H''' の構造定数（全部で 64 個）は {| class="wikitable" style="text-align:center; margin:2ex 2em 2ex 2em;" |- ! !! ''e''<sub>0</sub> !! ''e''<sub>1</sub> ! ''e''<sub>2</sub> !! ''e''<sub>3</sub> |- ! '''''e''<sub>0</sub>''' || γ<sub>00</sub><sup>0</sup> = 1, γ<sub>00</sub><sup>1</sup> = 0, γ<sub>00</sub><sup>2</sup> = 0, γ<sub>00</sub><sup>3</sup> = 0 || γ<sub>01</sub><sup>0</sup> = 0, γ<sub>01</sub><sup>1</sup> = 1, γ<sub>01</sub><sup>2</sup> = 0, γ<sub>01</sub><sup>3</sup> = 0 || γ<sub>02</sub><sup>0</sup> = 0, γ<sub>02</sub><sup>1</sup> = 0, γ<sub>02</sub><sup>2</sup> = 1, γ<sub>02</sub><sup>3</sup> = 0 || γ<sub>03</sub><sup>0</sup> = 0, γ<sub>03</sub><sup>1</sup> = 0, γ<sub>03</sub><sup>2</sup> = 0, γ<sub>03</sub><sup>3</sup> = 1 |- ! '''''e''<sub>1</sub>''' || γ<sub>10</sub><sup>0</sup> = 0, γ<sub>10</sub><sup>1</sup> = 1, γ<sub>10</sub><sup>2</sup> = 0, γ<sub>10</sub><sup>3</sup> = 0 || γ<sub>11</sub><sup>0</sup> = −1, γ<sub>11</sub><sup>1</sup> = 0, γ<sub>11</sub><sup>2</sup> = 0, γ<sub>11</sub><sup>3</sup> = 0 || γ<sub>12</sub><sup>0</sup> = 0, γ<sub>12</sub><sup>1</sup> = 0, γ<sub>12</sub><sup>2</sup> = 0, γ<sub>12</sub><sup>3</sup> = 1 || γ<sub>13</sub><sup>0</sup> = 0, γ<sub>13</sub><sup>1</sup> = 0, γ<sub>13</sub><sup>2</sup> = −1, γ<sub>13</sub><sup>3</sup> = 0 |- ! '''''e''<sub>2</sub>''' || γ<sub>20</sub><sup>0</sup> = 0, γ<sub>20</sub><sup>1</sup> = 0, γ<sub>20</sub><sup>2</sup> = 1, γ<sub>20</sub><sup>3</sup> = 0 || γ<sub>21</sub><sup>0</sup> = 0, γ<sub>21</sub><sup>1</sup> = 0, γ<sub>21</sub><sup>2</sup> = 0, γ<sub>21</sub><sup>3</sup> = −1 || γ<sub>22</sub><sup>0</sup> = −1, γ<sub>22</sub><sup>1</sup> = 0, γ<sub>22</sub><sup>2</sup> = 0, γ<sub>22</sub><sup>3</sup> = 0 || γ<sub>23</sub><sup>0</sup> = 0, γ<sub>23</sub><sup>1</sup> = 1, γ<sub>23</sub><sup>2</sup> = 0, γ<sub>23</sub><sup>3</sup> = 0 |- ! '''''e''<sub>3</sub>''' || γ<sub>30</sub><sup>0</sup> = 0, γ<sub>30</sub><sup>1</sup> = 0, γ<sub>30</sub><sup>2</sup> = 0, γ<sub>30</sub><sup>3</sup> = 1 || γ<sub>31</sub><sup>0</sup> = 0, γ<sub>31</sub><sup>1</sup> = 0, γ<sub>31</sub><sup>2</sup> = 1, γ<sub>31</sub><sup>3</sup> = 0 || γ<sub>32</sub><sup>0</sup> = 0, γ<sub>32</sub><sup>1</sup> = −1, γ<sub>32</sub><sup>2</sup> = 0, γ<sub>32</sub><sup>3</sup> = 0 ||γ<sub>33</sub><sup>0</sup> = −1, γ<sub>33</sub><sup>1</sup> = 0, γ<sub>33</sub><sup>2</sup> = 0, γ<sub>33</sub><sup>3</sup> = 0 |} となる。 あるいは、適当な群 ''G'' で添字付けられる基底 {''e''<sub>σ</sub>}<sub>σ∈''G''</sub> をもつ自由加群 ''A'' に {{Indent|<math>\gamma_{\sigma\lambda}^\mu := \delta_{\sigma\lambda,\mu}</math>}} （δ は[[クロネッカーのデルタ]]、すなわち σ と λ の積が μ に一致するとき 1 でそれ以外のときは 0）を構造定数として積を入れたものは ''G'' 上の[[群環]]になる。同様に 2-コサイクル ''f'' を与えて {{Indent|<math>\gamma_{\sigma\lambda}^\mu := f(\sigma,\lambda)\delta_{\sigma\lambda,\mu} </math>}} と与えれば、''G'' 上のねじれ群環あるいは接合積と呼ばれる結合多元環が得られる。 == 性質 == 構造定数 {γ<sub>''ij''</sub><sup>''k''</sup>}<sub>''i'',''j'',''k''∈''I''</sub> が {{Indent|<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'' について満たすことと、これが決定する分配多元環の積は[[結合法則]]を満たすこととは同値である。また、上に挙げた例では全てこれが満たされている。とくにねじれ群環の場合に、この等式はコサイクル条件そのものになる。 == 関連項目 == * [[群環]] * [[四元数#一般化|四元数環]] == 外部リンク == * {{SpringerEOM | title=Structure constant | id=Structure_constant&oldid=38896 | last=Skornyakov | first=L.A. | ref={{sfnref|Skornyakov|2001}} }} {{DEFAULTSORT:こうそうていすう}} [[Category:代数的構造]] [[Category:多元環論]] [[Category:リー環論]] [[Category:数学に関する記事]]
このページで使用されているテンプレート:
テンプレート:Indent
(
ソースを閲覧
)
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:SpringerEOM
(
ソースを閲覧
)
構造定数 (数学)
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報