{"entities":{"Q2601772":{"pageid":2612515,"ns":120,"title":"Item:Q2601772","lastrevid":44451312,"modified":"2025-11-23T01:05:10Z","type":"item","id":"Q2601772","labels":{"en":{"language":"en","value":"Identical relations in groups. I."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2519938"}},"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":"Q2601772$DFAB5A20-85E4-4220-9903-8ECBB9200ADA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fa972f436b62b6f7f5421e4fa35ac1075a11b3d","datavalue":{"value":{"text":"Identical relations in groups. I.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2601772$76B58BD3-5950-4A5A-9CF3-D38640A831D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08c4f6cce33f099ed7542a229c5c7185ce699c53","datavalue":{"value":"63.0064.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601772$6939485B-E082-4D7C-8DE3-DDD9F9A3251D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8248274af6a5f6a7f2e33e9be0f302c682db17f","datavalue":{"value":"10.1007/BF01594191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601772$20689C4E-E328-4FEC-B76A-02BCB6DB0607","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601772$A3CC2C0C-1FA8-417D-A416-4D2740988DA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b5727a7c5b8fd0294ba23bb629bc28c096c780c","datavalue":{"value":{"time":"+1937-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":"Q2601772$F91A443C-2A5E-4F38-A8D0-48545BF29AB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04ee999580d734b17772c7d980e1c9552c7db9cf","datavalue":{"value":"https://eudml.org/doc/159930","type":"string"},"datatype":"url"},"type":"statement","id":"Q2601772$1E10A8F3-70FE-4496-95FD-48B164CBCCCC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"843d44e6c4c3e992a6b7252844c85088120292bb","datavalue":{"value":"Verf. betrachtet neben der gegebenen Gruppe \\(\\mathfrak G\\) f\u00fcr ein festes \\(n\\) die aus \\(x_1,\\ldots, x_n\\) erzeugte freie Gruppe \\(\\mathfrak F_n\\) Unter einer identischen Relation von \\(\\mathfrak G\\) in \\(n\\) Variablen wird jede Relation \\(w(x_1\\ldots,x_n) = 1\\) verstanden, f\u00fcr die das Wort \\(w(\\xi) = w(x_1,\\ldots, x_n)\\) von \\(\\mathfrak F_n\\) in jedem ``Punkt'' \\(\\alpha = (a_1,\\ldots, a_n)\\), \\(a_\\nu \\in \\mathfrak G\\), als ``Wert'' das Einheitselement 1 hat. Zu dem von allen \\(w(\\xi)\\) mit \\(w (\\alpha)= 1\\) f\u00fcr jedes \\(\\alpha\\) gebildeten Normalteiler \\(\\mathfrak B_n(\\mathfrak G)\\) von \\(\\mathfrak F_n\\) geh\u00f6rt die Faktorgruppe \\(V_n(\\mathfrak G) = \\mathfrak F_n/\\mathfrak B_n(\\mathfrak G)\\). -- Von den Ergebnissen kann hier nur das Wichtigste hervorgehoben werden:  Ist \\(\\mathfrak H\\) Untergruppe von \\(\\mathfrak G\\), so bilden alle \\(w (\\xi)\\), deren Wert \\(w(\\alpha)\\) f\u00fcr alle \\(\\alpha\\) von \\(\\mathfrak G\\) in \\(\\mathfrak H\\) liegt, eine vollinvariante Untergruppe von \\(\\mathfrak F_n\\); dabei hei\u00dft eine Untergruppe \\(\\mathfrak B\\) von \\(\\mathfrak F_n\\) vollinvariant, wenn ihr Bild bei jeder Homomorphie von \\(\\mathfrak F_n\\) in sich in \\(\\mathfrak B\\) liegt (das ist mehr als charakteristisch). Insbesondere ist \\(\\mathfrak B_n(\\mathfrak G)\\) vollinvariant. -\\(\\mathfrak B_n(\\mathfrak G)\\) l\u00e4\u00dft sich unabh\u00e4ngig von den identischen Relationen als der Durchschnitt aller Normalteiler von \\(\\mathfrak F_n\\) kennzeichnen, deren Faktorgruppe zu einer Untergruppe von \\(\\mathfrak G\\) isomorph ist. Oder auch: \\(\\mathfrak B_n(\\mathfrak G)\\) ist die gr\u00f6\u00dfte vollinvariante Untergruppe von \\(\\mathfrak F_n\\), die in jedem Normalteiler von \\(\\mathfrak F_n\\) mit einer zu \\(\\mathfrak G\\) isomorphen Faktorgruppe liegt. -Die Bedeutung der Gruppe \\(V_n(\\mathfrak G)\\) f\u00fcr die Frage nach den identischen Relationen von \\(\\mathfrak G\\) besteht darin, da\u00df sie von \\(x_1,\\ldots, x_n\\) erzeugt und durch die identischen Relationen von \\(\\mathfrak G\\) in \\(n\\) Variablen definiert wird. Umgekehrt bestimmt diese Eigenschaft \\(V_n(\\mathfrak G)\\) eindeutig bis auf Isomorphie. Ist \\(\\mathfrak G\\) nicht die Einheitsgruppe, so kann \\(V_n(\\mathfrak G)\\) nicht aus weniger als \\(n\\) Elementen erzeugt werden. -- Wenn \\(\\mathfrak G\\) endliche Ordnung \\(g\\) hat, so ist auch die Ordnung von \\(V_n(\\mathfrak G)\\) endlich, n\u00e4mlich Teiler von \\(g^{g^n}\\). Also ist f\u00fcr endliche Gruppen die Auffindung der identischen Relationen in n Variablen bei festem \\(n\\) in endlich vielen Schritten m\u00f6glich. Kennt man \\(V_n(\\mathfrak G)\\) f\u00fcr \\(n = 1, 2,\\ldots,\\) so kennt man alle identischen Relationen; ob sich dies auf ein endliches Problem zur\u00fcckf\u00fchren l\u00e4\u00dft, ist unbekannt. -- Alle identischen Relationen von \\(\\mathfrak G\\) folgen (1) aus \\(x_1^k=1\\), wobei \\(k\\) das kleinste gemeinsame Vielfache der in \\(\\mathfrak G\\) vorkommenden Elementordnungen ist (falls \\(k\\) nicht vorhanden, ist die Relation fortzulassen) und (2) aus ``Kommutatorrelationen'' \\(w(\\xi) = 1\\), bei denen \\(w(\\xi)\\) in der Kommutatorgruppe von \\(\\mathfrak F_n\\) liegt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2601772$56D38A48-D4BF-4893-94FE-9A4E8141E148","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d6808aa2894bc43b84b615def3570ef9d4e0323","datavalue":{"value":"2519938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601772$80A569E9-B5A9-472F-8E70-A6D19A2862C5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d19506ecff70beb63e2fda8e1af03fad57e22cef","datavalue":{"value":"Q110763873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601772$4D3C1941-7837-4DF0-80BD-D50E844E795C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"477d06c8df9685ded9948a7e96bdfcaf1696b8f3","datavalue":{"value":{"entity-type":"item","numeric-id":1353178,"id":"Q1353178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601772$1F83839E-E8B9-4851-BF08-5BA29E8FBBA6","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":"Q2601772$BBA77965-EC4E-4BAF-A462-8BCB80769CB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1fa670cc273a2a4f9556df1d5d642cc9a15727","datavalue":{"value":{"entity-type":"item","numeric-id":4754848,"id":"Q4754848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601772$E7AA2914-B53F-4663-9051-78D81C6D08E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8441046752f2771e5b2ccc099b4167a0b00c098e","datavalue":{"value":{"entity-type":"item","numeric-id":5760351,"id":"Q5760351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601772$253DDF12-1ACE-4FEB-BF5D-F019F3208E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fcc90983554b809ea73406a050fd49ccb4fc61","datavalue":{"value":{"entity-type":"item","numeric-id":1839522,"id":"Q1839522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601772$0459BAED-734F-41E9-892B-FDE64600CBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33f34db6152eaa295cdcd6466d68f756a909c61","datavalue":{"value":{"entity-type":"item","numeric-id":1353295,"id":"Q1353295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601772$771DC011-4587-4077-9814-2CA0E919B594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"621a619415e0aeb64dcbd178c8d2c0f7816911b0","datavalue":{"value":{"entity-type":"item","numeric-id":4481981,"id":"Q4481981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601772$83F51C6E-4E6E-4DEC-9025-4B28E845EB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6523cf3e9daee2a27ed27337590df269707a8c8b","datavalue":{"value":{"entity-type":"item","numeric-id":1839929,"id":"Q1839929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601772$6B65F0CF-09CF-4668-8260-1FDBB0690C31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2601772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2601772"}}}}}