Zur Theorie der absolut freien und verwandter AlgebrenUniversität zu Köln, 1963 - 77 pages |
Common terms and phrases
absolut frei erzeugt absolut freie Algebra absolut unabhängige Teilmenge algebraisch unabhängig algebraische Induktion algebraische Struktur Anfang bzgl Automorphismus Axiom P 2/3 Basismächtigkeit beliebige Algebra beliebige Menge beliebige Peano-Algebra beliebiges Element besitzt BIRKHOFF CN{a DEDEKIND definieren definiert direkte Produkt disjunkt eindeutige Abbildung endliche enthält Epimorphismus erfüllt Erzeugende existiert Fall fi)ier folgende Aussagen folgt frei erzeugte Algebra freier Faktoralgebra gebra gibt gilt gleichen Typus heißt höchstens homomorphes Bild Homomorphismus Hüllenoperator Hüllensystem impliziert Induktionsvoraussetzung injektive injektive Äquivalenz irreflexive isomorph Isomorphismus kongruente Hülle Kongruenzrelation Konstanten Korollar Korollars von Satz läßt LOWIG 23 M₁ M₂ Minimalbedingung N₁ N₂ natürliche Anordnung natürlichen Zahlen nullstelligen Operationen Oberalgebra Ordinalzahl ordnungsfreie Ordnungsrelation ordnungstheoretischen Peano Peano-Algebra Peano-Axiome projektiv äquivalent R-Abbildung R-rekursive Abbildung Rekursion Rekursionsgleichung rekursiven Definition Relation S₁ S₁-Folge schließlich SCHMIDT 33 Siehe Sinne von MARCZEWSKI SZOMIŃSKI 35 Theorie Totalordnung transitive Hülle trivial trivialerweise unendlichstelligen Operationen universellen Algebra unsere Unteralgebra Voraussetzung zeigen ΣΕΙ