{"entities":{"Q1829418":{"pageid":1840160,"ns":120,"title":"Item:Q1829418","lastrevid":69267753,"modified":"2026-04-13T05:52:53Z","type":"item","id":"Q1829418","labels":{"en":{"language":"en","value":"\u00dcber die Darstellung der endlichen Gruppen als Untergruppen direkter Produkte."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2562919"}},"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":"Q1829418$82B350DF-E00C-42E0-A870-67925061DEF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a16e4410db70f86f8226464040b0d5052b8000b","datavalue":{"value":{"text":"\u00dcber die Darstellung der endlichen Gruppen als Untergruppen direkter Produkte.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1829418$ED4ACF99-36EC-4009-91B3-BE6564BC2266","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2fd37e22cf9b65fc2e8d23b40b0bea0ade5789c","datavalue":{"value":"56.0129.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1829418$3C6C23EF-D8C6-47C5-8145-AEBADBA74FBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"79327704d6d4548ce97be34ab84df8a1bb1515ff","datavalue":{"value":{"entity-type":"item","numeric-id":256938,"id":"Q256938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1829418$BF6EBE73-715E-439D-890F-2C569BD1A512","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa7b89c2fb45b2a4b2542838fa1207277c05a6db","datavalue":{"value":{"time":"+1930-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":"Q1829418$8F268119-0D38-409C-AEEB-A54DAA631B02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5109dbbe2173d750b8307f5a3fc7babcae0ed201","datavalue":{"value":"https://eudml.org/doc/149728","type":"string"},"datatype":"url"},"type":"statement","id":"Q1829418$8A25C357-765A-4585-A32F-C4F25C9CA03E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e1421964cca9ad80fb45fcc84273a1c108eed1c","datavalue":{"value":"Eine Untergruppe eines direkten Produktes  \\[  \\mathfrak U_1 \\times \\mathfrak U_2 \\times \\cdots \\times \\mathfrak U_n  \\]  hei\u00dfe ``subdirektes Produkt''. Die \\(\\mathfrak U_\\nu\\)-Komponenten sind die subdirekten Faktoren. Eine Gruppe hei\u00dft subdirekt zerlegbar, wenn sie einstufig isomorph ist einem subdirekten Produkt von \\(n \\geqq 2\\) subdirekten Faktoren niedrigerer Ordnung als die gegebene Gruppe; subdirekt unzerlegbar, wenn eine subdirekte Darstellung nicht m\u00f6glich ist. Eine subdirekte Darstellung einer Gruppe \\(\\mathfrak G\\) kann man auf folgende Weise erhalten:  \\(\\mathfrak G\\) besitze \\(n\\) invariante Untergruppen \\(\\mathfrak D_1,\\ldots, \\mathfrak D_n\\);  \\[  (\\mathfrak D_1, \\ldots, \\mathfrak D_n^n)=\\mathfrak D^*  \\]  sei ihr Durchschnitt. \\(\\widehat {\\mathfrak V}_1\\), \\dots, \\(\\widehat{\\mathfrak V}_n\\) seien \\(n\\) abstrakt gegebene Gruppen, die den Faktorgruppen  \\[  \\frac {\\mathfrak G}{\\mathfrak D_1}, \\ldots, \\frac{\\mathfrak G}{\\mathfrak D_n}  \\]  einstufig isomorph sind. Dann ist \\(\\dfrac{\\mathfrak G}{\\mathfrak D^*}\\) einstufig isomorph einer Untergruppe \\(\\widehat{\\mathfrak G}\\) des direkten Produkts  \\[  \\widehat {\\mathfrak V}_1 \\times \\widehat{\\mathfrak V}_2 \\times \\cdots \\times \\widehat{\\mathfrak V}_n.  \\]  Kann man \\(\\mathfrak D_1,\\ldots, \\mathfrak D_n\\) so w\u00e4hlen, da\u00df \\(\\mathfrak D^* = \\mathfrak G\\) ist, so hat man eine subdirekte Darstellung von \\(\\mathfrak G\\) selbst. Es ergibt sich: Subdirekt unzerlegbar sind alle einf\u00fc\u00dfigen Gruppen und nur diese; man kann also alle endlichen Gruppen als subdirekte Produkte von einf\u00fc\u00dfigen Faktoren darstellen. Eine solche Darstellung hei\u00dft \u00f6konomisch, wenn sie keinen \u00fcberz\u00e4hligen Faktor enth\u00e4lt, d. h. wenn kein Faktor weggelassen werden kann, ohne da\u00df die Darstellung aufh\u00f6rt, der Gruppe \\(\\mathfrak G\\) einstufig isomorph zu sein. Die einzigen F\u00fc\u00dfe \\(\\widehat{\\mathfrak F}_\\nu\\) der Faktoren \\(\\widehat{\\mathfrak V}_\\nu\\) sind enthalten in der zugeh\u00f6rigen ``Blockkomponente''  \\[  \\widehat{\\mathfrak G}_\\nu = (\\widehat{\\mathfrak V}_\\nu, \\widehat{\\mathfrak G});  \\]  daraus folgt, da\u00df \\(\\widehat {\\mathfrak F}_\\nu\\) auch Fu\u00df von \\(\\widehat {\\mathfrak G}\\) ist. Das direkte Produkt dieser F\u00fc\u00dfe  \\[  \\widehat {\\mathfrak F}_\\nu < i \\widehat {\\mathfrak V}_\\nu  \\]  ist der Sockel von \\(\\widehat {\\mathfrak G}\\) (das Zeichen \\(< i\\) bedeutet: ``ist invariante Untergruppe von''); die Anzahl der Faktoren der subdirekten Zerlegung ist also, da sie gleich dem Rang des Sockels ist, eine Invariante. Ein Fu\u00df ist in \\(\\widehat {\\mathfrak V}_\\nu\\) und in \\(\\widehat {\\mathfrak G}\\) gleichzeitig von erster, zweiter oder dritter Art und erleidet in beiden Gruppen die gleichen Automorphismen.  Man kann \u00fcber die Konstitution der Faktoren erster, zweiter oder dritter Art genauere Aussagen machen. Es ergibt sich z. B., da\u00df bei gegebenen F\u00fc\u00dfen dritter Art und nur bei diesen die Ordnung der zugeh\u00f6rigen Faktoren dritter Art beschr\u00e4nkt ist. N\u00e4heres \u00fcber die F\u00fc\u00dfe erster und zweiter Art erh\u00e4lt man, wenn man auf den Begriff des Hyperzentrums eingeht. (Man bilde in der Gruppe \\(\\mathfrak G\\) die Faktorgruppe nach dem Zentrum; in dieser Gruppe suche man wieder das Zentrum, bilde die Faktorgruppe nach dem Zentrum usw. Das letzte Glied der Reihe ist das Hyperzentrum.)  Zwei subdirekte Faktoren  \\[  \\widehat {\\mathfrak V}_1 \\sim \\frac {\\mathfrak G}{\\mathfrak D_1} \\;\\text{und} \\;\\widehat {\\mathfrak V}_2 \\sim \\frac {\\mathfrak G}{\\mathfrak D_2}  \\]  hei\u00dfen ``subidentisch'', wenn \\(\\mathfrak D_1= \\mathfrak D_2\\) ist. Sind f\u00fcr zwei Darstellungen s\u00e4mtliche erzeugenden invarianten Untergruppen dieselben, so hei\u00dfen die Darstellungen identisch. Verf. macht genaue Eindeutigkeitsaussagen nur \u00fcber die Faktoren dritter Art. Im allgemeinen Fall ergibt sich nur folgendes: Ist \\(\\mathfrak M\\) die Gruppe derjenigen Elemente von \\(\\mathfrak G\\), die mit jedem Element des Sockels von \\(\\mathfrak G\\) vertauschbar sind, dann erh\u00e4lt man aus allen \u00f6konomischen Zerlegungen von \\(\\mathfrak G\\) in unzerlegbar subdirekte Faktoren dieselbe subdirekte Zerlegung von \\(\\dfrac {\\mathfrak G}{\\mathfrak M}\\). Dabei liefern nur die F\u00fc\u00dfe zweiter und dritter Art einen Beitrag.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1829418$3468D914-9033-43A0-A322-E0595C79D8DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62b864f405bbaf6e812938bf6e84f62d941d8919","datavalue":{"value":"2562919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1829418$E11C7C74-4549-4918-81F0-C13F0A1EF2A2","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":"Q1829418$0AB8122D-2723-4AE7-B5DD-7709BFB663F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ce0e18a848df6fbf9ef5ebbe862979eb9d6f4d","datavalue":{"value":{"entity-type":"item","numeric-id":6481336,"id":"Q6481336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1829418$FDA328CE-A0DB-4422-B4DB-5B24049B9E63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u00dcber die Darstellung der endlichen Gruppen als Untergruppen direkter Produkte.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%C3%9Cber_die_Darstellung_der_endlichen_Gruppen_als_Untergruppen_direkter_Produkte."}}}}}