結合多元環

数学における(結合)線型環あるいは結合的代数または結合多元環(けつごうたげんかん、: associative algebra)は、結合的な環であって、かつそれと両立するような、何らかの上の線型空間(若しくはもっと一般の可換環上の加群)の構造を備えたものである。即ち、線型環 A は(結合律分配律を含む)幾つかの公理を満足する二項演算(内部演算)としての加法と乗法を備え、同時に乗法と両立するスカラー(体 K や環 R の元)による乗法(外部演算)を備える。

分野によっては、線型環が乗法単位元 1 を持つと仮定することが典型的である場合もある。このような余分の仮定を満たすことを明らかにする場合には、そのような線型環を単型線型環(単位的(結合)多元環)と呼ぶ。

厳密な定義

可換環 R を固定して考える。結合 R-代数とは、加法的に書かれたアーベル群 A であって、および R-加群の構造をともに備え、かつ環としての乗法が任意の rR, x, yA について

を満たすという意味で R-双線型となるものをいう。

結合代数 A単型あるいは単位的であるとは、

を如何なる xA についても満たすような元 1 ∈ A を持つことをいう。

結合代数 A が、それ自身環として可換ならば、A可換 R-代数と言う。

特別な R-加群として

R-加群 A から始めるならば、R-線型環 A は、R-双線型写像 m: A × AA; (x, y) ↦ xy で、A の任意の x, y, z について

を満たすものを持つ R-加群 A として定義される。この R-双線型写像が A に環の構造を与え、R-線型環の構造が入るのである。任意の R-線型環はこの方法で得られる。

さらにこのようにして得られた線型環 A が単型である必要十分な条件は

となることである。圏論的に述べれば、この定義は「単型 R-線型環は R-加群全体の成すモノイド圏 R-Mod におけるモノイド対象である」と言うに等しい。

特別な環として

A から始めるならば、単位的結合 R-多元環は、像が環 A中心に入る環準同型 η: RA によって与えられる。こうして得られる多元環 A は、任意の rR および xA に対して

と定めることにより R-加群の構造を持つ。

A が可換ならば、A の中心は A 自身と等しいから、可換 R-多元環は単に、可換環の準同型 η: RA によって定義することができる。

多元環準同型

R-結合多元環の間の準同型とは、R-線型な環準同型を言う。陽に書けば、二つの R-結合多元環 A1, A2 に対し、写像 φ: A1A2R-線型環準同型であるとは、任意の rR および x, yA1 に対して

を満たすことを言う。単位的 R-結合代数に対する準同型は、上記に加えてさらに

なることを要す。

単位的結合 R-代数の全てと、それらの間の全ての単位的結合代数準同型を合わせたものはを成し、R-Alg などで表される。可換 R-線型環の成す部分圏は、可換環の圏 CRing余スライス圏 R/CRing として特徴づけられる。

  • K に成分をとる n-次正方行列の全体は、K-上の単型線型環を成す。
  • 複素数の全体 C は、実数R 上二次元の単型線型環を成す。
  • 四元数の全体 H は、実数体 R 上の四次元単型線型環を成す(が、複素数体上の線型環にはならない。これは CH の部分集合と見做したとき、各複素数は任意の四元数と可換とは限らないからである)。
  • 平面上の変換として有用な、実二次正方行列の全体は線型環を成す。
  • 実係数多項式の全体 R[X] は、実数体 R 上の単型線型環を成す。
  • 任意のバナッハ空間 X に対し、連続線型作用素 A: XX の全体は、(作用素の合成を積として)単型線型環を成す。これはバナッハ線型環である。
  • 任意の位相空間 X に対し、X 上の実(または複素)数値連続函数の全体は、実(または複素)単型線型環を成す。ただし、ここでは函数の和と積は点ごとの演算で入れる。
  • 単型でない線型環の例の一つは、x → ∞ での極限が 0 となるような函数 f: RR 全体の成す集合によって与えられる。
  • クリフォード線型環幾何学および物理学において有用である。
  • 局所有限半順序集合隣接代数は、組合せ論で用いられる単型線型環である。
  • 任意の環 A を一意的な仕方で Z-線型環と見做すことができる。事実、1 を A の単位元へ写すということから環準同型 ZA が一意的に定まる。従って、環の概念と Z-線型環の概念とは同一の概念を定める(これは任意のアーベル群Z-加群とが同一の概念であることと同様である)。
  • 同様にして、標数 n の任意の環は (Z/nZ)-線型環になる。
  • 任意の環 A はその中心 Z(A)(及びその任意の部分環)上の線型環である。
  • 任意の可換環 R は自分自身あるいはその任意の部分環上の線型環である。
  • R-加群 M に対し、その自己準同型環 EndR(M) は (rφ)(x) := r(φ(x)) と定めて R-線型環となる。
  • 可換環 R に成分を持つ任意の全行列環は、行列の通常の和と乗法に関して R-線型環を成す。これはひとつ前の例で M が有限生成 R-自由加群である場合と考えられる。
  • 任意の多項式環 R[x1, …, xn] は可換 R-線型環である。実はこれは、集合 {x1, …, xn} 上の自由な可換 R-線型環である。
  • 集合 E 上の自由 R-線型環とは、R に係数を持ち、集合 E の元を非可換不定元とする非可換多項式全体の成す線型環のことである。
  • R-加群のテンソル代数は自然に R-代数になり、またその商代数である外積代数対称代数も同様である。圏論的な言葉で言えば、R-加群をそのテンソル代数へ写す函手R-代数を台となる R-加群へ写す函手(環構造を忘れる忘却函手)の左随伴である。
  • 可換環 R と任意の環 A に対し、環のテンソル積 RZ Ar(sa) := (rsa) と定めて R-多元環の構造が入る。ARZ A へ写す函手は、R-多元環をその台となる環へ写す函手(加群構造を忘れる忘却函手)の左随伴である。

構成法

部分線型環
R-線型環 A の部分線型環とは、A の部分集合であって、A部分環にも部分加群にもなっているようなものを言う。つまり部分線型環は、加法、環の乗法、スカラー乗法の何れについても閉じていて、かつ A の単位元を含まねばならない。
商線型環
R-線型環 A の任意の環論的な意味でのイデアル I は、r·x = (r1A)x ゆえ自動的に R-加群の構造を持つ。従って剰余環 A/I にも R-加群の構造が入って、実は R-線型環を成す。従って A の任意の環準同型像がまた R-線型環となることがわかる。
積線型環
R-線型環の族に対する直積とは、環としての直積を言う。得られる直積環に明らかな仕方でスカラー乗法を定めると、これはまた R-線型環を成す。
自由積線型環
群の自由積と同様にして R-線型環の自由積を構成することができる。線型環の自由積は、圏論的には R-線型環の余積である。
テンソル積線型環
二つの R-線型環のテンソル積は自然な仕方でふたたび R-線型環となる。詳細は多元環のテンソル積を参照。

結合性と乗法写像

上では結合性を A の全称量化された「元」を以って定義したが、元を陽に用いずに結合性を定義することも可能である。多元環を、線型空間 A 上の写像(乗法)

として定義する。このとき結合多元環は、写像 M

なる性質を満たすような多元環として定まる。ここで、記号 "∘" は写像の合成Id: AAA 上の恒等写像である。

これが上で与えた定義と同値な定義であることを見るには、上記等式の各辺が三つの引数をとる写像であることを理解するだけで十分である。例えば左辺は

として作用する。同様に単位的結合多元環は、単位写像

を定義することによって与えられる。これは

なる性質を満たすものである。ここで、単位写像 η は K の元 kA の元 k1, 即ち A の単位元 1 のスカラー k-倍へ写す。また写像 s はもともとの素のスカラー乗法 K × AA である。従ってスカラー乗法が陰伏的なものと理解するならば、上記の等式は s のところを Id に代えて記すこともある。

余代数

K 上の単位的結合代数は、二つの入力(乗数と被乗数)と一つの出力(積)を持つ A×AA と、乗法単位元のスカラー倍と同一視される射 KA とに基づくものである。これらの二つの射は圏論的双対性に従い、単位的結合代数の各公理を表す可換図式に現れる全ての矢印を逆にすることによって、双対化することができて、余代数の構造が定義される。

より抽象的な概念として F-余代数の概念もある。

多元環の表現論

多元環 A表現とは、A から適当なベクトル空間(または加群)V 上の一般線型環への線型写像 ρ: A → gl(V) で乗法演算を保つもの、即ち ρ(xy) = ρ(x)ρ(y) を満たすものを言う。

しかしこの時、線型環の表現のテンソル積を定義する自然な方法は存在せず、何らかの追加条件を課さねばならぬことに注意すべきである。ここで「表現のテンソル積」は通常の意味に解する(つまり、得られたテンソル積は、表現空間のテンソル積を表現空間に持つ線型表現を定めるべき)ものとする。そのような追加で課される構造から典型的にはホップ代数リー環の概念が導かれることを以下に述べる。

ホップ代数の導入

二つの表現、例えば σ: A → gl(V), τ: A → gl(W) を考える。テンソル積表現 ρ: x ↦ σ(x) ⊗ τ(x) を、テンソル積空間への作用が

から定められるものとして定めようとしても、kK に対して

となることから、このような ρ は線型ではない。この問題を回避して線型性を取り戻す方法の一つとして、付加構造として写像 Δ: AA × A を考え、テンソル積表現を

と定めることが考えられる。ただし Δ は余乗法である。こうして、双代数 (bialgebra) の概念が得られる。結合代数の定義との一貫性を持つためには、余代数は余結合的でなければならないし、代数が単位的ならば余代数も同様に単位的である必要がある。注意すべきは、双代数においては乗法と余乗法の間には関連が無くても構わないことである。そしてそれらの間の関係としてよく課される条件(対蹠を定めること)によってホップ代数の概念が構築される。

リー環の導入

テンソル積をより巧妙な仕方で定義する試みも考えることができて、例えば

と定めれば、テンソル積空間への作用が

から決まる。これは明らかに x に関して線型で、前節で述べたような問題は生じないのだが、しかしこれでは

だが一方

となり、これは一般には同じではないから、積を保存するという性質は失われる。しかしこれら二つは、積 xy が反対称であるとき(例えば積がリー括弧積、つまり xy = M(x, y) := [x, y] ならば)恒等的に一致する。こうして結合代数からリー環の概念が生じる。

参考文献

Read other articles:

Семенов Григорій Михайловичрос. Григорий Михайлович Семёнов Народження 13 (25) вересня 1890(1890-09-25)караул Куранжа, Дурулгуївська станиця, Забайкальська область, Російська імперіяСмерть 30 серпня 1946(1946-08-30) (55 років)Москва, СРСРповішенняКраїна  Російська імперіяРід військ З�...

 

Elvira NataliLahir25 Desember 1996 (umur 27)Jakarta, IndonesiaAlmamaterSMA Xaverius Bandar Lampung, Universitas Prasetiya MulyaPekerjaanpenulis, aktrisTahun aktif2014-sekarangSuami/istriBilly Marvel (adik)Orang tuaFrickvan (ayah) Christina Kurniati (ibu) Elvira Natali (lahir 25 Desember 1996) merupakan seorang aktris dan penulis novel berkebangsaan Indonesia.[1] Dia merupakan penulis novel Janji Hati yang menjadi best-seller di Indonesia. Selain itu, ia juga turut bermain d...

 

United States Navy Mk12 Special Purpose Rifle Sepucuk SPR Jenis Senapan runduk/Senapan penembak jitu Negara asal  Amerika Serikat Sejarah pemakaian Masa penggunaan 2002–sekarang Pada perang Perang Afganistan, Invasi Irak 2003 Spesifikasi Berat 10 pon (4,5 kg). (Fully loaded, w/heavy barrel, optic & 30 rounds) Panjang 37.5 Inci (952.5 mm) Panjang laras 18 Inci (457.2 mm) Peluru 5,56 x 45 mm NATO Mekanisme Operasi gas, Rotating bolt Kecepatan pelur...

1856 Lithograph of the Academical Village (Rotunda, Pavilions, and the Lawn) The history of the University of Virginia opens with its conception by Thomas Jefferson at the beginning of the early 19th century. The university was chartered in 1819, and classes commenced in 1825. 19th century Background Father of the University of Virginia, Thomas Jefferson was the first and only President of the United States to found an institution of higher learning. On January 18, 1800, Thomas Jefferson, the...

 

Révolution allemande de 1918-1919 Révolution de novembre 1918 à Berlin : un groupe de soldats brandissant le drapeau rouge, le 9 novembre à la porte de Brandebourg. Données clés Autre nom Révolution de novembre Date Hiver 1918 - printemps 1919 Lieu Allemagne Cause Défaite de l'Allemagne lors de la Première Guerre mondialeSoulèvements du Parti communiste d'Allemagne à Berlin et en Bavière Résultat Abdication de Guillaume II, fin de l'Empire allemand (en novembre 1918)Écrase...

 

Russian Paralympic biathlete Aleksandr IaremchukIaremchuk in 2021Personal informationNationalityRussianBorn (1995-02-19) 19 February 1995 (age 29)[1]Shangaly, Russia[1]SportSportBiathlonCross-country skiingAthleticsDisability classT46 (athletics)ClubArkhangelsk Regional Adaptive Sports SchoolCoached bySergey KodlozerovAmir GumerovIrina Gromova(all winter sports)Vyacheslav Sadovnikov (athletics) Medal record Para-athletics Representing  RPC Paralympic Games 2020 ...

Artikel ini bukan mengenai Huruf latin T atau huruf yunani Tau. Huruf Kiril Te Penggunaan Fonetis:[t]Nama:тврьдоNomor Kiril:300Sampel suaranoicon sumber · bantuan Alfabet KirilHuruf SlaviaАА́А̀А̂А̄ӒБВГҐДЂЃЕЕ́ÈЕ̂ЁЄЖЗЗ́ЅИИ́ЍИ̂ЙІЇЈКЛЉМНЊОŌПРСС́ТЋЌУУ́ У̀У̂ӮЎФХЦЧЏШЩЪЫЬЭЮЯHuruf non-SlaviaӐА̊А̃Ӓ̄ӔӘӘ́Ә̃ӚВ̌ҒГ̑Г̣Г̌ҔӺҒ̌ӶД̌Д̣Д̆ӖЕ̄Е̃Ё̄Є̈ӁҖӜҘӞЗ̌З̱З̣ԐԐ̈�...

 

Participation of Israel in the Eurovision Song Contest For the most recent participation, see Israel in the Eurovision Song Contest 2023. For the upcoming participation, see Israel in the Eurovision Song Contest 2024. Israel in the Eurovision Song Contest Participating broadcasterIsraeli Public Broadcasting Corporation (IPBC/Kan; 2018–) Former members Israel Broadcasting Authority (IBA; 1973–2017) Participation summaryAppearances45 (38 finals)First appearance1973Highest placement1st: 1978...

 

Pour les articles homonymes, voir Nero. Franco Nero Franco Nero au Festival du film de Fajr en 2018. Données clés Nom de naissance Francesco Clemente Giuseppe Sparanero Surnom Nero Spance Naissance 23 novembre 1941 (82 ans)San Prospero, Émilie-Romagne, Italie Nationalité Italienne Profession Acteur, réalisateur, scénariste, producteur de cinéma Films notables Django KeomaL'Exorciste du VaticanJonathan of the bears58 minutes pour vivre modifier Francesco Sparanero, dit Franco Nero...

War between the Habsburg monarchy and the Ottoman Empire in the 18th century 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: Austro-Turkish War 1716–1718 – news · newspapers · books · scholar · JSTOR (January 2024) (Learn how and when to remove this message) Austro-Turkish War (1716–1718)Part of Ott...

 

French racing driver 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: Jean-Louis Rosier – news · newspapers · books · scholar · JSTOR (July 2011) (Learn how and when to remove this message) Jean-Louis RosierBorn(1925-06-14)14 June 1925Clermont-Ferrand, FranceDied1 July 2001(2001-07-01) (aged 76)Clermont-...

 

2010 Bangladeshi filmAbujh BouDirected byArthik Sazib & Nargis AkhtarScreenplay byNargis AkhtarStory byRabindranath TagoreProduced byFaridur Reza SagorStarring Bobita Priyanka Ferdous Ahmed Nipun Akhtar Shakil Khan CinematographyShahidullah DulalEdited byMujibur Rahman DuluMusic bySujeo ShyamDistributed byImpress TelefilmRelease date 10 September 2010 (2010-09-10) (Bangladesh) Running time155 minutesCountryBangladeshLanguageBengali Abujh Bou (Bengali: অবুঝ ব�...

British politician (born 1958) The Right HonourableDame Caroline SpelmanDBEOfficial portrait, 2017Second Church Estates CommissionerIn office21 May 2015 – 12 December 2019Prime MinisterDavid CameronTheresa MayBoris JohnsonPreceded byTony BaldrySucceeded byAndrew SelousSecretary of State for Environment, Food and Rural AffairsIn office12 May 2010 – 4 September 2012Prime MinisterDavid CameronPreceded byHilary BennSucceeded byOwen PatersonChairman of the Conservative PartyI...

 

一中同表,是台灣处理海峡两岸关系问题的一种主張,認為中华人民共和国與中華民國皆是“整個中國”的一部份,二者因為兩岸現狀,在各自领域有完整的管辖权,互不隶属,同时主張,二者合作便可以搁置对“整个中國”的主权的争议,共同承認雙方皆是中國的一部份,在此基礎上走向終極統一。最早是在2004年由台灣大學政治学教授張亞中所提出,希望兩岸由一中各表�...

 

Gazakriget (2008–2009) Del av Konflikten mellan Gaza och Israel Engelskspråkig karta över Gazaremsan och Israel Ägde rum 27 december 2008–18 januari 2009 Plats Gazaremsan & Södra Israel Utfall Israel och Hamas deklarerar vapenvila separat. Antalet raketattacker från Gaza mot Israel minskade kraftigt [1] Stridande  Israel (IDF) Hamas Islamiska jihad[2] Popular Resistance Committees Befälhavare och ledare Ehud Barak Gabi Ashkenazi Yoav Gallant Ismail Haniya Mahmoud az-Z...

American football player (born 1988) American football player David MolkMolk with Michigan in 2010No. 60, 63Position:CenterPersonal informationBorn: (1988-12-15) December 15, 1988 (age 35)Palos Hills, Illinois, U.S.Height:6 ft 0 in (1.83 m)Weight:298 lb (135 kg)Career informationHigh school:Lemont (Lemont, Illinois)College:Michigan (2007–2011)NFL draft:2012 / Round: 7 / Pick: 226Career history San Diego Chargers (2012–2013) Philadelphia Ea...

 

Japanese manga series I Can’t Believe I Slept With You!Japanese cover for Volume 1一度だけでも、後悔してます。(Ichido Dake Demo, Kōkai Shitemasu.)GenreRomance[1]Slice of Life[1]Yuri[1] MangaWritten byMiyako MiyaharaPublished byASCII Media WorksEnglish publisherNA: Seven Seas EntertainmentMagazineDengeki DaiohDemographicShōnenOriginal runJune 27, 2019 – February 26, 2021Volumes3 I Can’t Believe I Slept With You! (一度だけでも、後�...

 

Boeing 737 MAX737 MAX adalah generasi keempat dari Boeing 737, re-engined dengan turbofan CFM LEAP-1B.TipePesawat jet berbadan sempitStatusDalam layananHarga satuan737-7: US$82 juta (Rp1,27 Triliun)[1] 737-8: US$100.5 juta (Rp1,55 Trilin)[1] 737-9: US$107.3 juta (Rp1,67 Triliun)[1]Acuan dasarBoeing 737 Next Generation Boeing 737 MAX Family adalah sebuah keluarga baru pesawat penumpang sipil (airliner) yang sedang dikembangkan oleh Boeing untuk menggantikan keluarga Boe...

Former President of the People's Republic of China In this Chinese name, the family name is Yang. Yang Shangkun杨尚昆Yang in 1960sPresident of ChinaIn office8 April 1988 – 27 March 1993PremierLi PengVice PresidentWang ZhenLeaderDeng XiaopingPreceded byLi XiannianSucceeded byJiang ZeminVice Chairman of the Central Military CommissionIn officeState Commission: 20 June 1983 – 28 March 1993 Party Commission: 12 September 1982 – 19 October 1992ChairmanDeng XiaopingJi...

 

Commune in Grand Est, France Commune in Grand Est, FranceBreitenbach-Haut-RhinCommuneNew town hall of Breitenbach Coat of armsLocation of Breitenbach-Haut-Rhin Breitenbach-Haut-RhinShow map of FranceBreitenbach-Haut-RhinShow map of Grand EstCoordinates: 48°01′27″N 7°06′05″E / 48.0242°N 7.1014°E / 48.0242; 7.1014CountryFranceRegionGrand EstDepartmentHaut-RhinArrondissementColmar-RibeauvilléCantonWintzenheimIntercommunalityVallée de MunsterGovernment �...