Elemen penyerap

Dalam matematika, elemen penyerap (atau elemen pemusnah) adalah tipe khusus dari elemen himpunan dengan operasi biner pada himpunan. Hasil penggabungan elemen penyerap dengan elemen himpunan adalah elemen penyerap sendiri. Dalam teori semigrup, elemen penyerap disebut elemen nol karena tidak ada risiko kebingungan dengan pengertian lain nol, dengan pengecualian penting: di bawah notasi aditif nol, secara alami, menunjukkan elemen netral sebuah monoid. Dalam artikel ini, "elemen nol" dan "elemen penyerap" sama artinya.

Definisi 
Secara resmi, maka  adalah himpunan S dengan operasi biner tertutup • di atas (dikenal sebagai magma). Elemen nol adalah elemen z sehingga untuk semua s dalam S, . Perbaikan adalah pengertian dari kiri nol, dimana , dan nol kanan, dimana .

Elemen penyerap sangat penting untuk semigrup, terutama semigrup perkalian dari semigelanggang. Dalam kasus semigelanggang dengan 0, definisi elemen penyerap terkadang dilonggarkan sehingga tidak diperlukan untuk menyerap 0; jika tidak, 0 akan menjadi satu-satunya elemen penyerap.

Sifat 
 Jika magma menggunakan nol kiri z dan nol kanan z′, maka magma menggunakan nol, karena .
 Magma menggunakan lebih dari satu elemen nol.

Contoh 
 Contoh paling terkenal dari elemen penyerap adalah aljabar elementer, dimana bilangan dikalikan dengan nol sama dengan nol. Nol dengan demikian merupakan elemen penyerap.
 Nol dari setiap gelanggang merupakan elemen penyerap. Untuk elemen r dari sebuah gelanggang R, r=r(1+0)=r+r0, so r0=0, karena nol adalah elemen unik a dimana r+a=r untuk setiap r dalam gelanggang R.
 Titik mengambang aritmetika didefinisikan dalam standar IEEE-754 mengandung nilai khusus yang disebut Not-a-Number ("NaN"). Elemen penyerap untuk setiap operasi; yaitu, , , dll.
 Himpunan relasi biner di atas himpunan X, dengan komposisi relasi membentuk monoid dengan nol, dimana elemen nol adalah relasi kosong (himpunan kosong).
 Interval tertutup  dengan  sebagai monoid dengan nol, dan elemen nol adalah 0.
 Contoh lainnya:

Lihat pula 
 Idempoten (teori gelanggang)elemen x dari gelanggang x2 = x
 Elemen identitas
 Semigrup nol

Catatan

Referensi 

 M. Kilp, U. Knauer, A.V. Mikhalev, Monoids, Acts and Categories with Applications to Wreath Products and Graphs, De Gruyter Expositions in Mathematics vol. 29, Walter de Gruyter, 2000, .

Pranala luar 
 Elemen penyerap di PlanetMath

Teori semigrup
Elemen penyerap
Sifat aljabar elemen