Das Kefk Network Wiki befindet sich im Testbetrieb.
Ideal (Verbandstheorie)
Aus Kefk.
In der abstrakten Algebra ist ein Ideal eines Verbandes V eine Teilmenge I, die abgeschlossen bezüglich beider inneren binären Verknüpfungen und anziehend bezüglich der Infimumsbildung 
ist. Der Bezeichnung „Ideal“ ist angelehnt an den Begriff des Ideals in der Ringtheorie.
Definition
Sei V ein Verband. Ein Ideal I von V ist eine nicht leere Teilmenge von V mit
- I ist ein Unterverband von V und
- für alle
und 
gilt 
.
 | Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Ideal_%28Verbandstheorie%29, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation. |
