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

2010-08-19T08:11:55Z

‎関連項目

2007年5月16日 (水) 18:33にキリカによる

2007-05-16T18:33:13Z

キリカ: http://ja.wikipedia.org/w/index.php?title=多元環&oldid=9155082

2007-05-16T18:32:52Z

http://ja.wikipedia.org/w/index.php?title=多元環&oldid=9155082

新規ページ

'''多元環'''（たげんかん、algebra）とは[[可換法則|可換]][[環論|環]]上の[[加群]]としての構造を持ち、その構造と両立しているような[[二項演算|積]]を持つ[[代数的構造]]のことである。algebra を直訳して'''代数'''（だいすう）と呼ぶことも多い。また、[[ニコラ・ブルバキ|ブルバキ]]では（結合的なものを）'''線型環'''（せんけいかん）と呼んでいる。

== 定義 ==
''A'' が可換環 ''R'' 上の'''分配多元環'''（あるいは分配的多元環）もしくは ''R'' '''代数'''であるとは
# ''A'' には 3 つの演算：和 +, 積 ×, ''R'' の元のスカラー積 · が定義される。
# 和の交換法則：''x'' + ''y'' = ''y'' + ''x'' が、任意の ''x'', ''y'' ∈ ''A'' に対して成り立つ。
# 和の結合法則： ''x'' + (''y'' + ''z'') = (''x'' + ''y'') + ''z'' が、任意の ''x'', ''y'', ''z'' ∈ ''A'' に対して成り立つ。
# 零元の存在： ''x'' + 0''A'' = ''x'' が任意の ''x'' ∈ ''A'' に対して成り立つような 0''A'' が ''A'' に存在する。
# マイナス元の存在：任意の ''x'' ∈ ''A'' に対し、''x'' + (-''x'') = 0''A'' を満たすような ''A'' の元 -''x'' が存在する。
# 分配法則： (''x'' + ''y'')× ''z'' = (''x'' × ''z'') + (''y'' × ''z''), ''x'' ×(''y'' + ''z'') = (''x'' × ''y'') + (''x'' × ''z'') が、任意の ''x'', ''y'', ''z'' ∈ ''A'' に対して成り立つ。
# α(''x'' + ''y'') = α''x'' + α''y'' が、任意の α ∈ ''R'', ''x'', ''y'' ∈ ''A'' に対して成り立つ。
# (α + β)''x'' = α''x'' + β''x'' が、任意の α, β ∈ ''R'', ''x'' ∈ ''A'' に対して成り立つ。
# (αβ)''x'' = α(β''x'') が、任意の α, β ∈ ''R'', ''x'' ∈ ''A'' に対して成り立つ。
# α(''a'' × ''b'') = (α''a'')× ''b'' = ''a'' ×(α''b'') が任意の α ∈ ''R'' と ''a'', ''b'' ∈ ''A'' に対して成り立つ。

さらに、積 × が[[結合法則]]を満たすなら ''A'' は'''結合多元環'''（あるいは結合的多元環）であるという。ただし、文脈により紛れのないと思われる場合においては、分配多元環あるいは結合多元環を単に多元環とよぶことがある。

積が[[結合法則|結合的]]ではない多元環で重要なものに[[リー環]]や[[ジョルダン環]]がある。
=== 諸定義 ===
上記の条件に加えて
* 単位元の存在: ''x'' × 1''A'' = 1''A'' × ''x'' = ''x'' が任意の ''x'' ∈ ''A'' に対して成り立つような 1''A'' が ''A'' に存在する。
* 逆元の存在：0''A'' でない任意の ''x'' ∈ ''A'' に対し、''x'' × ''x''-1 = ''x''-1 × ''x'' = 1''A'' を満たすような ''A'' の元 ''x''-1 が存在する。
を満たすならば、''A'' は ''R'' 上の'''斜体''' (division algebra) であるという。

また、''R'' が単位元 1''R'' を持つならば、
* 1''R'' ''x'' = ''x'' が任意の ''x'' ∈ ''A'' に対して成り立つ。
も仮定に加えることが多い。

さらに ''R'' が[[体 (数学)|体]]で ''A'' が積 × に関する単位元 1''A'' をもつならば、写像
: ''R'' → ''A''; α → α1''A''
は多元環の埋め込み、すなわち単射な多元環の[[準同型]]（''R''-線型かつ環の準同型）になるので、''R'' とその像を同一視することができる。この同一視を行うとき、''R'' のスカラー倍は ''A'' の元としての積と一致する。同時に ''R'' は ''A'' の中心 ''C''(''A'') に含まれる。''R'' = ''C''(''A'') となるなら ''A'' は ''R'' 上'''中心的''' (central) であるという。

''R''-加群の列 {''A''''n''}''n''∈'''N''' の[[直和]] ''A'' に対し、積 × が定義されて ''A'' が多元環となり、さらに任意の ''r'', ''s'' ∈ '''N''' に対し、''A''''r'' × ''A''''s'' ⊂ ''A''''r''+''s'' をみたすならば、''A'' は'''次数つき多元環''' (graded algebra) であるという。

== 例 ==
* 任意のベクトル空間 ''V'' に積を、任意の ''a'', ''b'' ∈ ''V'' に対し ''ab'' = 0 と定めると多元環になる。（これはリー環にもなっている。）
* 体 ''K'' の任意の拡大体 ''L'' は ''K'' 上の多元環。
* 環 ''R'' 上の ''n'' 次全[[行列]]環 ''Mn''(''R'') は ''R'' 上の多元環。体 ''F'' 上の中心的単純環は、ある ''F'' 上の斜体 ''D'' 上の全行列環 ''Mr''(''D'') に同型である（Wedderburn の定理）。
* 可換環 ''R'' 上の[[多項式]]環 ''R''[''x''] は、高々 ''n'' 次の多項式の全体を ''A''''n'' とおくことにより、次数つき多元環になる。

==関連項目==
* [[群論]]
* [[環論]]
* [[体論]]
* [[ベクトル空間]]
* [[加群]]

* [[群環]]
* [[リー環]]
* [[ジョルダン環]]
{{sci-stub}}

[[Category:多元環論|たけんかん]]
[[Category:代数的構造|たけんかん]]
[[Category:数学に関する記事|たけんかん]]

[[de:Algebra_(Struktur)]]
[[en:Algebra_over_a_field]]
[[es:Álgebra_sobre_un_cuerpo]]
[[fr:Algèbre_sur_un_corps]]
[[he:אלגברה_לא_אסוציאטיבית]]
[[it:Algebra_su_campo]]
[[nl:Algebra_(structuur)]]
[[pl:K-algebra]]

@@ 45行目: / 45行目: @@
 * [[ベクトル空間]]
 * [[加群]]
 * [[群環]]
 * [[リー環]]
 * [[ジョルダン環]]
 {{sci-stub}}
 [[Category:多元環論|たけんかん]]
@@ 56行目: / 56行目: @@
 [[en:Algebra_over_a_field]]

@@ 55行目: / 55行目: @@
 [[Category:数学に関する記事|たけんかん]]
 [[en:Algebra_over_a_field]]
-[[es:Álgebra_sobre_un_cuerpo]]
-[[fr:Algèbre_sur_un_corps]]
+<div style="margin:0.5em 0;background-color:#f6f6f6;border:1px solid #ccc;padding:3px;font-size:80%">
-[[he:אלגברה_לא_אסוציאטיבית]]
+このページは [http://ja.wikipedia.org/ Wikipedia日本語版]由来のコンテンツを利用しています。もとの記事は[http://ja.wikipedia.org/wiki/多元環 '''多元環''']にあります。執筆者のリストは[http://ja.wikipedia.org/w/index.php?title=多元環&amp;action=history '''履歴''']をご覧ください。
-[[it:Algebra_su_campo]]
+[[Yourpedia]]と同じく、[http://ja.wikipedia.org/wiki/Wikipedia Wikipedia]は[http://www.gnu.org/copyleft/fdl.html GFDLのライセンス]で提供されています。
-[[nl:Algebra_(structuur)]]
+コンテンツを再利用する際には同じくGFDLのライセンスを採用してください。
-[[pl:K-algebra]]
+</div>

多元環 - 変更履歴

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

2007年5月16日 (水) 18:33にキリカによる

キリカ: http://ja.wikipedia.org/w/index.php?title=多元環&oldid=9155082