Algebraiska strukturer
A. grupp
B. Ringa
C. Kropp
D. Inteckning
Ett distributivt gitter kallas komplementärt, om den innehåller två element n och e, ansöka till:
Ett distributivt och komplementärt gitter kallas ett booleskt gitter eller boolesk algebra.
E. Kartläggning av mängder med algebraisk struktur
1. homomorfism
En mappning A av en mängd M med en algebraisk struktur på en mängd M’ med en algebraisk struktur kallas homomorfism, om
(1) Länken(i) i M klart den (de) anslutningar) i M’ tilldelas;
(2) kartläggningen av resultatet av länken(i) i M av två element av M lika med resultatet av den associerade operationen(i) i M’ av bilderna av de två elementen.
Om t.ex. der Verknüpfung ∗ in M die Verknüpfung º in M’ tilldelas, alltså för x,y ∈ M
A (x ∗ y) = A(x) A(y)
De algebraiska strukturerna kallas då homomorfa.
2. isomorfi
En homomorfism kallas en isomorfism, om kartan A är bijektiv. De algebraiska strukturerna kallas då isomorfa.