{"entities":{"Q6584651":{"pageid":14195807,"ns":120,"title":"Item:Q6584651","lastrevid":55836340,"modified":"2026-02-20T10:42:46Z","type":"item","id":"Q6584651","labels":{"en":{"language":"en","value":"Finite groups can be generated by a \\(\\pi\\)-subgroup and a \\(\\pi^\\prime\\)-subgroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7893765"}},"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":"Q6584651$0B781F3D-0ED1-4092-9C3A-E1C4A4219ECA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b663fd4d577cfd5af0329e135b05e43d9e624438","datavalue":{"value":{"text":"Finite groups can be generated by a \\(\\pi\\)-subgroup and a \\(\\pi^\\prime\\)-subgroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6584651$8351C48A-3800-476A-A30A-40DEB9B4EF50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d67a4494be1ea33604ae1a7cd46f8e720aa1f39","datavalue":{"value":"1545.20027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584651$A1213ECC-6190-4701-B6FB-FD8BBD7BDBF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1ce1f5358159793a9765a4cc9ecc0c728cfa811","datavalue":{"value":{"entity-type":"item","numeric-id":207819,"id":"Q207819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$AFF95FFE-D425-472F-9F14-187454203C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5eee1d8859cf107392974876bcd6cc944a0f91d5","datavalue":{"value":{"entity-type":"item","numeric-id":317295,"id":"Q317295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$C0BD6DC8-C388-4105-A34F-5357CC3BC2B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$3261ED06-5E9D-41D1-974F-239ECA74B28E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fd15c6a45fe5e1ddcb64ec4c376a60cdc57323d","datavalue":{"value":{"time":"+2024-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6584651$F0694639-348C-4953-B01F-37EE331277C0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6145f11263780bbbc9492c004068913d9fcc5c63","datavalue":{"value":"A subgroup \\(H\\) of a group \\(G\\) is intravariant if for any \\(\\alpha \\in \\mathrm{Aut}(G)\\), \\(H\\) and \\(\\alpha(H)\\) are conjugate in \\(G\\) (e.g. Sylow subgroups of finite groups).\\N\\NThe first result in this paper is Theorem 1.1: Let \\(\\pi \\not\\) be a set of primes and \\(G\\) a finite group. Then there exist intravariant subgroups \\(P\\) and \\(R\\) of \\(G\\) such that \\(G =\\langle P, R \\rangle\\) with \\(P\\) a \\(\\pi\\)-subgroup and \\(R\\) a \\(\\pi'\\)-subgroup.\\N\\NUsing the proof of Theorem 1.1 and Iwasawa's criterion for freeness, the authors (thanks to a remark by D. Haran and A. Lubotzky), prove Theorem 1.3: Let \\(\\pi\\) be a set of primes. Let \\(A\\) be the free pro-\\(\\pi\\) group on countably many generators and \\(B\\) be the free pro-\\(\\pi'\\) group on countably many generators. Then \\(A \\ast B\\) is a free profinite group.\\N\\NAnother result in this paper is Theorem 1.5: Let \\(S\\) be the free prosolvable group on countably many generators, then \\(S\\ast S\\) is a free profinite group. If \\(\\pi\\) is a set of primes and either \\(2 \\in \\pi\\) or \\(\\{3, 5\\} \\subseteq \\pi\\) and \\(A\\) is the free pro-\\(\\pi\\)-group on countably many generators then \\(A \\ast S\\) is a free profinite group.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584651$2EFA133E-8CA4-4A82-9920-00B0D417318E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5bfd82087b720927b1a296c318191d7cfc2aac2e","datavalue":{"value":{"entity-type":"item","numeric-id":284097,"id":"Q284097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$1DEBD6E8-85CB-4EFA-860C-EE45E34634D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584651$E5DE3B29-A0DA-4D3C-B9BB-5D90F53BE58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cb279cd820ee6d5f5647cc9befc318ac29106a8","datavalue":{"value":"20D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584651$6558EDC6-F75F-40C2-82DA-DCABD53BD55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584651$4E71923A-D17E-4CE6-921D-C9021FE3F6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584651$51DD5F58-DFF2-4E2E-82A9-5F7781FD4BD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b33c59a6747bd82a498b64e4c81e9175b6917e1a","datavalue":{"value":"7893765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584651$B8ED0519-CDE5-45C5-A5C0-6AF2C20E44A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fabe7c897e43347d070ea6960b37699cb2cc74ef","datavalue":{"value":"intravariant subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584651$2734DB29-145F-4344-8947-DD2739D37F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11ca6fac1d5c620d4676e7f88601698aa834696f","datavalue":{"value":"generation of finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584651$301066B2-7703-4E0A-828D-F4625AE826AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5928f19ab1f979c9bd244d4c1e60213d05c190a5","datavalue":{"value":"free product of profinite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584651$2BBB43B7-01B0-46C7-8AEE-3F69A75F7E0C","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":"Q6584651$F232DA30-07F9-4E18-91BF-415D4F821829","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8865a7bc110da03ac8b22a733e7d9908928c1a86","datavalue":{"value":{"entity-type":"item","numeric-id":5915458,"id":"Q5915458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$F1028B04-79FF-4A19-8B0E-7F6B93DD10A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00edcd8369faa32adba30ab753cddd826bf7546","datavalue":{"value":{"entity-type":"item","numeric-id":1164137,"id":"Q1164137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$F764828C-1288-4533-A85F-29CFD42742E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65c5945a9a62f8efbedde20cfc4bb4f4cc15585","datavalue":{"value":{"entity-type":"item","numeric-id":2182270,"id":"Q2182270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$E159EB9C-7392-48AF-ABD7-3DC2BB6AA14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2031fa64da42e26d14ee460bc7f8e030e1d07e","datavalue":{"value":{"entity-type":"item","numeric-id":1346188,"id":"Q1346188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$C4DD74B3-FDAA-404D-B94E-55B0D35C0BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2299511bdd9257e24d50dbcbe6126abc656159","datavalue":{"value":{"entity-type":"item","numeric-id":2393741,"id":"Q2393741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$45DA1578-1432-49F8-8A0C-E98B691BCA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e009865e023343c4f62f393d1bd622b4298859e5","datavalue":{"value":{"entity-type":"item","numeric-id":1080942,"id":"Q1080942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$889F99EE-1BB5-42AD-984F-CFE307DAF1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0367eac35f80ad927b4847a232f3612765c293b7","datavalue":{"value":{"entity-type":"item","numeric-id":3006362,"id":"Q3006362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$EB764843-A70A-4338-8559-DD0203C39F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d895e99c00083d8bfcf18d74822c4b60a78bf639","datavalue":{"value":{"entity-type":"item","numeric-id":5187449,"id":"Q5187449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$A0CB6910-4187-45C3-B9D3-207CE877F7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec05e49d5bdf14a7904c23e85ea76e63fd40712","datavalue":{"value":{"entity-type":"item","numeric-id":1858304,"id":"Q1858304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$183CB4F1-3E1E-489E-8ABF-A6000E51503D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b8b1e7f24c527f2fde72ad51e4badcac09e7b49","datavalue":{"value":{"entity-type":"item","numeric-id":2840175,"id":"Q2840175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$5D0625D0-1DFC-4DAC-8446-FCCAA82A758C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0420c2ea60bec739d14dc0bae9b65928f940f64c","datavalue":{"value":{"entity-type":"item","numeric-id":5625306,"id":"Q5625306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$3FFCA38B-D7D0-4A84-A7F1-E4183B07EC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce88a0e8e97f0e00e9ee6a636bce8b991eb2358","datavalue":{"value":{"entity-type":"item","numeric-id":1230997,"id":"Q1230997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$CD6EF928-E98B-405F-B7B3-7CDE32A63CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eba73d12fefc158d3758c8500851c9c1fdd5361","datavalue":{"value":{"entity-type":"item","numeric-id":1087987,"id":"Q1087987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$D4B7B62F-DB2E-4763-90E9-EDF5E4B0FF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5cab814cd603492c1673559e52eda9669c1aa7","datavalue":{"value":{"entity-type":"item","numeric-id":5512231,"id":"Q5512231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$9B2E6F31-E420-485F-896D-85959DFE7362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21083177819031d7898b3400c72d9cac8f354a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1270112,"id":"Q1270112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584651$35B01F2F-D308-47A5-8D1F-03B034A47137","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5157246a4acdea8f0bee75a47d723de4e4710aa","datavalue":{"value":"10.1007/S11856-023-2532-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584651$1E186687-6FB1-4F1B-BD71-80F9E1573AE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27bbe33166fadb842708d7c369eee34e06158c23","datavalue":{"value":{"entity-type":"item","numeric-id":750609,"id":"Q750609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d00a63abe54a4d5d3d35c26747ec82f5cbedf0","datavalue":{"value":{"amount":"+0.8050380945205688","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":"Q6584651$9198828F-6E68-43E5-AA89-E5DF88D16584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9477cd5494184f98f52710838d73040dbc94f0","datavalue":{"value":{"entity-type":"item","numeric-id":5958875,"id":"Q5958875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba4b42038a4a65b6c28be8ed0049804b428f2ce","datavalue":{"value":{"amount":"+0.7667711973190308","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":"Q6584651$F6976D67-E624-4BCB-8B38-FDAD30D6C351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabcdf36dab4c5fa0d008b65b930e8834484d3dd","datavalue":{"value":{"entity-type":"item","numeric-id":1282512,"id":"Q1282512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dcbbb9519c7570c8fa3d853ad6e57a9e8a5636b","datavalue":{"value":{"amount":"+0.7528231143951416","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":"Q6584651$C58B390D-B54B-4D12-92E8-282D53928669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994944e0f36496b24081508362a6427feee4374c","datavalue":{"value":{"entity-type":"item","numeric-id":3485065,"id":"Q3485065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af271f75cd3d35fd0092b2cf54e9ac6088fb15bf","datavalue":{"value":{"amount":"+0.7525996565818787","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":"Q6584651$AA821E7A-21DC-4BCB-A7EC-38C973110DAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6584651","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6584651"}}}}}