体上の多元環

数学において上の代数あるいは多元環(たげんかん、: algebra)とは、双線型な乗法を備えた線型空間である(ゆえに「線型環」ともいう)。すなわちベクトル空間とその上の乗法と呼ばれる二項演算——つまり二つのベクトルから第三のベクトルを作り出す操作——とからなり、乗法がベクトル空間の構造と(分配律などの)適当な意味で両立するような代数的構造である。したがって、体上の多元環は、加法と乗法および体の元によるスカラー倍とを演算として備えた集合である。

定義における係数の体を可換環に取り換えることにより、体上の多元環の一般化として環上の多元環の概念を得ることもできる。

文献によっては、単に「多元環」(あるいは「代数」)と言えば単位的結合多元環を指すこともあるが[1]、本項ではそのような制約は課さない。

定義と動機付け

簡単な例

任意の複素数は、実数 a, b虚数単位 i を用いて a + bi の形に一意的に書くことができる。言い換えれば、複素数は実数体上のベクトル (a, b) として表現できる。したがって複素数の全体は二次元の実ベクトル空間をなし、加法とスカラー乗法は a, b, c, d を実数として、(a, b) + (c, d) = (a + c, b + d) および c(a, b) = (ca, cb) で与えられる。ここで、二つのベクトルの積を記号 "⋅" で表すことにすれば、複素数の積は (a, b)⋅(c, d) = (acbd, ad + bc) によって定義される。

以下の主張は複素数の基本性質である。ここで z1, z2, z3 は複素数、α は実数を表すものとする。

  • 複素数の乗法は複素数の加法に対して分配的である: (z1 + z2)z3 = z1z3 + z2z3.
  • 複素数の乗法は実数によるスカラー乗法と可換である: (αz1)z2 = α(z1z2) = z1(αz2).

この例は、次節における体 K として実数全体の成す体 R をとり、ベクトル空間 A として複素数の全体を考えたときに適合する。

定義

KAK 上のベクトル空間で付加的な二項演算 "⋅": A × AA, (x, y) ↦ xy を持つものとする(x, yA の任意の元とするとき、xy をそれらのと呼ぶ)。このとき、AK 上の多元環であるとは、A の任意の元 x, y, zK の任意の元(スカラーα について、以下の条件

  • 分配律: (x + y) z = xz + yz
  • 右分配律: x(y + z) = xy + xz
  • スカラー律: (αx)y = α(xy) = x(αy)

を満足するときに言う[2]。このときの二項演算 "" は、ふつう A 上の乗法と言い、これらの三公理はまとめて、乗法の双線型性と呼ばれる。K 上の多元環は、短く K-多元環とも呼び、また K は多元環 A係数体 (scalar field) または基礎体 (base field, ground field) という。

本項においては、規約として多元環の元の乗法が結合的であることは仮定しないが、文献によっては結合的なものを単に「多元環」と呼んでいる場合があるので注意を要する。

また、(先の複素数の例などのように)ベクトル空間の上の乗法が可換であるときには、左分配性と右分配性とはまったく一致する条件であるが、一般に非可換である場合には(後述する四元数の例のように)両条件は同値ではない。したがって、これらは別々に要請されるべき公理であることに注意を要する。

動機付けとなる例

実数全体 R を一次元ベクトル空間と見ると、乗法と両立するから、自分自身の上の一次元多元環になる。先ほどは複素数の全体が実数体 R 上の二次元ベクトル空間で、さらに R 上の二次元多元環となることを見た。これらはともに、任意の非零ベクトル逆元を持つ。同様にして三次元の実ベクトル空間で、任意の非零元が逆元を持つようなもの(多元体)はあるかと問うのは自然なことであるが、答えは否定的である(ノルム多元体を参照)。

実三次元の(多元体)は存在しないが、1843年にハミルトンにより定義された四元数の全体には乗法だけでなく除法も定義できる。これは今日では実四次元の多元体の例として有名である。任意の四元数を (a, b, c, d) = a + bi + cj + dk のように書くことができる。複素数の場合と異なり、四元数の全体は非可換多元環の例を与える(例えば ij = k だが ji = −k である)。する(注:近年は体の定義として加法と乗法について可換であることを課すのが普通となり、四元数のような非可換の乗法を持つ環の場合には除法が定義できても「体(field)」であるとは云わずに「斜体(skew field)」と称して体には含めなくなってきている。)[要出典]

四元数のほかにも、体上の多元環の簡単な例として超複素数系がいくつか得られる。

基本概念

多元環の準同型

K-多元環 A, B に対して、K-多元環の準同型 (algebra homomorphism) とは、K-線型写像 f: AB であって、A の任意の元 x, y について f(xy) = f(x)f(y) を満たすものを言う。K-多元環全体の成す空間はしばしば

のように書かれる。K-多元環の同型とは全単射K-多元環の準同型を言う。互いに同型な多元環は実際上は表し方が違うだけの同じものであると考えられる。

部分多元環とイデアル

K 上の多元環の部分多元環 (subalgebra) とは、部分線型空間であって、さらにその空間の任意の二元の積がふたたびその空間に属するようなものを言う。言い換えれば、部分多元環は加法と乗法及びスカラー乗法に関して閉じているような部分集合である。記号で書けば、K-多元環 A の部分集合 L が部分多元環であるとは、任意の x, yLcK に対して xy, x + y, cxL が成り立つことである。

先の複素数の例を実数体上二次元の多元環と見做せば、実数直線は一次元の部分多元環になる。

K-多元環の左イデアル (left ideal) は、部分線型空間であって、その空間の各元に多元環の任意の元を左から掛けて得られる元が常にその空間に属するという性質を持つものを言う。記号で書けば、K-多元環 A の部分集合 L が左イデアルであるとは、L の任意の元 x, yA の任意の元 z および K の任意の元について、以下の条件

  1. 加法の閉性: x + yL
  2. スカラー乗法の閉性: cxL
  3. 任意左乗法の閉性: zxL

をすべて満足することをいう。最後の条件を「任意右乗法の閉性 xzL」に取り換えれば右イデアル (right ideal) の定義を得る。両側イデアル (two-sided ideal) は左イデアルでも右イデアルでもあるような部分集合を言う。単に「イデアル」と言った時には、両側イデアルの意味であるのが普通である。もちろん、多元環が可換であるときには、これらのイデアルの概念はいずれも一致してしまうので、この場合は単にイデアルと呼ぶ。上二つの条件は LA の部分線型空間であることを言うものであることを指摘しておく。また最後の条件からは、任意の左および右イデアルが部分多元環となることがわかる。

いま定義したイデアルの概念が、環のイデアルとは異なる概念であることに留意することは重要である(スカラー倍に関する条件が加わっている)。もちろん、考える多元環が単型であるときには、スカラー倍に関する条件は最後の条件に含まれる。

係数拡大

係数体 K を含むより大きな体 F, すなわち体の拡大 F/K が与えられたとき、自然な仕方で K 上の多元環から F 上の多元環が構成できる。これはベクトル空間の係数体をより大きな体に取り換えるのと同じ構成法、つまりテンソル積 VF = VK F を作ることで与えられる。つまり、AK 上の多元環ならばテンソル積 AF = AK FF 上の多元環である。

多元環の種類と例

体上の多元環にはいくつか種類がある。以下に挙げる多元環の種類はある種の公理、例えば一般の多元環の定義には含まれていない乗法の可換性結合性など、を追加で要求することで特定される。これらの多元環についての理論は、それぞれの多元環の種類によって、大きく趣を異にするものとなる。

単位的多元環

多元環が単位的または単型 (unital, unitary) であるとは、それが単位元または単元を持つことを言う。すなわち、多元環の元 I が存在して、全ての元 x に対して Ix = x = xI を満たす。単位元を持たない多元環はある標準的な方法で構成される単位的な多元環に余次元1のイデアルとして含まれる[3]

零多元環

多元環が零多元環 (zero algebra) とは、任意の元 u, v に対して uv = 0 となることを言う[4]。ただ一つの元からなる多元環(自明な多元環)を零(多元)環と呼ぶこともある(それはいま言う意味での零環でもある)が、混同してはならない。零環は本質的に(自明環でなければ)単位的でなく、しかし結合的かつ可換である。

単型零環 (unital zero algebra) は、体(あるいはより一般の環)kk-線型空間(加群)V との直和をとり、V の二元の積が常に零ベクトルであるものと定めて得られる。即ち、λ, μk および u, vV ならば (λ + u)(μ + v) = λμ + (λv + μu) となる。e1, …, edV の基底であるとすれば、単型零環は多項式環 k[e1, …, en] の全ての対 (i, j) に対する eiej の全体が生成するイデアルによる剰余環である。

単型零環の一例として、二元数 RR とその上の一次元ベクトル空間から得られる単型 R-零環である。

これら単型零環は、多元環の任意の一般性質を線型空間加群の性質に読み替えることができる点でより一般に有効な概念である。例えば、ブルーノ・ブッフバーガー英語版が導入したグレブナ基底は、体上の多項式環 R = k[x1, …, xn] のイデアルに対する生成系の理論であるが、自由 R-加群上の単型零環の構成を考えることによって、自由加群の部分加群に対するグレブナ基底の理論を直接的な拡張として持ち込むことができる。この拡張は、部分加群のグレブナ基底の計算に関して、何らの修正を経ることなく、イデアルのグレブナ基底計算のアルゴリズムやソフトウェアをそのまま使うことを許す。

結合多元環

非結合多元環

K 上の非結合代数[5]あるいは分配多元環とは、K-線型空間 A とその上の K-双線型写像 A × AA の組を言う。ここで「非結合的」というのは、結合性を仮定しないという意味であって、結合的であることを排除しない。即ち、「非可換」が「必ずしも可換でない」の意味であるのと同様に、ここでの非結合的」は「必ずしも結合的でない」の意味である。

以下、個別の項目において詳述する:

環と多元環

単位元を持つ結合的 K-多元環の定義は、しばしば別なやり方で与えられる。この場合の体 K 上の多元環とは、 A であって、その像が中心に含まれている環準同型

を備えるものを言う。ηA が体上定義された環準同型であるということは、A は自明環かさもなくば ηA単射である。この定義は、スカラー乗法を

で定めて、定義節で与えた定義と同値になることが確かめられる。このようにして二つの単位的 K-結合多元環が与えられたとき、単位的 K-多元環準同型 f: AB とは、環準同型であってさらにスカラー乗法と可換、すなわち K の各元 kA の各元に対して

を満たすものを言う。言い換えれば、図式

を可換にする環準同型 f を多元環の準同型と呼ぶのである。

構造係数

体上の多元環 A に対し、その双線型な乗法 A × AAA基底元の間の積を求めれば完全に決まる。逆に、A の基底を選んでおいて、その間の積を任意に定めるならば、それを延長して A 上の双線型な演算が一意的に定まり、それは多元環の積の条件を満足する。

従って、与えられた体 K に対する任意の多元環は、同型を除いて、その次元 nn3-個の構造係数 ci,j,k と呼ばれる特定のスカラーを与えることによって決定される。ここで、構造係数というのは、A 上の乗法を

なる規則によって完全に決定するものである。ただし、e1, …, enA の基底とする。構造係数に課される条件は、次元 n無限大であるときには、この和が(状況に応じて適当な意味で)常に収斂することだけである。

構造係数のいくつか異なる組に対して、同型な多元環が生じ得ることは留意すべきである。

多元環が計量を備えているときには、構造係数の添字は上付きと下付きに書いて、座標変換に対するそれらの変換規則を区別する。具体的には、数理物理において、下付き添字は共変添字で、引き戻し英語版を通じて変換し、他方上付き添字は反変添字で、押し出しのもとで変換するので、このとき構造係数は ci,jk と書かれ、またアインシュタインの縮約記法を用いるなら定義式は

eiej = ci,jk ek

と書くことができる。ベクトルの成分に関する添字記法を用いるならば、これは

(xy)k = ci,jkxiyj

と書くこともできる。

K が単に可換環であって体を成さない場合、同様の過程は A自由加群であるときに限れば通用する。そうでなくとも、A の乗法は A を生成する集合上の作用が決まるならばやはり完全に決めることができるが、しかしこの場合には構造係数を任意に決めるということはできず、構造係数から同型を除いて多元環を決定するということも可能にはならない。

低次元多元環の分類

複素数体上の二次元、三次元、および四次元の単型結合多元環(線型環)はエドゥアルト・シュトゥーディ英語版によって、同型を除く完全な分類が知られている[6]

二次元の多元環は二種類で、何れの多元環も単位元 1 ともう一つの元 a の二つの基底元の複素係数線型結合からなる。単位元の定義から

は確定しているから、残るは a2 を特定すれば決まり、

の二種である。

三次元の多元環は五種類で、各多元環は単位元 1 とほかに a, b 二つの基底元の複素係数線型結合からなる。単位元の定義を勘案すれば、各々の多元環は以下のように特定できる。

これらのうち四番目は非可換だが、他はみな可換である。

注記

  1. ^ Hazewinkel et al. 2004, pp. 2–3.
  2. ^ Schafer 1966, p. 1.
  3. ^ Schafer 1966, p. 11.
  4. ^ Schafer 1966, p. 2.
  5. ^ Schafer 1966.
  6. ^ Study, E. (1890), “Über Systeme complexer Zahlen und ihre Anwendungen in der Theorie der Transformationsgruppen”, Monatshefte für Mathematik und Physik 1 (1): 283–354, doi:10.1007/BF01692479, JFM 22.0387.02 

参考文献

関連項目

Read other articles:

Sylvia Garcia Sylvia Rodriguez Garcia[1] (lahir 6 September 1950) adalah seorang politikus Amerika Serikat yang menjabat sebagai anggota DPR sejak 2019. Ia adalah anggota Partai Demokrat. Referensi ^ Archived copy. Diarsipkan dari versi asli tanggal 2019-06-23. Diakses tanggal 2019-06-23.  Parameter |url-status= yang tidak diketahui akan diabaikan (bantuan) Pranala luar Wikimedia Commons memiliki media mengenai Sylvia Garcia. Congresswoman Sylvia Garcia official U.S. House w...

 

Mexican grocery and retail chain This article may require copy editing for grammar, style, cohesion, tone, or spelling. You can assist by editing it. (February 2024) (Learn how and when to remove this template message) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Soriana – news · newspapers · books · scholar...

 

العلاقات البنينية المالطية بنين مالطا   بنين   مالطا تعديل مصدري - تعديل   العلاقات البنينية المالطية هي العلاقات الثنائية التي تجمع بين بنين ومالطا.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه المقارنة بنين مالطا ال�...

Voce principale: Reggina 1914. Associazione Sportiva RegginaStagione 1946-1947Sport calcio Squadra Reggina Allenatore Luigi Rossetto Presidente Francesco Romeo Serie C3º posto girone C Lega Sud 1945-1946 1947-1948 Si invita a seguire il modello di voce Questa pagina raccoglie i dati riguardanti l'Associazione Sportiva Reggina nelle competizioni ufficiali della stagione 1946-1947. Indice 1 Stagione 2 Rosa 3 Risultati 3.1 Serie C 3.1.1 Girone di andata 3.1.2 Girone di ritorno 3.1.3 Spare...

 

Pinksterlanddagen Tot Vrijheidsbezinning in AppelschaGenreAnarchist festivalFrequencyAnnualLocation(s)Appelscha,  FrieslandCoordinates52°57′08″N 06°19′46″E / 52.95222°N 6.32944°E / 52.95222; 6.32944Years active99 yearsInaugurated28 June 1924 (1924-06-28)Most recent8 June 2019 (2019-06-08) – 9 June 2019 (2019-06-09)Next event2021Organised byFoundation for the Freedom of ContemplationWebsitepinksterlanddagen...

 

Kabupaten Boven DigoelKabupatenMonumen patung Mohammad Hatta LambangMotto: Nup Bagen Ngup BagenepPetaKabupaten Boven DigoelPetaTampilkan peta Maluku dan PapuaKabupaten Boven DigoelKabupaten Boven Digoel (Indonesia)Tampilkan peta IndonesiaKoordinat: 6°S 140°E / 6°S 140°E / -6; 140Negara IndonesiaProvinsiPapua SelatanTanggal berdiri25 Oktober 2002Dasar hukumUU Nomor 26 Tahun 2002[1]Ibu kotaTanah MerahJumlah satuan pemerintahan Daftar Distrik: 20Kamp...

Islas San Juan San Juan Islands Las islas San Juan desde el monte Constitution (isla Orcas) mirando hacia Seattle, con el monte Rainier en el fondo, apenas visible en la nieblaUbicación geográficaArchipiélago Archipiélago de San JuanMar Océano PacíficoEstrecho Estrecho de Georgia- Estrecho de Juan de FucaContinente América del NorteCoordenadas 48°31′55″N 123°01′45″O / 48.532066, -123.029251Ubicación administrativaPaís  Estados UnidosDivisión  Wash...

 

Pour les articles homonymes, voir Magnan. Pierre MagnanAu tournant du XXIe siècleBiographieNaissance 19 septembre 1922Manosque (France)Décès 28 avril 2012 (à 89 ans)Voiron (France)Sépulture Cimetière de Revest Saint Martin (d)Nom de naissance Pierre Marius Émile MagnanNationalité françaiseActivité RomancierAutres informationsGenre artistique Roman policierDistinction Prix du Quai des Orfèvres 1978 Prix Mystère de la critique 1985Œuvres principales Le Sang des Atrides La Mai...

 

Fianna Fáil – Parti républicain (en) Fianna Fáil – The Republican Party(ga) Fianna Fáil – An Páirtí Poblachtánach Logotype officiel. Présentation Chef Micheál Martin Fondation 23 mars 1926 Scission de Sinn Féin Siège 65–66 Lower Mount Street Dublin (Irlande) Fondateur Éamon de Valera Mouvement de jeunesse Ógra Fianna Fáil Positionnement Centre droit[1] Idéologie Nationalisme irlandais Démocratie chrétienne Conservatisme Populisme Europhilie Troisième voie Affiliatio...

For other uses, see Northeast Coast campaign. Fort Halifax (Maine) vteSeven Years' War in North America: The French and Indian War, Atlantic theater 1st Northeast Coast Cape Ray Chignecto Bay of Fundy Petitcodiac 2nd Northeast Coast 1st Lunenburg 1st Louisbourg Bloody Creek 2nd Lunenburg 2nd Louisbourg Petitcodiac River Ile Saint-Jean Gulf of St. Lawrence Cape Sable St. John River Restigouche St. John's The Northeast Coast campaign (1756) occurred during the French and Indian War, in which th...

 

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada November 2022. Edno Roberto CunhaInformasi pribadiTanggal lahir 31 Mei 1983 (umur 40)Tempat lahir BrasilPosisi bermain PenyerangKarier senior*Tahun Tim Tampil (Gol)2013 Cerezo Osaka * Penampilan dan gol di klub senior hanya dihitung dari liga domestik Edno Robe...

 

عشوائيةمعلومات عامةصنف فرعي من ارتياب تسبب في excitement (en) النقيض determinism (en) انتظام تعديل - تعديل مصدري - تعديل ويكي بيانات العشوائية أو العشاوة[1] (بالإنجليزية: Randomness)‏ كلمة مشتقة من فعل عَشُوَ وعَشَا عَشْوًا;[2] وتعني من ساء بصره بالليل والنهار أو من أبصر بالنهار ولم يبص�...

莎拉·阿什頓-西里洛2023年8月,阿什頓-西里洛穿著軍服出生 (1977-07-09) 1977年7月9日(46歲) 美國佛羅里達州国籍 美國别名莎拉·阿什頓(Sarah Ashton)莎拉·西里洛(Sarah Cirillo)金髮女郎(Blonde)职业記者、活動家、政治活動家和候選人、軍醫活跃时期2020年—雇主內華達州共和黨候選人(2020年)《Political.tips》(2020年—)《LGBTQ國度》(2022年3月—2022年10月)烏克蘭媒�...

 

Japanese manga series by Kozueko Morimoto and its adaptations GokusenManga volume 1 cover, featuring Kumiko YamaguchiごくせんGenreComedy[1][2]Martial arts[2]Yakuza[1][2] MangaWritten byKozueko MorimotoPublished byShueishaImprintYou ComicsMagazineYouDemographicJoseiOriginal run2000 – 2007Volumes15 Television dramaDirected byTōya SatōTarō ŌtaniNaoharu Takahashi (S1)Tomoaki Watanabe (S2)Manami Yamashita (S3)Produced byShōshun...

 

Untuk artikel mengenai seluruh ayam, lihat Gallus. Untuk artikel mengenai topi, lihat Ayam (topi). Ayam Ayam domestik jantan Status konservasi Risiko Rendah  (IUCN 3.1) Klasifikasi ilmiah Kerajaan: Animalia Filum: Chordata Kelas: Aves Ordo: Galliformes Famili: Phasianidae Genus: Gallus Spesies: Gallus gallus Subspesies: Gallus gallus domesticus (Linnaeus, 1758) Peta Persebaran Ayam Ayam (Gallus gallus domesticus) adalah binatang unggas dari ordo Galliformes[1] yang biasa dipeliha...

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Lajpat Nagar – news · newspapers · books · scholar · JSTOR (August 2012) (Learn how and when to remove this message) Neighborhood of Delhi in South East Delhi, IndiaLajpat NagarNeighborhood of DelhiLajpat NagarLocation in Delhi, IndiaCoordinates: 28°34′05″...

 

Universitas Negeri Nama Universitas (dalam Bahasa Inggris) Nama Universitas ( dalam Bahasa Polandia (singkatan)) Lokasi Didirikan Universitas Białystok Uniwersytet w Białymstoku fakultas: Fakultas Biologi, Kimia, Ekonomi, Pendidikan, Sejarah, Hukum, Matematika, Filologi , Fisika, Psikologi, Sosiologi, Teologi Białystok 1997 Universitas Casimir Uniwersytet Kazimierza Wielkiego w Bydgoszczy, UKW Fakultas Ilmu Budaya Fakultas Matematika, Fisika dan Ilmu Teknik Ilmu alam Fakultas Pedagogi dan...

 

Olympic athletics event Women's marathonat the Games of the XXXII OlympiadOlympic AthleticsVenueSapporoDate7 August 2021Competitors88 from 44 nationsWinning time2:27:20Medalists Peres Jepchirchir  Kenya Brigid Kosgei  Kenya Molly Seidel  United States← 20162024 → Athletics at the2020 Summer OlympicsQualificationTrack events100 mmenwomen200 mmenwomen400 mmenwomen800 mmenwomen1500 mmenwomen5000 mmenwomen10,000 mmenwomen100 m hurdleswomen110 m hurdl...

Maratha princely state in the British Raj Aundh State1699–1948 FlagAundh State in the Imperial Gazetteer of IndiaHistory • Established 1699• Independence of India 1948 Area19411,298 km2 (501 sq mi)Population• 1941 88,762 Preceded by Succeeded by Maratha Empire India Today part ofMaharashtra, India This article incorporates text from a publication now in the public domain: Chisholm, Hugh, ed. (1911). Aundh. Encyclopædia Britannica (11t...

 

Jean-Paul Delevoye Jean-Paul Delevoye en 2013. Fonctions Haut-commissaire aux Retraites 3 septembre – 16 décembre 2019(3 mois et 13 jours) Président Emmanuel Macron Premier ministre Édouard Philippe Ministre Agnès Buzyn Gouvernement Philippe II Prédécesseur Fonction crééeLui-même (haut-commissaire à la Réforme des retraites) Successeur Laurent Pietraszewski (secrétaire d'État) Haut-commissaire à la Réforme des retraites 14 septembre 2017 – 3 septembre 2019(1 ...