小内山晶: /* 関連項目 */

2010-08-19T16:04:46Z

‎関連項目

2007年5月17日 (木) 13:45にキリカによる

2007-05-17T13:45:38Z

キリカ: http://ja.wikipedia.org/w/index.php?title=構造定数 (数学)&oldid=9978039

2007-05-17T13:45:22Z

http://ja.wikipedia.org/w/index.php?title=構造定数 (数学)&oldid=9978039

新規ページ

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

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

== 例 ==
[[複素数|複素数体]] '''C''' の基底 {1, ''i''} について、1 = ''e''0, ''i'' = ''e''1 と置くことにすると、
: ''e''0''e''0 = 1 × ''e''0 + 0 × ''e''1,
: ''e''0''e''1 = 0 × ''e''0 + 1 × ''e''1,
: ''e''1''e''0 = 0 × ''e''0 + 1 × ''e''1,
: ''e''1''e''1 = -1 × ''e''0 + 0 × ''e''1
となるから、'''C''' の積を定めるこの基底に関する構造定数（8 個ある）は
: γ0,00 = 1, γ0,01 = 0,
: γ0,10 = 0, γ0,11 = 1,
: γ1,00 = 0, γ1,01 = 1,
: γ1,10 = -1, γ1,11 = 0
となる。

同様にして[[四元数|四元数体]] '''H''' は基底 {1, ''i'', ''j'', ''k''} に対して
{| border="1" style="border:solid gray; margin:1em auto;"
|- align="center" style="background:#ffccff;"
!   !! 1 !! ''i'' !! ''j'' !! ''k''
|- align="center"
| style="background:#ffccff;"| '''1'''
|| 1 || ''i'' || ''j'' || ''k''
|- align="center"
| style="background:#ffccff;"| '''''i'''''
|| ''i'' || -1 || ''k'' || -''j''
|- align="center"
| style="background:#ffccff;"| '''''j'''''
|| ''j'' || -''k'' || -1 || ''i''
|- align="center"
| style="background:#ffccff;"| '''''k'''''
|| ''k'' || ''j'' || -''i'' || -1
|}
で積が定義されている。したがっていま、1 = ''e''0, ''i'' = ''e''1, ''j'' = ''e''2, ''k'' = ''e''3 とおくと、この基底に関する '''H''' の構造定数（全部で 64 個）は
{| border="1" style="border:solid gray; margin:1em auto;"
|- align="center" style="background:#ffccff;"
!   !! ''e''0 !! ''e''1
! ''e''2 !! ''e''3
|- align="center" style="line-height:200%;"
| style="background:#ffccff;"| '''''e''0'''
|| γ0,00 = 1, γ0,01 = 0, γ0,02 = 0, γ0,03 = 0
|| γ0,10 = 0, γ0,11 = 1, γ0,12 = 0, γ0,13 = 0
|| γ0,20 = 0, γ0,21 = 0, γ0,22 = 1, γ0,23 = 0
|| γ0,30 = 0, γ0,31 = 0, γ0,32 = 0, γ0,33 = 1
|- align="center" style="line-height:200%;"
| style="background:#ffccff;"| '''''e''1'''
|| γ1,00 = 0, γ1,01 = 1, γ1,02 = 0, γ1,03 = 0
|| γ1,10 = -1, γ1,11 = 0, γ1,12 = 0, γ1,13 = 0
|| γ1,20 = 0, γ1,21 = 0, γ1,22 = 0, γ1,23 = 1
|| γ1,30 = 0, γ1,31 = 0, γ1,32 = -1, γ1,33 = 0
|- align="center" style="line-height:200%;"
| style="background:#ffccff;"| '''''e''2'''
|| γ2,00 = 0, γ2,01 = 0, γ2,02 = 1, γ2,03 = 0
|| γ2,10 = 0, γ2,11 = 0, γ2,12 = 0, γ2,13 = -1
|| γ2,20 = -1, γ2,21 = 0, γ2,22 = 0, γ2,23 = 0
|| γ2,30 = 0, γ2,31 = 1, γ2,32 = 0, γ2,33 = 0
|- align="center" style="line-height:200%;"
| style="background:#ffccff;"| '''''e''3'''
|| γ3,00 = 0, γ3,01 = 0, γ3,02 = 0, γ3,03 = 1
|| γ3,10 = 0, γ3,11 = 0, γ3,12 = 1, γ3,13 = 0
|| γ3,20 = 0, γ3,21 = -1, γ3,22 = 0, γ3,23 = 0
||γ3,30 = -1, γ3,31 = 0, γ3,32 = 0, γ3,33 = 0
|}
となる。

あるいは、適当な群 ''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'' について満たすことと、これが決定する分配多元環の積は[[結合法則]]を満たすこととは同値である。また、上に挙げた例では全てこれが満たされている。とくにねじれ群環の場合に、この等式はコサイクル条件そのものになる。

== 関連項目 ==
* [[群環]]
* [[四元数#一般化|四元数環]]

[[Category:代数的構造|こうそうていすう]]
[[Category:数学に関する記事|こうそうていすう]]

←前の版		2007年5月17日 (木) 13:45時点における版
102行目:		102行目:
	[[Category:代数的構造\|こうそうていすう]]		[[Category:代数的構造\|こうそうていすう]]
	[[Category:数学に関する記事\|こうそうていすう]]		[[Category:数学に関する記事\|こうそうていすう]]
		+
		+	<div style="margin:0.5em 0;background-color:#f6f6f6;border:1px solid #ccc;padding:3px;font-size:80%">
		+	このページは [http://ja.wikipedia.org/ Wikipedia日本語版]由来のコンテンツを利用しています。もとの記事は[http://ja.wikipedia.org/wiki/構造定数 (数学) '''構造定数 (数学)''']にあります。執筆者のリストは[http://ja.wikipedia.org/w/index.php?title=構造定数 (数学)&action=history '''履歴''']をご覧ください。
		+	[[Yourpedia]]と同じく、[http://ja.wikipedia.org/wiki/Wikipedia Wikipedia]は[http://www.gnu.org/copyleft/fdl.html GFDLのライセンス]で提供されています。
		+	コンテンツを再利用する際には同じくGFDLのライセンスを採用してください。
		+	</div>
		+	[[Category:Wikipedia出典元の記事\|{{PAGENAME}}]]

@@ 98行目: / 98行目: @@
 * [[群環]]
 * [[四元数#一般化|四元数環]]
+{{jawp}}
 [[Category:代数的構造|こうそうていすう]]
 [[Category:数学に関する記事|こうそうていすう]]

構造定数 (数学) - 変更履歴

小内山晶: /* 関連項目 */

2007年5月17日 (木) 13:45にキリカによる

キリカ: http://ja.wikipedia.org/w/index.php?title=構造定数 (数学)&oldid=9978039