{"entities":{"Q2614297":{"pageid":2625040,"ns":120,"title":"Item:Q2614297","lastrevid":44490363,"modified":"2025-11-23T07:55:47Z","type":"item","id":"Q2614297","labels":{"en":{"language":"en","value":"On the structure of abstract algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2534481"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2614297$EF45B905-A61B-43B5-B48A-97BF63D58B4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4266345f12ccdc9a2e5d1982a242b57a33829877","datavalue":{"value":{"text":"On the structure of abstract algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2614297$4795A2CE-A62A-46B7-B183-4AF501605F07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59693b0c517fb501c8134bbde608a26c9530fd9f","datavalue":{"value":"61.1026.07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2614297$68DB2D1B-47F4-410A-9CED-8E39BEA41741","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56f9ada280a7f19971057bac851671e6330c02a7","datavalue":{"value":"10.1017/S0305004100013463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2614297$02ED75C3-DDFE-4EDB-9288-AB62E78569F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b7c9c6e1758035a79481bebd387d6d6de8db1885","datavalue":{"value":{"entity-type":"item","numeric-id":558931,"id":"Q558931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2614297$F607D2A2-2DDD-4F7E-8C64-96F4D4E4869D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f82bec1cbf48dde5b3e142feb51b7b6959e188a7","datavalue":{"value":{"time":"+1935-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2614297$591E7E04-7EA5-4136-8556-516438C90118","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9488ac498d2862228ea0d6cf7425209b4e5e1639","datavalue":{"value":"Diese Abhandlung enth\u00e4lt eine Reihe von \u00e4u\u00dferst allgemeinen S\u00e4tzen \u00fcber ``Algebren'', wobei ``Algebra'' hier jedes System von Elementen mit irgendwelchen zugeh\u00f6rigen Operationen bedeutet. Die ersten Theoreme betreffen Gruppen und ``lattices''; dabei bedeutet ``lattice'' (dasselbe wie ``Verband'' bei \\textit{Fritz Klein}, Math. Z. 39 (1934), 227-239; JFM 60.0092.*) ein abgeschlossenes System in bezug auf Operationen \\(\\smile\\) und \\(\\frown\\), die kommutativ und assoziativ sind, w\u00e4hrend au\u00dferdem \\(a \\frown (a \\smile b) = a \\smile (a \\frown b) = a\\) gilt. Ebenso wie die Automorphismen jeder Algebra nach Theorem 1 eine Gruppe bilden und andererseits jede Gruppe als die Automorphismengruppe einer Algebra darstellbar ist, bilden nach Theorem 2 die Unteralgebren einer Algebra einen Verband, w\u00e4hrend andererseits jeder Verband als die Menge aller Unteralgebren einer Algebra darstellbar ist. Weiter bespricht Verf. die Darstellung der Verb\u00e4nde durch Graphen; Operationen zur Erzeugung gr\u00f6\u00dferer Algebren aus kleineren, wie z. B. die Bildung des direkten Produktes, werden definiert. Nachdem er die Algebren nach der Zahl der Operanden in den Operationen in Spezies eingeteilt hat, definiert er den Begriff ``Familie von Algebren'' als die Menge aller Algebren, welche aus einer gegebenen Menge von solchen aus einer gewissen Spezies dadurch gebildet werden, da\u00df man alle Unteralgebren, homomorphen Bilder und direkten Produkte bildet. Entsprechend wird der Begriff ``Familie von Gesetzen'' definiert als die Menge der Gesetze (d. h. allgemeing\u00fcltige Gleichungen), welche aus einer gegebenen Menge von solchen ableitbar sind. Theorem 8 sagt dann aus, da\u00df die Algebrafamilien einer Spezies einen Verband bilden und ebenso die Familien der Gleichungen zwischen Funktionen dieser Spezies. Die Theoreme 9 und 10 dr\u00fccken ein Entsprechen aus zwischen den Algebren einerseits und den darin g\u00fcltigen Gleichungen andererseits. Eine spezielle Klasse von Verb\u00e4nden, ``modular lattices'', wird dann besonders studiert; darunter bilden wieder die distributiven Verb\u00e4nde, f\u00fcr welche \\(a \\frown (b \\smile c) = (a \\frown b) \\smile (a \\frown c)\\) gilt, eine besonders bemerkenswerte Klasse.  Danach betrachtet Verf. die \u00c4quivalenzenverb\u00e4nde, welche auf Grund der reflexiven, symmetrischen und transitiven Relationen (\u00c4quivalenzen) dadurch gebildet werden, da\u00df \\(x \\frown y\\) das logische Produkt der Relationen \\(x\\) und \\(y\\) bedeutet, w\u00e4hrend \\(x\\smile y\\) der Durchschnitt aller Relationen \\(z\\) ist, f\u00fcr welche die Implikation \\((axb) \\lor (ayb) \\to (azb)\\) gilt. Viele S\u00e4tze k\u00f6nnen hier bewiesen werden; z. B. sagt Theorem 23 aus, da\u00df die Automorphismen des Verbandes aller \u00c4quivalenzrelationen einer Menge \\(C\\) durch die Permutation der Elemente von \\(C\\) geliefert werden. Theorem 27 entscheidet eine von \\textit{Fritz Klein} l. c. gestellte Frage, n\u00e4mlich, ob es einen aus drei Elementen erzeugten unendlichen Verband gibt. Verf. zeigt durch ein Beispiel, n\u00e4mlich eine gewisse \u00c4quivalenzrelation, die Existenz solcher Verb\u00e4nde.  Zum Schlu\u00df werden die topologischen Verb\u00e4nde betrachtet, indem zuerst eine topologische Algebra definiert wird als eine, welche einen ``Konvergenzoperator'' enth\u00e4lt. Dabei hat ein Konvergenzoperator \\(f_L\\) eine abz\u00e4hlbare Reihe von Operanden, und ist \\(f_L\\left(\\left\\{x_k^i\\right\\}\\right) = x_i\\) f\u00fcr \\(i = 1, 2, \\ldots, n\\) und \\(k = 1, 2, \\ldots\\), so ist  \\[  f_L\\left(\\left\\{f_i(x_k', \\ldots,x_k^n)\\right\\}\\right) = f_i(x_1,\\ldots,x_n).  \\]  Nach dieser Definition bekommt man topologische Verb\u00e4nde, wenn man die Menge \\(\\overline LA\\) aller Unteralgebren einer Algebra \\(A\\) betrachtet und einen Konvergenzoperator einf\u00fchrt mittels oberer und unterer Grenzen der Elemente von \\(\\overline LA\\) \u00e4hnlich wie in der Analysis. Verf. zeigt, da\u00df man hierdurch einen Konvergenzraum im Sinne \\textit{H. Kneser}s bekommt (Math. Z. 25 (1926), 362-372; F. d. M. 52, 573 (JFM 52.0573.*)). Die Arbeit schlie\u00dft mit der Angabe einiger ungel\u00f6ster Probleme.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2614297$D79D3673-0C02-4457-A159-897504F628B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f81a54aaf507789aa613ae10419805ffeae03b5","datavalue":{"value":"2534481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2614297$8F49CCCB-9D1B-49B7-A181-86FD85FB9C87","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"13cd23ebcda1854fd71368b392b3abd8f1e76de2","datavalue":{"value":"Q106977360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2614297$6B7B7B30-B294-4FD6-B36E-5ECE0E8DEFCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"228db79b45fa3473f443ccacd15e5f2306af0611","datavalue":{"value":{"entity-type":"item","numeric-id":559464,"id":"Q559464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2614297$03FD0ACE-F249-41C8-AF1A-C78AAF1F0C13","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2614297$EF081754-2E70-4873-91A1-8164D68C4600","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"212af12528f96c9d2842d5cc3e2a7c89b78b40c8","datavalue":{"value":"https://doi.org/10.1017/s0305004100013463","type":"string"},"datatype":"url"},"type":"statement","id":"Q2614297$C7E95897-E4F8-4568-97C2-463D101AE0A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e39ca895a5e11a6f843aa346d17cee58bafac12","datavalue":{"value":"W2049352524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2614297$27E85983-D195-4C89-A2CC-6AAAA3B02F43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2614297","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2614297"}}}}}