Über einen Zerlegungssatz in der Theorie der abstrakten Verknüpfungen. (Q563354): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Fritz Klein-Barmen / rank | |||
Property / author | |||
Property / author: Fritz Klein-Barmen / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Zur Theorie der abstrakten Verknüpfungen / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:36, 11 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Über einen Zerlegungssatz in der Theorie der abstrakten Verknüpfungen. |
scientific article |
Statements
Über einen Zerlegungssatz in der Theorie der abstrakten Verknüpfungen. (English)
0 references
1932
0 references
Verf. betrachtet Mengen, die er Verbände nennt. Zwei Elemente eines Verbandes gestatten zwei Verknüpfungen \(\smallsmile \) und \(\smallfrown \). Die Beziehung \(a\prec b\), gelesen \(a\) ist Unterelement von \(b\), bedeutet, daß \(a\smallfrown b = a\) ist. Einige einfache Axiome werden vorausgesetzt; u. a. behaupten die Axiome VII und VII' die Existenz von ausgezeichneten Elementen, die im Klassenkalkül Nullklasse - hier durch e bezeichnet und Einheitselement genannt - und Allklasse genannt werden. Er nennt \(a\) ein Primelement, wenn \(a\neq e\) ist und nur die Unterelemente \(e\) und \(a\) hat. Weiter heißt \(a\) Primärelement, wenn unter allen Unterelementen von \(a\) genau ein Primelement vorkommt. Zwei Elemente \(a\) und \(b\) sind fremd, wenn \(a\smallfrown b = e\) ist. In \S {} 5 beweist er den ersten Teil des Zerlegungssatzes, nämlich, daß zwei Zerlegungen eines Elementes in Primärelemente, die zu je zweien fremd sind, von der Anordnung der Primarelemente abgesehen, identisch sind. In \S {} 6 wird das Axiom IX eingeführt, das aussagt, daß, wenn \(a\neq e\) und kein Primärelement ist, es zwei von \(a\) verschiedene Elemente \(b\) und \(c\) gibt derart, daß \(a = b\smallsmile c\) gilt. Danach gelingt der Beweis des zweiten Teiles des Zerlegungssatzes, daß nämlich jedes von \(e\) verschiedene Element eine Zerlegung in Primärelemente gestattet, die zu je zweien fremd sind. Zum Schlüsse definiert er die Sternverbände als solche, für welche stets entweder \(a\prec b\) oder \(b\prec a\) gilt, wenn \(a\) und \(b\) Primärelemente über demselben Primelement sind, und in \S {} 7 verspricht er, später auf die unendlichen Sternverbände zurückzukommen.
0 references