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

2026-08-25T09:05:33Z

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

← Revisi sebelumnya		Revisi per 25 Agustus 2026 09.05
Baris 10:		Baris 10:

	Sebaliknya grup <math>(\Z,+,-,0)</math> merupakan pengembangan dari monoid <math>(\Z,+,0)</math>, memperluasnya dengan operasi negasi.		Sebaliknya grup <math>(\Z,+,-,0)</math> merupakan pengembangan dari monoid <math>(\Z,+,0)</math>, memperluasnya dengan operasi negasi.

	~~== Referensi ==~~

	*
	*



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

	Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Pengurangan+%28teori+model%29&oldid=27350260 Wikipedia bahasa Indonesia], revisi 27350260 (2025-06-03T02:17:33Z), 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=Pengurangan+%28teori+model%29&oldid=27350260 Wikipedia bahasa Indonesia], revisi 27350260 (2025-06-03T02:17:33Z), 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 27350260; atribusi sumber disertakan.

2026-08-25T08:41:19Z

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

Halaman baru

Dalam [[aljabar semesta]] dan [[teori model]], '''pengurangan''' struktur aljabar diperoleh dengan menghilangkan suatu dari operasi dan relasi mengenai struktur tersebut. Kebalikan "pengurangan" adalah "pengembangan"

== Definisi ==
Misalkan <math>A</math> menjadi [[struktur aljabar]] (dalam arti [[aljabar semesta]]) atau sebuah [[Struktur (logika matematika)|struktur]] dalam arti [[teori model]], disusun sebagai sebuah himpunan <math>X</math> bersama dengan sebuah [[keluarga]] berindeks [[Operasi (matematika)|operasi]] dan relasi <math>\varphi_i</math> pada himpunan tersebut, dengan [[himpunan indeks]] <math>I</math>. Maka '''pengurangan''' <math>A</math> didefinisikan oleh sebuah himpunan bagian <math>J</math> dari <math>I</math> adalah struktur terdiri dari himpunan <math>X</math> dan keluarga berindeks-<math>J</math> mengenai operasi dan relasi yang operasi atau relasi ke-<math>j</math> untuk <math>j \in J</math> adalah operasi atau relasi ke-<math>j</math> dari <math>A</math>. Yaitu, pengurangan ini adalah sturktu <math>A</math> dengan penghilangan mengenai operasi-operasi tersebut dan relasi <math>\varphi_i</math> yang mana <math>i</math> tidak di dalam <math>J</math>.

Sebuah struktur <math>A</math> adalah sebuah '''pengembangan''' dari <math>B</math> ketika <math>B</math> adalah sebuah pengurangan dari <math>A</math>. Yakni, pengurangan dan pengembangan adalah kebalikan bersama.

== Contoh-contoh ==
[[Monoid]] <math>(\Z,+,0)</math> mengenai [[bilangan bulat]] terhadap [[penambahan]] adalah pengurangan dari [[Grup (matematika)|grup]] <math>(\Z,+,-,0)</math> mengenai bilangan bulat terhadap penambahan dan negasi, diperoleh denngan menghilangkan negasi. Dengan membandingkannya, monoid <math>(\N,+,0)</math> mengenai [[bilangan asli]] terhadap penambahan bukanlah pengurangan suatu grup.

Sebaliknya grup <math>(\Z,+,-,0)</math> merupakan pengembangan dari monoid <math>(\Z,+,0)</math>, memperluasnya dengan operasi negasi.

== Referensi ==

*
*

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Pengurangan+%28teori+model%29&oldid=27350260 Wikipedia bahasa Indonesia], revisi 27350260 (2025-06-03T02:17:33Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

Pengurangan (teori model) - Riwayat revisi

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

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