{"entities":{"Q1320181":{"pageid":1330931,"ns":120,"title":"Item:Q1320181","lastrevid":68582922,"modified":"2026-04-13T00:43:11Z","type":"item","id":"Q1320181","labels":{"en":{"language":"en","value":"Set-theoretic aspects of periodic FC-groups. -- Extraspecial \\(p\\)-groups and Kurepa trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 554207"}},"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":"Q1320181$5778D6B1-5EEF-4E59-A03D-FD5C2E0AD458","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47d54114b07630518b231e04fb968a0632ff7270","datavalue":{"value":{"text":"Set-theoretic aspects of periodic FC-groups. -- Extraspecial \\(p\\)-groups and Kurepa trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1320181$C710FCEA-0B9B-4C15-9771-4186A37C9137","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e805c9a800a193c0629874c5142a821f97898b2","datavalue":{"value":"0801.20011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320181$71C8AA36-2A0F-4289-9935-7D5C13C4091C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320181$9A37D087-A939-4969-B14A-4E4DFE6C6B99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7736fa8696abd897b2ab96cb60896aceef987c38","datavalue":{"value":{"time":"+1994-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1320181$EBED3FC8-F858-4804-B7A7-22D8CC5FED6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e17bfabde1c853f9be3fdef0ad091f20058f738","datavalue":{"value":"https://arxiv.org/abs/math/9211201","type":"string"},"datatype":"url"},"type":"statement","id":"Q1320181$44AE3E23-335E-4FCC-BF05-BEC8156EFBA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"79ac8f0fb31595b33c70c6bdd502447c459bc919","datavalue":{"value":"Centre-by-finite groups were characterized by \\textit{B. H. Neumann} [Math. Z. 63, 76-96 (1955; Zbl 0064.25201)] as those groups in which each (abelian) subgroup has finitely many conjugates. This is a theorem about FC-groups and one can ask whether the following are equivalent for an FC- group \\(G\\) and an infinite cardinal \\(\\alpha\\): (1) \\(|G/Z(G)|<\\alpha\\), (2) \\(|G:N_ G(U)|<\\alpha\\), for all subgroups \\(U\\leq G\\), (3) \\(|G: N_ G(A)|<\\alpha\\), for all abelian subgroups \\(A\\) of \\(G\\). In this interesting article the cases \\(\\alpha = \\omega_ 1\\) and \\(\\omega_ 2\\) are considered and rather different results are obtained for the two cases.   For \\(\\omega_ 1\\) we have Theorem A: Assuming CH, there is an FC-group \\(G\\) with \\(|G/Z(G)|=\\omega_ 1\\) but \\(|G:N_ G(A)|<\\omega_ 1\\), for all abelian \\(A\\leq G\\). But Theorem B: It is consistent that there is no such example. For finite-by-abelian groups it is proved that (1), (2), (3) are equivalent for \\(\\alpha = \\omega_ 1\\) and this suggests a possible approach for proving the equivalence of (1) and (2).   For \\(\\omega_ 2\\) we have Theorem D: It is consistent that there is an extraspecial \\(p\\)-group \\(G\\) with \\(|G|=\\omega_ 2\\) and \\(|G:|<\\omega_ 2\\) for all maximal abelian subgroups \\(M \\leq G\\) (and hence \\(|G:N_ G(A)|<\\omega_ 2\\) for all abelian subgroups \\(A \\leq G\\)). This example, which requires the existence of a Kurepa tree, can be thought of as dual to Ehrenfeucht-Faber extraspecial groups in which all abelian subgroups have cardinality less than \\(|G|\\). Theorem E: Assuming the consistency of ZFC + `there is an inaccessible cardinal' it is consistent that (1), (2), (3) are equivalent for \\(\\alpha = \\omega_ 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320181$22FFE2A2-16C3-471E-9A9B-4782D72FF0C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ca62a3bd5e86eac2a814e91f30307c16fbfc96d","datavalue":{"value":"20F24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320181$56410930-1BDD-47B1-9D7C-347F571261FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5e4b57a670ee788c7f89ba8dae300fb6f63bffc","datavalue":{"value":"20F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320181$71A2F2E8-2644-47A3-8040-DCB23EEF15C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320181$4E8467A4-AE43-4170-A076-E74BF63E4B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320181$4565E3D4-94CB-4C1D-A691-10EFE3BBC079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320181$9CF25737-6ECC-4FC7-9879-D570D0EFE316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe56446b2b503e86266adfe3e9f823cab432972c","datavalue":{"value":"03E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320181$60FA6603-DBA7-48D0-BDD0-A00A1FC1FBA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad56df97303305fdba446489a179445f25c27cc0","datavalue":{"value":"554207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320181$2C7D1810-5403-43B6-B05E-30B562091AD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f8633e7b5ceb1e6b886774777d37b63ddfff52","datavalue":{"value":"centre-by-finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320181$B281CE36-930E-480E-B800-207B87F171E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afa3274f3be1b4081759307fbf101b4094403349","datavalue":{"value":"finitely many conjugates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320181$F7A1898A-F088-4A3C-9334-C1EA1239A411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52f936c14d984f4dc37c281be16fac3f6757db59","datavalue":{"value":"\\(FC\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320181$31338337-4E29-4A09-BD2C-D3C58AA108CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a15b88fb294d030df712d2a06bbac54c41765b9","datavalue":{"value":"consistent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320181$D7C028A1-2DA1-40D1-BBD1-33CAAB8FEE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f21db93b892cfd54a79d9ecc2591daca8354e0","datavalue":{"value":"finite-by-abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320181$97516AA9-3D63-424B-BF10-B86BC0B3AF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b92a12d6fc93b659a2831d88b386dddc9e80f4","datavalue":{"value":"maximal abelian subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320181$84B04450-2730-4823-8987-D064C641B32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ae1c75e2f69351725124d1a282cf985d974c949","datavalue":{"value":"Kurepa tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320181$D09828DF-758A-4CB0-9B9F-1A946FB8A572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"041a1ceda15ef96120df7afa9a9ae27a21038863","datavalue":{"value":"Ehrenfeucht-Faber extraspecial groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320181$4D10F7E1-791E-4833-8343-37F98931BEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320181$F63127E6-53A0-4B70-9CC4-55CE925D19C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"522d86fd2a374cdca0cbc78d1fc86b837c837abc","datavalue":{"value":{"entity-type":"item","numeric-id":386635,"id":"Q386635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320181$F8302F02-F667-40CC-B487-182D9C4D31AF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3af9ce1b3f880a26a130f458e584c5c10d9017b9","datavalue":{"value":{"entity-type":"item","numeric-id":585360,"id":"Q585360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320181$36918443-7758-4F5E-9F73-60E807C941CE","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":"Q1320181$B018E29E-6DFF-4574-B773-6A2A811501AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"509d493af05a185864f9c169d9357de7e49ffd9d","datavalue":{"value":"W2009762937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320181$D647AAA6-5D34-4ECB-961B-5EA695C766D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d93f7de6c625418844175001a95a3ffdd0f9407","datavalue":{"value":"10.1006/JABR.1993.1252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320181$66A383CB-DC8F-4232-88E2-47B43B4F0327","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d03d45514bba2c59586b0f323420b52f102324","datavalue":{"value":{"entity-type":"item","numeric-id":4848569,"id":"Q4848569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a580764aaea94ce04f4b82cb45f125dd011246a","datavalue":{"value":{"amount":"+0.8898903131484985","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":"Q1320181$D9FD62CA-5FC7-42F3-87F3-3121B4E99F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ef22572e30da1e190da905d9d39897392405c8","datavalue":{"value":{"entity-type":"item","numeric-id":1117224,"id":"Q1117224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f727c0360e3856594919be16334f9cddfeb3711a","datavalue":{"value":{"amount":"+0.8440821766853333","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":"Q1320181$C11ED533-16EC-46F0-8970-D796E8EB9C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a8133f5a8154381a1ea0be69c7d8a8d59985e9","datavalue":{"value":{"entity-type":"item","numeric-id":3338438,"id":"Q3338438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39cb635b823b169b9fdf2134a18446f2886ec75e","datavalue":{"value":{"amount":"+0.7838204503059387","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":"Q1320181$55B1193E-155F-4F97-994D-A499786B2883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ceccf2ca36d8688086769f22920f0e458c8df4","datavalue":{"value":{"entity-type":"item","numeric-id":753807,"id":"Q753807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2219853862f3bf0cb85ea9b86fe5d650d4c512","datavalue":{"value":{"amount":"+0.7767994403839111","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":"Q1320181$49FAB619-FD27-4A93-ABA0-38C0E3CE6C67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set-theoretic aspects of periodic FC-groups. -- Extraspecial \\(p\\)-groups and Kurepa trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Set-theoretic_aspects_of_periodic_FC-groups._--_Extraspecial_%5C(p%5C)-groups_and_Kurepa_trees"}}}}}