Tegenovergestelde ring

Uit Wikipedia, de vrije encyclopedie
Naar navigatie springen Jump to search

In de ringtheorie, een deelgebied van de wiskunde, is het tegenovergestelde van een ring een andere ring, aangeduid met of met dezelfde elementen en dezelfde optellingsoperatie, maar waarin de vermenigvuldigingsoperatie in de omgekeerde volgorde wordt uitgevoerd.

Preciezer uitgedrukt is de tegenovergestelde van een ring de ring waarin de vermenigvuldiging gedefinieerd is als

De operatie 'optellen' is in ringen per definitie altijd commutatief.

Eigenschappen[bewerken]

Een ring is commutatief dan en slechts dan als haar tegengestelde commutatief is. Als twee ringen en ringisomorf zijn, dan zijn hun tegenovergestelde ringen ook isomorf. De tegenovergestelde ring van de tegenovergestelde ring van een ring is isomorf met die ring.

Een commutatieve ring is altijd isomorf met zijn tegenovergestelde ring. In de taal van de categorietheorie wordt het isomorfisme gegeven door de identiteitsafbeelding (in de categorie van verzamelingen). Een niet-commutatieve ring kan al dan niet isomorf zijn met zijn tegenovergestelde ring.