{"entities":{"Q1339980":{"pageid":1350719,"ns":120,"title":"Item:Q1339980","lastrevid":70181430,"modified":"2026-04-13T12:59:31Z","type":"item","id":"Q1339980","labels":{"en":{"language":"en","value":"Still another proof of the existence of Sylow-\\(p\\)-subgroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 702466"}},"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":"Q1339980$1865B53B-E2B7-4B3E-97B3-F050E4FE4524","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84a012b2a9da830d61b8b6ae1099c1461eb4977a","datavalue":{"value":{"text":"Still another proof of the existence of Sylow-\\(p\\)-subgroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1339980$8F0BAF21-112F-4F8D-8BD4-B7CC907F0078","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e25a41ca2723f0da2a43913e462aad3ad16e99ab","datavalue":{"value":"0822.20020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339980$A9E2946F-A82F-457D-9939-536104CE80E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5cdbbc38bd0212cc8cc5d194d063f74d66b1ae7","datavalue":{"value":{"entity-type":"item","numeric-id":165832,"id":"Q165832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1339980$0BC046EA-EB23-469D-AE87-537F05DDFB6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1339980$EADD2A48-6A96-4E98-9A40-6B48CD4EC20F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"031c5d066bfbf994f645c207439d2003ce1ed02e","datavalue":{"value":{"time":"+1994-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1339980$CC8F6601-B620-40F1-B412-404BB207B486","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82bb2285698e88199309131a7e47d19b82066979","datavalue":{"value":"https://eudml.org/doc/232723","type":"string"},"datatype":"url"},"type":"statement","id":"Q1339980$DA8EB8F0-4FC5-4603-BF05-D57B722B238A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9b4338e8ca202456ce8ff8a0c40ec07227d5878","datavalue":{"value":"http://www.emis.de/journals/BAG/vol.35/no.1/","type":"string"},"datatype":"url"},"type":"statement","id":"Q1339980$ECA0272D-2B48-4D18-8B4A-02372D91DC6A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"53830f935dd1893cdebf70836e8b49aa56d37650","datavalue":{"value":"The classical inductive proof of the existence of Sylow \\(p\\)-subgroups became obsolete when \\textit{H. Wielandt} published his ingenious non- inductive proof [Arch. Math. 10, 401-402 (1959; Zbl 0092.024)]. Since then there have been quite a few proofs given.   The author gives another very interesting, simple yet inductive proof on the existence of Sylow \\(p\\)-subgroups using the fact that for every nontrivial subgroup \\(U\\) of a finite group \\(G\\) the set \\(X(U) := \\{f : G/U \\to G\\mid f(gU) \\in gU\\) for all \\(g\\in G\\}\\) of all systems of coset representatives of \\(U\\) in \\(G\\) is a fixed point free \\(G\\)-set of cardinality \\(| X(U)| = | U|^{(G : U)}\\) and hence, by orbit decomposition, there exists proper subgroups \\(V_ i < G\\) of \\(G\\) \\((i = 1,\\dots, n_ U)\\) with \\(| U|^{(G : U)} = \\sum_ i (G : V_ i)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339980$39F829C8-2424-4C64-8BF7-28493110AADC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c3a6ee1e12cdba49a648cbf542be805753a52e05","datavalue":{"value":{"entity-type":"item","numeric-id":679235,"id":"Q679235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1339980$C2AE579C-A30F-4D40-972A-34642C3CFCF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cb279cd820ee6d5f5647cc9befc318ac29106a8","datavalue":{"value":"20D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339980$3CF52A74-0E67-4BE9-B3EE-B843272D6C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"635c77a39b27ee22a5bfcde299ab7a563c7614e1","datavalue":{"value":"20D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339980$02786185-E9D3-4B10-B78C-BCC2C66ADA53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15cd00356ddc4df697ddd9ff4ae2ef5998c965da","datavalue":{"value":"702466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339980$57AE74BC-E903-43F6-91F9-E1E3AC007EFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1e725cb33dd5ceb432c2196b4a6417e309bcabc","datavalue":{"value":"Sylow theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339980$8C23E8F3-D726-4B08-9292-2FAF26DB9BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f0c4cf26c3c74a75791f617c184e264f22c14d3","datavalue":{"value":"existence of Sylow subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339980$634EA756-2F78-499C-A1D9-DAE22E263112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de99e7f702b6736310c9f87d01eb639db75a4c72","datavalue":{"value":"finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339980$D6726891-EB15-4DFF-9EDB-D62017092D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb7a168a763ca74e680b5270187378465c1fdf3d","datavalue":{"value":"systems of coset representatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339980$CA7B05CC-6C3D-4E50-BE28-24901191A829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef09b528cd8c6d470c5ef7d9a04c08f971a6cfd0","datavalue":{"value":"fixed point free \\(G\\)-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339980$F116A2A0-5CFB-4B3E-8440-3F619960D460","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":"Q1339980$5D8901F2-F5CD-4989-8483-7A9B59012C74","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"585a270066666de3bb9bef40b69094fd5aa6adc7","datavalue":{"value":"bafkreignmxpgp7xpxupvy6sxziy6fkp7yiuyrhzhi2nlmqkc7ekzxsyfne","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339980$59651F9A-8274-4A5D-A969-0412D9E6A847","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d17f17ed642cf7d46901969236ca1d2b1250b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4360854,"id":"Q4360854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bec638149f609a87858aa1065516df9262d6c74","datavalue":{"value":{"amount":"+0.7222036123275757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1339980$C478184F-59A0-444E-929C-D27B4DB019D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50a8c7a6e4f14bf745b544c0f3a17a8aab5d293","datavalue":{"value":{"entity-type":"item","numeric-id":4847079,"id":"Q4847079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b82f916461c289b66020d5f3deac834b92ec0ff6","datavalue":{"value":{"amount":"+0.717810332775116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1339980$26F8F788-1F80-4346-A774-A3C893C17CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19ec223b542ed76e880e840bdf5d31d045c4777","datavalue":{"value":{"entity-type":"item","numeric-id":3371536,"id":"Q3371536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a32e45ae29faf05940f053e1e823d4512337ec0c","datavalue":{"value":{"amount":"+0.7145408987998962","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1339980$FA4EDEB0-9274-4F71-BFAC-5002BA3FE759","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Still another proof of the existence of Sylow-\\(p\\)-subgroups","badges":[]}}}}}