{"entities":{"Q1840430":{"pageid":1851172,"ns":120,"title":"Item:Q1840430","lastrevid":69318648,"modified":"2026-04-13T06:12:19Z","type":"item","id":"Q1840430","labels":{"en":{"language":"en","value":"On the foundation of abstract algebra. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3017965"}},"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":"Q1840430$54D48CD1-2189-48D9-9AB7-74707EAAF346","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eaec5c30763e70e116813ba5bae662be1954b4d8","datavalue":{"value":{"text":"On the foundation of abstract algebra. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840430$EEBDF85A-C66A-49AE-8CD9-70E3855BAD1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20e61f425ce7240d6185a7fcbfda182a52f290f3","datavalue":{"value":"0012.00501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840430$209BAC7A-8DF7-4129-8808-08346EB02ED3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1826ab73f5be0112ed93fc3e4274f525a0f7944","datavalue":{"value":"10.2307/1968580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840430$AC86CDD6-EADF-4309-8247-4B1D8F72083D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840430$34A876E6-72C4-4FE0-9EDE-841B0F4915C3","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":"Q1840430$8F3836EC-FE7F-4F8E-9031-1AC11F185A4C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9ab5659c25c97de529534a99ae953635844ad497","datavalue":{"value":"Der Zweck der Arbeit ist, verschiedene Theorien der abstrakten Algebra durch weitere Abstraktion der zugrunde gelegten Systeme auf eine gemeinsame Grundlage zu stellen. Als neuer Begriff wird die ``Struktur'' eingefuhrt: ein System von Elementen \\(A, B, \\dots,\\) in dem die Relationen des \\textit{Enthaltenseins} \\(B< A\\) (oder \\(A> B)\\) mit den Eigenschaften \\(A> A\\), aus \\(A > B > C\\) folgt \\(A > C\\); des \\textit{Durchschnittes} \\((A, B)\\) mit den Eigenschaften \\((A, B)\\leq A\\), \\((A, B)\\leq B\\), aus \\(C < A\\), \\(C < B\\) folgt \\(C < (A, B)\\); und des \\textit{Kompositums} \\([A, B]\\) mit den Eigenschaften \\(A \\leq [A, B]\\), \\(B\\leq [A, B]\\), aus \\(A < C\\), \\(B < C\\) folgt \\([A, B] < C\\) gegeben sind. Gilt f\u00fcr irgend zwei Elemente \\(A, \\)B der Struktur entweder \\(A < B\\), \\(A = B\\) oder \\(A > B\\), so hei\u00dft sie eine \\textit{Kette}.    Die algebraisch bedeutsamen Strukturen erh\u00e4lt man durch Hinzuf\u00fcgung weiterer Axiome. Zun\u00e4chst sind da gewisse Endlichkeitsaxiome:    Endlichkeits-Bedingung f\u00fcr fallende Ketten: Eine Folge \\(A = A_0> A_1> A_2 \\dots\\) von Elementen der Struktur, die alle ein Element \\(B\\) enthalten: \\(B < A_i\\), hat nur endlich viele Elemente;    Endlichkeits-Bedingung f\u00fcr steigende Ketten: Ist \\(B = B_0 < B_1 < B_2 < \\ldots < A\\), so ist die Anzahl der \\(B_i\\) endlich.    Andere Axiome haben die Bedeutung der Einfiihrung gewisser Relationen.   Dedekindsches Axiom: Aus \\(C > \\bar C\\), \\((C, D)= (\\bar C,D)\\), \\([C, D]=[\\bar C,D]\\) folgt \\(C = \\bar C\\).    St\u00e4rker einschr\u00e4nkend: Aus \\((C, D) = (\\bar C, D)\\) und \\([C, D] = [\\bar C,D]\\) folgt \\(C= \\bar C\\) (arithmetisches Axiom).    Beide Axiome k\u00f6nnen auf viele verschiedene Weisen ausgedr\u00fcckt werden, z. B. kann das Dedekindsche Axiom in die Form gebracht werden: Ist \\(A < C < [A, B]\\), so ist \\(C = [A, (B, C)]\\) oder auch \\([(A,[B,C]), (B,C)]= ([A,(B,C)],[B, C])\\) f\u00fcr irgend drei \\(A, B, C\\) (``duale'' Form).    In naheliegender Analogie zu Begriffen der Gruppentheorie werden Homomorphismus and Isomorphismus in Beziehung auf Kompositum oder Durchschnitt oder beide (Homomorphismus bzw. Isomorphismus schlechthin) erkl\u00e4rt. Beide Arten von Homomorphismen erhalten die \\(( <, >)\\)-Beziehungen.    Teilstruktur zwischen \\(A\\) und \\(B\\) einer Struktur hei\u00dft die Gesamtheit aller \\(C\\) der Struktur, f\u00fcr die \\(A\\leq C\\leq B\\) bzw. \\(A\\geq C\\geq B\\) gilt, sie wird mit \\(B/A\\) bzw. \\(A/B\\) bezeichnet. F\u00fcr Dedekindsche Struktur gilt der Satz: Es ist \\(A/(A,B)\\) isomorph (schlechthin) zu \\([A,B]/B\\) f\u00fcr irgend zwei Elemente \\(A, B\\) der Struktur. Man sieht, da\u00df die Theorie der Dedekindschen Strukturen eine Axiomatisierung der Schlu\u00dfweise des Jordan-H\u00f6lderschen Satzes bezweckt. Eine weitere wichtige Begriffsbildung ist die der \\textit{Quotientenstrukturen}. Es bezeichne jetzt \\(A/B\\) nicht mehr die Struktur aller Elemente der gegebenen Struktur zwischen \\(A\\) und \\(B\\), sondern lediglich ein Symbol, das f\u00fcr irgend zwei \\(A, B\\) mit \\(A\\geq B\\) aus der gegebenen Struktur gebildet wird. Die Menge dieser ``Quotienten'' wird zu einer Struktur, indem \\(A/B\\geq A_1/B_1\\) gesetzt wird, wenn \\(A > A_1\\) und \\(B\\geq B_1\\) und indem Durchschnitt and Kompositum durch  \\[ \\begin{aligned}[c] (A/B, A_1/B_1) &=(A,A_1)/(B,B_1) \\\\ [A/B, A_1/B_1] &= [A,A_1]/[B,B_1]\\end{aligned} \\]   erkl\u00e4rt werden. In den meisten wichtigen Strukturen gibt es ein Einselement \\(E_0\\) mit der Eigenschaft \\((A, E_0) = E_0\\) f\u00fcr alle \\(A\\) und ein \\textit{Allelement} \\(O_0\\) mit \\([A, O_0] = O_0\\) f\u00fcr alle \\(A\\). Hat eine Struktur ein Einselement \\(E_0\\), so ist in der zugeh\u00f6rigen Quotientenstruktur die mit der urspr\u00fcnglichen isomorphe Teilstruktur aller \\(A/E_0\\) enthalten. Endlichkeitsbedingungen und Dedekindsches Axiom \u00fcbertragen sich unmittelbar von einer Struktur auf die Quotientenstruktur. Ein Element \\(A\\) hei\u00dft prim \u00fcber \\(B\\), wenn \\(A > B\\) ist, aber kein Element zwischen \\(A\\) and \\(B\\) existiert. Ein Quotient \\(\\mathfrak A = A/B\\) ist prim \u00fcber \\(\\mathfrak B = C/D\\), wenn entweder \\(A\\) prim ist \u00fcber \\(C\\) und \\(B = D\\) oder \\(A = C\\) and \\(B\\) prim \u00fcber \\(D\\). Die Quotienten \\(A/A\\) hei\u00dfen \\textit{Einsquotienten}. Zwei Quotienten \\(\\mathfrak A\\), \\(\\mathfrak B\\) hei\u00dfen relativ prim, wenn \\((\\mathfrak A, \\mathfrak B)\\) ein Einsquotient ist. Durch \\(A/B\\times B/C = A/C\\) wird f\u00fcr gewisse Quotientenpaare ein Produkt erkl\u00e4rt, je zwei der vorkommenden Quotienten bestimmen den dritten eindeutig, es ist daher auch sinnvoll, statt \\(\\mathfrak A\\times\\mathfrak B= \\mathfrak C\\mathfrak B= \\mathfrak A^{-1}\\times \\mathfrak C\\) und \\(\\mathfrak A=\\mathfrak C\\times\\mathfrak B^{-1}\\) zu schreiben. Nun wird durch \\(\\mathfrak C\\mathfrak A\\mathfrak C^{-1} = [\\mathfrak A, \\mathfrak C] \\times \\mathfrak C^{-1}= [A, C]/C\\) f\u00fcr zwei Quotienten \\(\\mathfrak A =A/B\\) and \\(\\mathfrak C = C/B\\) mit dem gleichen Nenner die \\textit{Transformierte} von \\(\\mathfrak A\\) mit \\(\\mathfrak C\\) erkl\u00e4rt. Sind \\(\\mathfrak A\\) und \\(\\mathfrak C\\) relative prim, so hei\u00dft \\(\\mathfrak A' = \\mathfrak C\\mathfrak A\\mathfrak C^{-1}\\) \u00e4hnlich zu \\(\\mathfrak A\\). Man kann nun den Umstand, da\u00df sich zu zwei Elementen \\(A, B\\) einer Dedekindschen Struktur eine Kette \\(A > A_1 > A_2 > \\dots > A_r = B\\) finden l\u00e4\u00dft, wo \\(A_i\\) \u00fcber \\(A_{i+1}\\) prim ist, auch so ausdr\u00fccken, da\u00df der Quotient \\(A/B\\) als Produkt von \\(r\\) primen Quotienten geschrieben werden kann  \\[  A/B= \\mathfrak P_1\\times \\mathfrak P_2\\times\\dots\\times\\mathfrak P_r. \\] Es gilt dann der Jordan-H\u00f6ldersche Satz, da\u00df jede andere solche Produktdarstellung gleich viel Primfaktoren hat, die in passender Ordnung mit den Faktoren der ersten Zerlegung \u00e4hnlich sind. Allgemeiner gilt das Analogon eines Satzes von Schreier, da\u00df sich in einer Dedekindschen Struktur zwei gleiche Produkte  \\[  \\mathfrak A_1\\times\\dots\\times\\mathfrak A_r = \\mathfrak B_1\\times\\dots\\times\\mathfrak B_s  \\] durch weitere Zerlegung der einzelnen Faktoren so verfeinert werden k\u00f6nnen, da\u00df auf beiden Seiten gleich viel Faktoren stehen, die bei passender Ordnung paarweise \u00e4hnlich sind.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840430$3407104C-CEC9-4388-9B98-45E3E1B7DEE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"22a27ee5ec7fc24a6d65a023b1e49386febfabd9","datavalue":{"value":"08-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840430$A02153D0-72E1-424E-B403-1363089593E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840430$728A14C2-0E6F-405C-9148-0D49A0958AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840430$02C37997-AA69-46A1-A2DD-F9C944CC3ABD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91a2b9cfb853c6c3d68f02129188c9cc2f16ab18","datavalue":{"value":"3017965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840430$518280B8-6D6B-476D-8AF0-D13B66F9B63F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29305963469a565eb92060782443e37174cc9778","datavalue":{"value":"abstract algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840430$D1E81A7D-5136-4190-BBAC-55C183BFD90C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"495ae741729bb9cc459206dc63e36c4f15611c4f","datavalue":{"value":"Q91396502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840430$3BD420F1-E0AB-452E-9B13-A824097CAA66","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":"Q1840430$00AA43FD-CFC0-4C28-A0E6-C2A61DEB95FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"818c952bcb4940394dd10f85bc4b803a9ffffe3a","datavalue":{"value":"https://doi.org/10.2307/1968580","type":"string"},"datatype":"url"},"type":"statement","id":"Q1840430$EF64F22C-3AF3-4F7F-B2CF-998A384CBD33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb743fa764e59746fbb16c5e669816385a4e9c74","datavalue":{"value":"W4238686725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840430$64670C61-6641-466A-9F73-91441598593D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9929fcb230044f382d956bed2de1f696fae45cc","datavalue":{"value":{"entity-type":"item","numeric-id":6481355,"id":"Q6481355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840430$B73E3584-B09E-40F2-B2DE-E1A8762359A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the foundation of abstract algebra. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_foundation_of_abstract_algebra._I"}}}}}