Kompleks Amitsur - Riwayat revisi

Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

2026-08-25T09:04:09Z

Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

← Revisi sebelumnya		Revisi per 25 Agustus 2026 09.04
Baris 1:		Baris 1:
	Dalam aljabar, '''kompleks Amitsur''' adalah [[kompleks rantai\|kompleks]] alami yang terkait dengan [[homomorfisme gelanggang]]. Kompleks ini diperkenalkan oleh Shimshon Amitsur. Ketika homomorfisme dikatakan ''[[Wikipedia:PDMA/MTK#faithfully flat\|datar dan setia]]'' (), maka kompleks Amitsur adalah eksak (yang menentukan resolusi) dasar dari teori [[penurunan rata tepat]].		Dalam aljabar, '''kompleks Amitsur''' adalah [[kompleks rantai\|kompleks]] alami yang terkait dengan [[homomorfisme gelanggang]]. Kompleks ini diperkenalkan oleh Shimshon Amitsur. Ketika homomorfisme dikatakan ''[[Wikipedia:PDMA/MTK#faithfully flat\|datar dan setia]]'' (), maka kompleks Amitsur adalah eksak (yang menentukan resolusi) dasar dari teori [[penurunan rata tepat]].

	Gagasan tersebut seharusnya dipandang sebagai mekanisme untuk melampaui konvensional [[lokalisasi gelanggang dan modul]].		Gagasan tersebut seharusnya dipandang sebagai mekanisme untuk melampaui konvensional [[lokalisasi gelanggang dan modul]].<ref>[https://id.wikipedia.org/w/index.php?title=Kompleks+Amitsur&oldid=28437874 sumber pada Wikipedia bahasa Indonesia]</ref>

	== Definisi ==		== Definisi ==
Baris 8:		Baris 8:
	Kemudian, definisikan degenerasi <math>s^i\colon S^{\otimes n+1} \to S^{\otimes n}</math> dengan mengalikan ke-''i'' dan titik-(''i' ' + 1):		Kemudian, definisikan degenerasi <math>s^i\colon S^{\otimes n+1} \to S^{\otimes n}</math> dengan mengalikan ke-''i'' dan titik-(''i' ' + 1):
	:<math>s^i(x_0 \otimes \cdots \otimes x_n) = x_0 \otimes \cdots \otimes x_i x_{i+1} \otimes \cdots \otimes x_n.</math>		:<math>s^i(x_0 \otimes \cdots \otimes x_n) = x_0 \otimes \cdots \otimes x_i x_{i+1} \otimes \cdots \otimes x_n.</math>
	Definisi-definisi di atas memenuhi identitas sederhana "jelas", dan dengan demikian, <math>S^{\otimes \bullet + 1}</math> adalah himpunan kosimplisial. Hal tersebut menentukan kompleks dengan augumentasi <math>\theta</math> pada '''kompleks Amitsur''':		Definisi-definisi di atas memenuhi identitas sederhana "jelas", dan dengan demikian, <math>S^{\otimes \bullet + 1}</math> adalah himpunan kosimplisial. Hal tersebut menentukan kompleks dengan augumentasi <math>\theta</math> pada '''kompleks Amitsur''':<ref>[https://id.wikipedia.org/w/index.php?title=Kompleks+Amitsur&oldid=28437874 sumber pada Wikipedia bahasa Indonesia]</ref>
	:<math>0 \to R \,\overset{\theta}\to\, S \,\overset{\delta^0}\to\, S^{\otimes 2} \,\overset{\delta^1}\to\, S^{\otimes 3} \to \cdots</math>		:<math>0 \to R \,\overset{\theta}\to\, S \,\overset{\delta^0}\to\, S^{\otimes 2} \,\overset{\delta^1}\to\, S^{\otimes 3} \to \cdots</math>
	dengan <math>\delta^n = \sum_{i=0}^{n+1} (-1)^i d^i.</math>		dengan <math>\delta^n = \sum_{i=0}^{n+1} (-1)^i d^i.</math>

	== Ketepatan kompleks Amitsur ==		== Ketepatan kompleks Amitsur ==

	=== Kasus ''faithfully flat'' ===		=== Kasus ''faithfully flat'' ===
	Dalam notasi di atas, jika <math>\theta</math> adalah rata tepat kanan, maka teorema [[Alexander Grothendieck]] menyatakan bahwa kompleks (imbuhan) <math>0 \to R \overset{\theta}\to S^{\otimes \bullet + 1}</math> adalah eksak dan karenanya adalah resolusi. Lebih umum, jika <math>\theta</math> adalah rata tepat kanan, maka ''M'' untuk setiap modul kiri-''R'',		Dalam notasi di atas, jika <math>\theta</math> adalah rata tepat kanan, maka teorema [[Alexander Grothendieck]] menyatakan bahwa kompleks (imbuhan) <math>0 \to R \overset{\theta}\to S^{\otimes \bullet + 1}</math> adalah eksak dan karenanya adalah resolusi. Lebih umum, jika <math>\theta</math> adalah rata tepat kanan, maka ''M'' untuk setiap modul kiri-''R'',
	:<math>0 \to M \to S \otimes_R M \to S^{\otimes 2} \otimes_R M \to S^{\otimes 3} \otimes_R M \to \cdots</math>		:<math>0 \to M \to S \otimes_R M \to S^{\otimes 2} \otimes_R M \to S^{\otimes 3} \otimes_R M \to \cdots</math>
	adalah eksak.		adalah eksak.<ref>[https://id.wikipedia.org/w/index.php?title=Kompleks+Amitsur&oldid=28437874 sumber pada Wikipedia bahasa Indonesia]</ref>

	''Bukti'':		''Bukti'':
Baris 44:		Baris 43:

	==Catatan==		==Catatan==


	~~== Referensi ==~~


	==Bibliografi==		==Bibliografi==
	*		*
	*		*
	*		*
	*		*

			== Referensi ==
			<references />

	== Sumber dan atribusi ==		== Sumber dan atribusi ==

	Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Kompleks+Amitsur&oldid=28437874 Wikipedia bahasa Indonesia], revisi 28437874 (2025-11-13T02:54:03Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.		Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Kompleks+Amitsur&oldid=28437874 Wikipedia bahasa Indonesia], revisi 28437874 (2025-11-13T02:54:03Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

			<!-- WIKI_UNISSULA_PRESENTATION_V4 -->

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28437874; atribusi sumber disertakan.

2026-08-25T08:37:15Z

Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28437874; atribusi sumber disertakan.

Halaman baru

Dalam aljabar, '''kompleks Amitsur''' adalah [[kompleks rantai|kompleks]] alami yang terkait dengan [[homomorfisme gelanggang]]. Kompleks ini diperkenalkan oleh Shimshon Amitsur. Ketika homomorfisme dikatakan ''[[Wikipedia:PDMA/MTK#faithfully flat|datar dan setia]]'' (), maka kompleks Amitsur adalah eksak (yang menentukan resolusi) dasar dari teori [[penurunan rata tepat]].

Gagasan tersebut seharusnya dipandang sebagai mekanisme untuk melampaui konvensional [[lokalisasi gelanggang dan modul]].

== Definisi ==
Misal <math>\theta\colon R \to S</math> adalah homomorfisme dari gelanggang yang tidak memerlukan sifat komutatif. Untuk memulainya, yang harus dilakukan pertama adalah mendefinisikan [[himpunan kosimplisial]] <math>C^\bullet = S^{\otimes \bullet+1}</math> (dengan <math>\otimes</math> merujuk pada <math>\otimes_R</math>, bukan <math>\otimes_{\Z}</math>). Kemudian, definisikan wajah peta <math>d^i\colon S^{\otimes {n+1}} \to S^{\otimes n+2}</math> dengan menyisipkan 1 pada titik ke-''i'' :
:<math>d^i(x_0 \otimes \cdots \otimes x_n) = x_0 \otimes \cdots \otimes x_{i-1} \otimes 1 \otimes x_i \otimes \cdots \otimes x_n.</math>
Kemudian, definisikan degenerasi <math>s^i\colon S^{\otimes n+1} \to S^{\otimes n}</math> dengan mengalikan ke-''i'' dan titik-(''i' ' + 1):
:<math>s^i(x_0 \otimes \cdots \otimes x_n) = x_0 \otimes \cdots \otimes x_i x_{i+1} \otimes \cdots \otimes x_n.</math>
Definisi-definisi di atas memenuhi identitas sederhana "jelas", dan dengan demikian, <math>S^{\otimes \bullet + 1}</math> adalah himpunan kosimplisial. Hal tersebut menentukan kompleks dengan augumentasi <math>\theta</math> pada '''kompleks Amitsur''':
:<math>0 \to R \,\overset{\theta}\to\, S \,\overset{\delta^0}\to\, S^{\otimes 2} \,\overset{\delta^1}\to\, S^{\otimes 3} \to \cdots</math>
dengan <math>\delta^n = \sum_{i=0}^{n+1} (-1)^i d^i.</math>

== Ketepatan kompleks Amitsur ==

=== Kasus ''faithfully flat'' ===
Dalam notasi di atas, jika <math>\theta</math> adalah rata tepat kanan, maka teorema [[Alexander Grothendieck]] menyatakan bahwa kompleks (imbuhan) <math>0 \to R \overset{\theta}\to S^{\otimes \bullet + 1}</math> adalah eksak dan karenanya adalah resolusi. Lebih umum, jika <math>\theta</math> adalah rata tepat kanan, maka ''M'' untuk setiap modul kiri-''R'',
:<math>0 \to M \to S \otimes_R M \to S^{\otimes 2} \otimes_R M \to S^{\otimes 3} \otimes_R M \to \cdots</math>
adalah eksak.

''Bukti'':

'''Langkah 1''': Pernyataan benar jika <math>\theta\colon R \to S</math> terbagi sebagai homomorfisme gelanggang.

Bahwa "terbagi <math>\theta</math>" adalah menyatakan <math>\rho \circ \theta = \operatorname{id}_R</math> untuk beberapa homomorfisme <math>\rho\colon S \to R </math> (<math>\rho</math> merupakan retraksi dan terbagi <math>\theta</math>). Diberikan <math>\rho</math> sebagai
:<math>h\colon S^{\otimes n+1} \otimes M \to S^{\otimes n} \otimes M</math>
oleh
:<math>\begin{align}
& h(x_0 \otimes m) = \rho(x_0) \otimes m, \\
& h(x_0 \otimes \cdots \otimes x_n \otimes m) = \theta(\rho(x_0)) x_1 \otimes \cdots \otimes x_n \otimes m.
\end{align}</math>
Perhitungan yang mudah menunjukkan identitas berikut: dengan <math>\delta^{-1}=\theta \otimes \operatorname{id}_M\colon M \to S \otimes_R M</math>,
:<math>h \circ \delta^n + \delta^{n-1} \circ h = \operatorname{id}_{S^{\otimes n+1} \otimes M}</math>.
Hal ini untuk menyebutkan bahwa ''h'' adalah [[operator homotopi]] dan dengan demikian <math>\operatorname{id}_{S^{\otimes n+1} \otimes M}</math> sebagai menentukan nol peta pada kohomologi: yaitu, kompleksnya adalah eksak.

'''Langkah 2''': Pernyataan tersebut benar secara umum.

Kami berkomentar bahwa <math>S \to T := S \otimes_R S, \, x \mapsto 1 \otimes x</math> adalah bagian dari <math>T \to S, \, x \otimes y \mapsto xy</math>. Jadi, Langkah 1 yang diterapkan pada homomorfisme gelanggang terbagi <math>S \to T</math> menyatakan:
:<math>0 \to M_S \to T \otimes_S M_S \to T^{\otimes 2} \otimes_S M_S \to \cdots,</math>
di mana <math>M_S = S \otimes_R M</math> adalah eksak. Karena <math>T \otimes_S M_S \simeq S^{\otimes 2} \otimes_R M</math>, dsg., dengan "rata tepat" maka urutan aslinya adalah eksak. <math>\square</math>

===Kasus topologi busur===
tunjukkan bahwa kompleks Amitsur eksak jika ''R'' dan ''S'' adalah [[bidang sempurna|gelanggang sempurna]] (komutatif), dan peta harus menjadi peliputan pada [[topologi busur]] (yang merupakan kondisi yang lebih lemah daripada peliputan pada [[topologi datar]]).

==Catatan==

== Referensi ==

==Bibliografi==
*
*
*
*

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Kompleks+Amitsur&oldid=28437874 Wikipedia bahasa Indonesia], revisi 28437874 (2025-11-13T02:54:03Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.