Ringhomomorfisme

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de ringtheorie, een deelgebied van de abstracte algebra, een deelgebied van de wiskunde, is een ringhomomorfisme een functie tussen twee ringen, die de operaties van optellen en vermenigvuldigen respecteert.

Preciezer geformuleerd als R en S ringen zijn, dan is een ringhomomorfisme een functie f : RS zodanig dat[1]

  • f(a + b) = f(a) + f(b) voor alle a en b in R
  • f(ab) = f(a) f(b) voor alle a en b in R
  • f(1) = 1

Als men niet vereist dat ringen een multiplicatieve identiteit hebben dan kan de laatste voorwaarde natuurlijk vervallen.

De compositie van twee ringhomomorfismen is zelf ook een ringhomomorfisme. Hieruit volgt dat de klasse van alle ringen een categorie vormt met ringhomomorfismen als de morfismen (zie het artikel over de categorie van ringen).

Voetnoten[bewerken]

  1. Zie Hazewinkel et. al. (2004), pag. 3.

Referenties[bewerken]

  • (en) Michiel Hazewinkel, Nadiya Gubareni, Nadezhda Mikhaĭlovna Gubareni, Vladimir V. Kirichenko, Algebras, rings and modules (Algebra, ringen en modulen). Volume 1. 2004. Springer, 2004. ISBN 1402026900

Zie ook[bewerken]