{"entities":{"Q2601780":{"pageid":2612523,"ns":120,"title":"Item:Q2601780","lastrevid":44451333,"modified":"2025-11-23T01:05:35Z","type":"item","id":"Q2601780","labels":{"en":{"language":"en","value":"On the group-defining relations \\((2, 3, 7; p)\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2519946"}},"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":"Q2601780$8E168751-FADE-40DA-AB69-822A8D2EF392","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd64f192f3a3b25c82e9dc0eefcc4e4209d2810c","datavalue":{"value":{"text":"On the group-defining relations \\((2, 3, 7; p)\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2601780$9D45E628-25B2-40B8-A13F-8DE9FB067805","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6094324e2de64a314b37c95518b7f80338ba233","datavalue":{"value":"63.0067.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601780$ECB9EDD3-D200-48DF-8438-CB0F742F6C88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"981a7c09e41cbda5e61f614664f7f7468a4ceff3","datavalue":{"value":"10.2307/1968601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601780$74B22830-549A-4DAC-908A-CE6C792BF9F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d495554a8a974810ba3d2ac8666ff3653bea5d12","datavalue":{"value":{"entity-type":"item","numeric-id":563428,"id":"Q563428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601780$129E3F0D-1BAD-4E22-85E8-3542DF7121BB","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":"Q2601780$10969151-74AD-4B3D-A31E-E750E78331AC","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":"Q2601780$675132C8-AECC-4B2F-A580-BE761313C09F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba101c23206d025989dc8a7f5c2a3fb2d0290caf","datavalue":{"value":"Es handelt sich um Gruppen mit den definierenden Relationen \\((2, 3, 7; p)\\):  \\[  S^3= T^2 = (ST)^7 = (S^{-1} T^{-1}ST)^p = 1,  \\]  wo \\(p\\) eine nat\u00fcrliche Zahl ist. Aus der bisherigen Literatur ergibt sich, da\u00df f\u00fcr \\(p \\leqq 7\\) die vier Bedingungen entweder unvereinbar sind oder eine einzige endliche Gruppe definieren.  Zun\u00e4chst werden als erzeugende Elemente \\(P = (ST)^{-1}\\), \\(Q = (ST)^2S\\) eingef\u00fchrt, so da\u00df \\(S =P^2Q\\), \\(T = P^3Q\\) wird. Dann sind die definierenden Relationen \\((2,3,7;p)\\) mit  \\[  P^7 = Q^p = (QP^2)^3= (QP^3)^2 = 1  \\]  \u00e4quivalent. Weiter werden einige vom Verf. in der vorstehend angezeigten Arbeit bewiesene, aus den definierenden Relationen folgende S\u00e4tze angef\u00fchrt, einige weitere abgeleitet. Es gilt u. a:  \\[  (QP^4)^3 = (Q^3P^3)^3 = (Q^2P^2)^3 = (Q^2P^5Q^2P^3)^2 =1, \\;\\;QP^2Q = PQP, \\;\\;(P^2QPQ^\\alpha )^2= 1,  \\]  letzteres f\u00fcr jedes ganze rationale \\(\\alpha\\).  Sodann wird die Ordnung \\(t\\) von \\(Q^2P^5\\) besprochen. Es wird gezeigt, da\u00df die Annahmen \\(t = 2\\), \\(t =4\\) unzul\u00e4ssig sind. Hingegen gibt \\(t = 3\\) von selbst \\(p =4\\); man erh\u00e4lt die (einzige) einfache Gruppe der Ordnung 168. Bei \\(t = 5\\) kommt man genau auf eine Gruppe der Ordnung 12180.  F\u00fcr \\(p > 7, t > 5\\) sind anscheinend \\(p\\) und \\(t\\) von einander unabh\u00e4ngig. Hier wird der Fall \\(p = 8\\), \\(t =6\\) sehr genau besprochen. Von jetzt an ist also \\(Q^8 = (P^2Q^5)^6 = 1\\).  Wie gezeigt wird, hat jede so definierte Gruppe die Eigenschaft, da\u00df \\(Q^4\\) mit jedem Element \\(P^iQ^4P^{-i}\\) vertauschbar ist; \\(Q^4\\) hat die Ordnung 2; also haben alle diese Elemente als konjugiert zu \\(Q\\) diese Ordnung. Einschlie\u00dflich \\(Q\\) hat man sieben solche Elemente. Leicht zu sehen ist, da\u00df ihr Produkt l ist. Hieraus folgt, da\u00df sich aus ihnen eine abelsche Untergruppe vom Typus \\((2,\\ldots, 2)\\) von der Ordnung \\(2^z\\) aufbauen l\u00e4\u00dft, wobei \\(z\\leqq 6\\) ist. Diese Untergruppe erweist sich als Normalteiler der Gesamtgruppe. Es ergibt sich, da\u00df die Ordnung der Gesamtgruppe die Zahl \\(10752 = 2^6 \\cdot 168\\) nicht \u00fcberschreiten kann. Diese Ordnung wird tats\u00e4chlich erreicht. Die bez\u00fcgliche Gruppe \\(G\\) l\u00e4\u00dft sich durch Permutationen des Grades 42 darstellen. Der abelsche Normalteiler \\(H\\) von \\(G\\), der aus den konjugierten Elementen von \\(Q^4\\) aufgebaut ist, hat die Ordnung \\(2^6\\).  Die Frage, ob die Konjugierten von \\(Q^4\\) au\u00dfer der schon erw\u00e4hnten Relation noch eine Bedingung erf\u00fcllen k\u00f6nnen, beantwortet sich so: Durch \\((2, 3, 7; 8)\\), \\ \\(Q^4PQ^4P^4Q^4P^2 = 1\\) wird eine Gruppe \\(G'\\) der Ordnung 1344 definiert, in der \\((Q^2P^5)^6 = 1\\) erf\u00fcllt ist. Der Normalteiler \\(H'\\) von \\(G'\\), gebildet aus den Konjugierten von \\(Q^4\\) und ihren Produkten, hat die Ordnung 8. \\(G\\) und \\(G'\\) sind die einzigen Gruppen, die \\((2, 3, 7; 8)\\), \\(t = 6\\) erf\u00fcllen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2601780$37682BCE-48D6-4E26-A91C-40242E0D4E19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10e854b93b265da8fa30acb87edb90d72da18469","datavalue":{"value":"2519946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601780$7BAF1B50-7E61-4FDC-8FE3-50DBCDA9F369","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":"Q2601780$D769CED5-C031-4049-92CF-6C366F32CF69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b94db1b035ee378230aeaccd47684de1ddea8635","datavalue":{"value":"https://doi.org/10.2307/1968601","type":"string"},"datatype":"url"},"type":"statement","id":"Q2601780$02D30747-4298-4DF3-BB2E-3FBCD7E0399F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cee0b8dc043ffb07602d8d3fa5fa0b5ea81c731","datavalue":{"value":"W2313124657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601780$84E77AA0-37D7-414A-BE04-801A5799C687","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2601780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2601780"}}}}}