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

2010-08-18T23:43:56Z

‎関連項目

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

2007-05-17T13:53:47Z

キリカ: http://ja.wikipedia.org/w/index.php?title=代数的構造&oldid=12557118

2007-05-17T13:53:13Z

http://ja.wikipedia.org/w/index.php?title=代数的構造&oldid=12557118

新規ページ

[[数学]]において、'''代数的構造'''（だいすうてきこうぞう、<em lang="en">algebraic structure</em>）とは[[集合]]に定まっている[[算法]]（演算ともいう）や[[作用 (数学)|作用]]によって決まる[[構造 (数学)|構造]]のことである。代数的構造の概念は、[[ニコラ・ブルバキ|ブルバキ]]によって数学全体を少数の概念によって見通しよく記述するために導入された。

また、代数的構造を持つ集合は'''代数系'''（だいすうけい、<em lang="en">algebraic system</em>）であるといわれる。すなわち、代数系というのは、[[集合]] ''A'' とそこでの[[算法]]（演算の規則）の族 ''R'' の組 (''A'', ''R'') のことを指す。逆に、具体的なさまざまな代数系から、それらが共通してもつ原理的な性質を抽出して抽象化・[[公理]]化したものが、代数的構造と呼ばれるのである。

なお、分野（あるいは人）によっては代数系そのもの、あるいは代数系のもつ算法族のことを[[代数的構造]]とよぶこともあるようである。後者は、代数系の代数構造とも呼ばれる。

現代では、[[代数学]]とは代数系を研究する[[学問]]のことであると捉えられている。

== 代数的構造の例 ==
* 一つの演算によって決まる代数的構造
** [[マグマ]] (Magma): 一つの[[二項演算]]の定義された集合。Groupoid（亜群）とも呼ばれることがあるが、これは別のものを表すこともある。
*** Quasi-group（擬群）: ''a'' × ''x'' = ''c'' であるような ''x'' が一意に決まるマグマ
**** Loop: [[単位元]] ''e'' を持つ Quasi-group。したがって、任意の元が逆元を持つマグマとも言える。
*** [[半群]]（準群 Semi-group）: [[結合法則]]を満たすマグマ
**** [[モノイド]]: 単位元を持つ半群
*** [[群]]: 任意の元が逆元を持つモノイド、もしくは結合法則を満たすLoop
**** [[アーベル群]]: [[交換法則|可換]]な群

{| border="1" align="center" style="text-align:center;"
! || 単位元 || 逆元 || 結合律 || 簡約律 || 可換性
|-
| 擬群 || × || × || × || ○ || ×
|-
| Loop || ○ || ○ || × || ○ || ×
|-
| 半群 || × || × || ○ || × || ×
|-
|モノイド|| ○ || × || ○ || × ||×
|-
| 群 || ○ || ○ || ○ || ○ || ×
|-
|アーベル群|| ○ || ○ || ○ || ○ ||○
|}

* 二つの演算によって決まる代数的構造
** [[環論|環]]: 加法に関してアーベル群であり、乗法に関して半群（またはモノイド）であり、[[分配法則]]を満たす。
** [[体 (数学)|体]]: 0 でない元が乗法に関して群（またはアーベル群）をなす環
* 演算と作用によって決まる構造
** 環上の加群: 環の作用するアーベル群
** [[ベクトル空間]]: 体上の加群
*** なお、[[算法]]の項に記す通り、加群やベクトル空間における環や体の作用も 1 項算法（単項算法）と捉えられるので、加群やベクトル空間や下記の多元環を、群や環と統一的に論ずることもできる。
* さらに複雑なもの
** 代数（[[多元環]]）: 乗法の定義された加群やベクトル空間
** 結合代数: 乗法が結合法則を満たす代数
** 可換代数: 乗法が可換な結合代数
** [[束論|束]]: 二つの演算が定義されている集合で、演算が[[冪等]]で可換で結合的で簡約律（吸収律）を満たすもの。これは順序的構造から定義することもできる。

一般的な代数的構造は[[普遍代数]]という数学の分野で研究される。代数的構造はまた、ほかの構造に加えて定義されることもある。位相群、位相線型空間、リー群はそのような例である。

どの構造も、それぞれに固有の[[準同型]]を持っている。このことを使って、それぞれの構造を満たすもの全体の[[圏論|カテゴリー]]を考えることができる。

== 構造の類と種 ==
代数系 (''A'', ''R'') と (''B'', ''S'') とは、それぞれの代数構造（算法族） ''R'' と ''S'' とが項数を込めて等しいか同一視できるとき、同類であるという（項数については[[算法]]の項参照）。
例えば[[群]]は、積だけを算法とする代数系とみなせば[[半群]]と同類であるが、各元にその逆元を対応させる写像も群の（単項の）算法に含めて考えると、半群とは同類ではない。
そして群をそのように半群と同類でない代数系として定義する方が、代数系の論としては正当で、理論上も便利なことがある（[[群|群論]]参照）。

また、環を加法と乗法を算法とする代数系とみなし、[[束論|束]]を結びと交わりを算法とする代数系とみなせば、加法 ''x'' + ''y'' と結び ''x'' &or; ''y'' 、乗法 ''x'' × ''y'' と交わり ''x'' &and; ''y'' とを同一視することによって、この両者は同類の代数系となる。

しかし、環における加法・乗法と束における結び・交わりとは、異なる法則に従う。
例えば、環での加法・乗法は分配律 ''x'' × (''y'' + ''z'') = (''x'' × ''y'') + (''x'' × ''z'') に従うが、束での結び・交わりは必ずしも分配律 ''x'' &and; (''y'' &or; ''z'') = (''x'' &and; ''y'') &or; (''x'' &and; ''z'') には従わない。
また、束での交わり・結びは冪等律 ''x'' &and; ''x'' = x, ''x'' &or; ''x'' = ''x'' に従うが、環での加法・乗法は冪等律 ''x'' × ''x'' = x, ''x'' + ''x'' = ''x'' に必ずしも従わない。

そこで、同類の代数系をさらに「それらの算法がどういう法則に従うか」によって分類して種に分けて、それぞれの種に属す代数系をまとめて抽象化して論ずるのが普通である。
歴史的には、半群・群・環・多元環・体・束などはそうやって出来た抽象概念である。

== 重要な概念 ==
代数系についての基本概念には、代数系の部分代数系（部分系）と、同種の代数系の間の[[準同型|準同形写像]]（準写）とがある。
代数学の一分科である[[線形代数学]]に例をとれば、[[線形空間]]が研究対象とする代数系に当たり、[[部分空間]]が部分系に当たり、[[線形写像]]が代数系間の準写に当たる。

代数系についての副次的概念には、生成系・[[直積集合|直積]]（[[直和]]）・[[同値関係|商]]・拡大・普遍性・表現等々がある。

== 算法の全域性・局所性 ==
実数すべてから成る集合とそこでの四則（加減乗除の算法、すなわち足し算・引き算・掛け算・割り算）との組は、典型的な代数系である。
この例では、足し算・引き算・掛け算は任意の二つの数の組について実行可能であるが、割り算は、0での割り算ができないという意味で''局所的''（あるいは''非全域的''）である。
代数系の算法には一般には、こういうような局所的（あるいは非全域的）算法も含まれる。
たとえば[[行列]]の足し算・掛け算も、あらゆるサイズの行列から成る集合での算法とみなせば、局所的である。

こういう局所的算法を含む代数系の理論は複雑であるので、数学の分野では避けられる傾向がある。たとえば行列の足し算・掛け算も、数学者の間でさえ、上記のような意味での局所的算法と捉えて説明されることは稀である。また、上記の実数と四則とから成る代数系は[[体 (数学)|体]]の典型であるが、体の概念も環の概念も、局所的算法である除法を用いないで説明するのが通例である。

一方で、[[数理論理学]]では、研究対象として[[形式言語]]を代数系の一種と捉えるが、形式言語における算法は局所的のものが一般的である。たとえば、述語論理学における形式言語である述語言語（論理式と項とから成る）では、論理記号 ∧, ∨, ￢, ⇒, ∀''x'', ∃''x'' は論理式に対してのみ実行可能な局所算法を表し、関数記号や述語記号は、項のみに対して実行可能な局所算法を表すと解される。
また、推論規則も局所的算法と解される。たとえば三段論法は、二つの論理式 ''A'' と ''A'' ⇒ ''B'' とから第三の論理式 ''B'' を導き出す推論規則であるが、これは、第二の論理式が ''A'' ⇒ ''B'' という特別な形のときだけ実行可能な局所算法と解される。

== 関連項目 ==
*[[圏論]]

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

[[ar:بنية جبرية]]
[[ca:Estructura algebraica]]
[[cs:Algebraická struktura]]
[[de:Algebraische Struktur]]
[[en:Algebraic structure]]
[[es:Estructura algebraica]]
[[eu:Egitura algebraiko]]
[[fr:Structure algébrique]]
[[he:מבנה אלגברי]]
[[it:Struttura algebrica]]
[[ko:대수적 구조]]
[[nl:Algebraïsche structuur]]
[[nn:Algebraisk struktur]]
[[oc:Estructura algebrica]]
[[pt:Estrutura algébrica]]
[[ru:Алгебраическая система]]
[[simple:Algebraic structure]]
[[sk:Algebrická štruktúra]]
[[sv:Algebraisk struktur]]
[[uk:Алгебраїчна система]]
[[zh:代数结构]]

@@ 83行目: / 83行目: @@
 == 関連項目 ==
 *[[圏論]]
 [[Category:代数的構造|* たいすうてきこうそう]]
@@ 88行目: / 89行目: @@
 [[en:Algebraic structure]]

@@ 87行目: / 87行目: @@
 [[Category:数学に関する記事|たいすうてきこうそう]]
 [[en:Algebraic structure]]
-[[es:Estructura algebraica]]
-[[eu:Egitura algebraiko]]
+<div style="margin:0.5em 0;background-color:#f6f6f6;border:1px solid #ccc;padding:3px;font-size:80%">
-[[fr:Structure algébrique]]
+このページは [http://ja.wikipedia.org/ Wikipedia日本語版]由来のコンテンツを利用しています。もとの記事は[http://ja.wikipedia.org/wiki/代数的構造 '''代数的構造''']にあります。執筆者のリストは[http://ja.wikipedia.org/w/index.php?title=代数的構造&amp;action=history '''履歴''']をご覧ください。
-[[he:מבנה אלגברי]]
+[[Yourpedia]]と同じく、[http://ja.wikipedia.org/wiki/Wikipedia Wikipedia]は[http://www.gnu.org/copyleft/fdl.html GFDLのライセンス]で提供されています。
-[[it:Struttura algebrica]]
+コンテンツを再利用する際には同じくGFDLのライセンスを採用してください。
-[[ko:대수적 구조]]
+</div>
-[[nl:Algebraïsche structuur]]
+[[Category:Wikipedia出典元の記事|{{PAGENAME}}]]
-[[nn:Algebraisk struktur]]
-[[oc:Estructura algebrica]]
-[[pt:Estrutura algébrica]]
-[[ru:Алгебраическая система]]
-[[simple:Algebraic structure]]
-[[sk:Algebrická štruktúra]]
-[[sv:Algebraisk struktur]]
-[[uk:Алгебраїчна система]]
-[[zh:代数结构]]

代数的構造 - 変更履歴

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

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

キリカ: http://ja.wikipedia.org/w/index.php?title=代数的構造&oldid=12557118