Homomorfisme aljabar

Pada matematika, homomorfisme aljabar adalah homomorfisme di antara dua aljabar asosiatif. Lebih tepatnya, jika Templat:Math dan Templat:Math adalah aljabar atas suatu lapangan (atau gelanggang komutatif) Templat:Math, fungsi$F:A\to B$ merupakan homomorfisme aljabar apabila untuk setiap Templat:Math anggota Templat:Math dan Templat:Math anggota Templat:Math,

• $F(kx)=kF(x)$
• $F(x+y)=F(x)+F(y)$
• $F(xy)=F(x)F(y)$

Dua kondisi pertama merupakan syarat agar Templat:Math menjadi pemetaan linier-K (atau homomorfisme modul-K jika K adalah gelanggang komutatif), dan kondisi terakhir merupakan syarat agar fungsi Templat:Math menjadi homomorfisme gelanggang (nonunit).

Jika invers dari Templat:Math merupakan homomorfisme atau dengan kata lain Templat:Math bijektif, maka fungsi Templat:Math merupakan isomorfisme antara Templat:Math dan Templat:Math.

Homomorfisme aljabar unital

Misalkan A dan B adalah dua aljabar dengan unsur satuan. Homomorfisme aljabar Templat:Nowrap disebut homomofisme unital jika Templat:Math memetakan unsur satuan di Templat:Math ke unsur satuan di Templat:Math. Homomorfisme aljabar seringkali diasumsikan juga bersifat unital, sekalipun tidak secara eksplisit disebut unital.

Homomorfisme aljabar unital merupakan bagian dari homomorfisme gelanggang yang unital.

Contoh

• Setiap gelanggang adalah aljabar-Z. Hal ini dikarenakan terdapat homomorfisme unik Templat:Nowrap. Konversnya juga berlaku, i.e. setiap aljabar-Z merupakan gelanggang.
• Homomorfisme antar gelanggang komutatif dengan unsur satuan Templat:Nowrap menginduksi struktur aljabar-R komutatif pada S. Sebaliknya, jika S merupakan aljabar-R komutatif, maka pemetaan Templat:Nowrap merupakan homomorfisme antar gelanggang komutatif dengan unsur satuan. Dengan demikian, overcategory gelanggang-R komutatif adalah kategori aljabar-R komutatif.
• Misalkan A adalah subaljabar dari B, maka untuk setiap unsur unit b, fungsi yang mengirim setiap elemen a di A ke b⁻¹ab merupakan homomorfisme aljabar. (Jika Templat:Nowrap, homomorfisme ini disebut automorfisme dalam dari B ). Homomorfisme ini biasa disebut sebagai pemetaan konjugasi oleh b. Misalkan pula A adalah aljabar sederhana dan B merupakan central simple algebra, maka semua homomorfisme dari A ke B merupakan pemetaan konjugasi; ini merupakan bunyi dari teorema Skolem – Noether .

Lihat pula

• Morfisme
• Templat:Section link
• Spektrum gelanggang
• Augmentasi (aljabar)