Algebraiske strukturer
Et distributivt gitter kaldes komplementært, hvis den indeholder to elementer n og e, Ansøg til:Et distributivt og komplementært gitter kaldes et boolsk gitter eller boolsk algebra.
E. Kortlægning af mængder med algebraisk struktur
1. homomorfi
En afbildning A af en mængde M med en algebraisk struktur på en mængde M’ med en algebraisk struktur kaldes homomorfi, hvis
(1) Forbindelsen(i) i M klart den (den) forbindelser) i M’ tildelt;
(2) kortlægningen af resultatet af linket(i) i M af to elementer af M lig med resultatet af den tilknyttede operation(i) i M’ af billederne af de to elementer.
Hvis f.eks. der Verknüpfung ∗ in M die Verknüpfung º in M’ tildelt, så for x,y ∈ M
EN (x ∗ y) = A(x) EN(y)
De algebraiske strukturer kaldes så homomorfe.
2. isomorfisme
En homomorfi kaldes en isomorfisme, hvis kortet A er bijektivt. De algebraiske strukturer kaldes så isomorfe.