Isomorfisme: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
JRB (overleg | bijdragen)
Geen bewerkingssamenvatting
Geen bewerkingssamenvatting
Regel 1:
In de [[abstracte algebra]], een deelgebied van de [[wiskunde]], is een '''isomorfisme''' ([[Grieks]]]: ἴσος ''isos'' "gelijk", en μορφή ''morphe'' "vorm") een [[bijectie| bijectieve]] [[mapafbeelding (wiskunde)|afbeelding]] ''f'' zodat zowel ''f'' als zijn [[inverse|inverse]] ''f''<sup>&nbsp;&minus;1</sup> [[Homomorfisme|homomorf]] zijn, dat wil zeggen, ''structuur-bewarende'' mappings.
 
In de meer algemene setting van de [[categorietheorie (wiskunde)|categorietheorie]] is een '''isomorfisme''' een [[morfisme]] ''f'':''X''→''Y'' in een categorie waarvoor er een "inverse" ''f''<sup>&nbsp;&minus;1</sup>:''Y''→''X'' bestaat, met de eigenschap dat zowel f<sup>&nbsp;&minus;1</sup>''f''=id<sub>X</sub> en ''ff''<sup>&nbsp;&minus;1</sup>=id<sub>Y</sub> opgaat