{"entities":{"Q2662171":{"pageid":2672914,"ns":120,"title":"Item:Q2662171","lastrevid":44588499,"modified":"2025-11-24T03:53:30Z","type":"item","id":"Q2662171","labels":{"en":{"language":"en","value":"Recognizing a finite group from the generating properties of its subsets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7332094"}},"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":"Q2662171$301E39C2-CE18-4C0C-B3D2-5E618737901A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f79dcfbe1642beee9a23b4805f746ccbd7432e73","datavalue":{"value":{"text":"Recognizing a finite group from the generating properties of its subsets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2662171$A73A4C40-0CE9-4D0D-A7D3-27088E5FDD12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f0c419b1c80b0aed35ef953005b34819c9a1324","datavalue":{"value":"1478.20020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2662171$5ADF65B9-1A99-4211-93FB-E2B3D7B338D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cdb5f0cf207ca9d42a8491b4c3b819827170fbf","datavalue":{"value":{"entity-type":"item","numeric-id":314058,"id":"Q314058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2662171$EAEA6D9D-E8D4-43CD-A64C-CE111517E251","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c77f9c239ccea9d2907937a25e079e96e3ef239a","datavalue":{"value":{"entity-type":"item","numeric-id":251434,"id":"Q251434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2662171$F9B31C81-E157-40B0-955A-A498C46473A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd31c2c9c8c8536345d4e80513a246f559c6f325","datavalue":{"value":{"time":"+2021-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2662171$603B5378-A371-439F-AF79-C6DFEF24700F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2fa34c923f0f0bcefa5fa6009fe0900a46f1a298","datavalue":{"value":"Assume that you do not know the group operation of some finite group \\(G\\), but you do know the underlying set of \\(G\\) and one of the following: \\begin{itemize} \\item for each subset \\(X\\subseteq G\\): whether \\(G=\\langle X\\rangle\\); or \\item an undirected graph isomorphic to the one whose vertices are the subsets of \\(G\\) and which has an edge \\(\\{X,Y\\}\\) if and only if \\(G=\\langle X\\cup Y\\rangle\\). \\end{itemize} The author shows that a good amount of information on \\(G\\) can be derived from this, such as the following: \\begin{itemize} \\item whether \\(G\\) is nilpotent, supersolvable or perfect respectively (Proposition 6(1--3)); \\item whether \\(G\\) is solvable (Theorem 9); \\item the number of non-Frattini factors, or of nonabelian factors, in a chief series of \\(G\\) (Theorem 10); \\item the probabibilistic zeta function of \\(G\\) as introduced by \\textit{N. Boston} [Prog. Math. 138, 155--162 (1996; Zbl 0853.11075)] and \\textit{A. Mann} [Forum Math. 8, No. 4, 429--459 (1996; Zbl 0852.20019)] (Proposition 10) and, consequently (using the classification of finite simple groups), whether \\(G\\) is \\(p\\)-solvable for any given prime \\(p\\) (bottom of page 121). \\end{itemize} The two cases of given information on \\(G\\) can be treated simultaneously, based on the fact that in either case, one can determine an ordered lattice \\(\\Lambda\\) whose elements \\(x\\) are labeled by positive integers \\(\\ell(x)\\) such that there exists an isomorphism \\(f\\) from \\(\\Lambda\\) to the lattice, ordered by inclusion, of all subgroups of \\(G\\) that are intersections of maximal subgroups of \\(G\\), and such that this isomorphism satisfies \\(|f(x)|=\\ell(x)\\) for all \\(x\\in\\Lambda\\) (see the text passages between Situation 1 and Situation 2, and between Lemma 1 and Definition 2).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2662171$C3BB9F99-EB06-4FD7-B563-B75E82B872BA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e5c51f8341b663968cef1750a3c4916f308922ee","datavalue":{"value":{"entity-type":"item","numeric-id":778139,"id":"Q778139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2662171$F26947B0-C7BB-467D-ABA3-52CCB0194949","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"635c77a39b27ee22a5bfcde299ab7a563c7614e1","datavalue":{"value":"20D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2662171$0F36F70E-0782-4A6F-B3FF-436DBFCACFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2662171$D834D289-21CA-4AB5-9A16-6DD160BF79AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"571b989b20ba2dcddf7d4d92674052bb126a6239","datavalue":{"value":"7332094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2662171$D9F5DA20-B7FB-4383-9EDE-7C05BB48BFC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de99e7f702b6736310c9f87d01eb639db75a4c72","datavalue":{"value":"finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2662171$565DCCE8-7E56-4BBB-B5FF-FC63652ED48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2662171$4DEE0B16-1B66-4027-8603-896FAB447A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2662171$EF85C116-A9CF-4A39-81E5-2477F724B0FE","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":"Q2662171$9B678C53-CFF7-4AAB-BFD8-C176457EBAC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2206989f3ca38b0aca4bfc5f69aa9d2ec148322","datavalue":{"value":"https://doi.org/10.1007/s10231-020-00986-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2662171$ECC284E5-FD87-4119-8081-3F86F80F2EE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c91d9f574281e5b0e91ace2e0204fab203c3db52","datavalue":{"value":"W3021136512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2662171$6B2E1082-C339-49C8-967B-FB284CE6A099","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9dbcfd917e073801ccb0a46c09681c4089770b","datavalue":{"value":{"entity-type":"item","numeric-id":2650731,"id":"Q2650731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2662171$82E114F5-85A7-46BB-8C5F-61573AB6DF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd866e0a11d66862161cbb3008e192866e213be","datavalue":{"value":{"entity-type":"item","numeric-id":5481238,"id":"Q5481238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2662171$A33F68EE-FCCB-4AD8-A401-B4245B20441E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db08849aa7707150e8aeef11d9120d78ebc52b3b","datavalue":{"value":{"entity-type":"item","numeric-id":1189495,"id":"Q1189495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2662171$7CD15E78-B0E9-4079-836F-DC8963D8B459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cecb7d3d671e20ec03a436a7396fca0e7f7c36a7","datavalue":{"value":{"entity-type":"item","numeric-id":4885303,"id":"Q4885303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2662171$E5443B59-A026-4B0A-905E-FAEDABD677AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e45092965ef4039781bc1dab742aa213760461","datavalue":{"value":{"entity-type":"item","numeric-id":4885006,"id":"Q4885006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2662171$9B56B56C-8F0D-4D34-9A60-AA8F60926CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633fc887aa2ebaef4f77229e68d1ff6cc05ba873","datavalue":{"value":{"entity-type":"item","numeric-id":4433345,"id":"Q4433345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2662171$BEFAC6F3-8E12-4357-8056-9314C00C9EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6b59607e63ca0c6509d1291851f5118490e65c","datavalue":{"value":{"entity-type":"item","numeric-id":5432597,"id":"Q5432597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2662171$572CBAC6-D17A-48D7-A667-648D1FDBC6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91ac12072657905898459eb97db11c4cc633dfa","datavalue":{"value":{"entity-type":"item","numeric-id":2370289,"id":"Q2370289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2662171$32CF09B0-339C-4622-83A2-DE63B1E9ECF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80238fe7576d5dcc0e0065a764eff899353ecc23","datavalue":{"value":{"entity-type":"item","numeric-id":1972437,"id":"Q1972437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2662171$C6D718A9-1AA8-4FAE-AF09-9EC5C758E52D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748977f820b8ee8245ecd8069aed83f33f4c1164","datavalue":{"value":"10.1007/S10231-020-00986-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2662171$BC5A96A6-3B29-448F-805B-81A1B323942C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b49d541ad3212ff077837b64bdbc48b1a6c69fd","datavalue":{"value":{"entity-type":"item","numeric-id":5126256,"id":"Q5126256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb09f3b514bd0da7007b4e2fbf636074d552a067","datavalue":{"value":{"amount":"+0.718302","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2662171$35E5B76D-2A95-4742-B1C2-CDC15DAD2D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf912338d89400b63352a9f4e67c08225e7f8b3","datavalue":{"value":{"entity-type":"item","numeric-id":3124816,"id":"Q3124816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e88b7e547de4118403d486d6d03010fe5ed57a","datavalue":{"value":{"amount":"+0.6902677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2662171$6752555D-5CC6-4605-8B76-7A1E1CD11216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97221ee5b135a1ea8760a19e626ec3d7e63ecce2","datavalue":{"value":{"entity-type":"item","numeric-id":3218237,"id":"Q3218237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db4c9dab7071bae3ae68eb59d38e07607d1c21f9","datavalue":{"value":{"amount":"+0.6809824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2662171$FECE4BDB-F722-49F5-B376-703ECCC58C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df7a5685dcb09b8012191c23a2ea207c9a259e0","datavalue":{"value":{"entity-type":"item","numeric-id":5009405,"id":"Q5009405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"664938032a507d5a93f977633f828edca4be2d84","datavalue":{"value":{"amount":"+0.6767502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2662171$7F35E1FB-0F7A-4405-A399-AE8C704F2E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89746b9db5210e55e8ee988c5a6473c99bc4ea1c","datavalue":{"value":{"entity-type":"item","numeric-id":4483667,"id":"Q4483667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0e4243bccf8e3d9afbf58e231cffb7af2305e9","datavalue":{"value":{"amount":"+0.6737042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2662171$A53171C5-F218-4F0E-AA53-DD60BA16589D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26206e449a5be9016268f21e6745f31274596483","datavalue":{"value":{"entity-type":"item","numeric-id":1078320,"id":"Q1078320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff9f1cf30f1b18c7bf811ee0a18ccf654515b4c","datavalue":{"value":{"amount":"+0.672026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2662171$D48400FD-A9DA-4371-9929-EC2B74D39B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93a845a0560aa97af92cf9d249457b43b45f7488","datavalue":{"value":{"entity-type":"item","numeric-id":4931983,"id":"Q4931983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8d40d52fa5df1f4e5377077a6e8e1e3e2f6e87","datavalue":{"value":{"amount":"+0.6717899","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2662171$92805FFB-082D-4486-A395-360058D8A3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d93159c2338b7d9598feb5481ab057fd83c1bb","datavalue":{"value":{"entity-type":"item","numeric-id":5017582,"id":"Q5017582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9d8a109b4b7c19cf02e7def0b8b6fe971eab3e2","datavalue":{"value":{"amount":"+0.6695571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2662171$B940D29C-445D-448E-9CF6-3646DCBBE61B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2662171","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2662171"}}}}}