{"entities":{"Q1963828":{"pageid":1974570,"ns":120,"title":"Item:Q1963828","lastrevid":72059802,"modified":"2026-04-14T02:23:05Z","type":"item","id":"Q1963828","labels":{"en":{"language":"en","value":"Cyclic regulating balanced Butler groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1398341"}},"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":"Q1963828$3388BB94-CE45-42F8-96C3-4F7463A72A11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84749d349938fd31c3bd46ad8e62c3a021cea78a","datavalue":{"value":{"text":"Cyclic regulating balanced Butler groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1963828$FEAF14F2-FC08-4252-A751-196910A2702A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bab35e726b6d3d23b39eb99abee8cfd903eefa9","datavalue":{"value":"0948.20030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963828$B462E1EC-C34C-4293-AE56-1520D13800A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3f65313ce9611c0072d0bdb292144ecaee35335","datavalue":{"value":{"entity-type":"item","numeric-id":786924,"id":"Q786924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1963828$2FB0A74F-F905-4839-86A4-58F8D4C91576","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1963828$7D3CF926-64F9-4A27-BACA-AED58E3EB0A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df2c237657e5eb37bf427bcd7d37c4f135361239","datavalue":{"value":{"time":"+2000-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1963828$276E4576-751F-467E-B70F-101D927E49C0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e87b558ac15732fc929e2844b71abad3f58cc06e","datavalue":{"value":"A torsion-free Abelian group \\(X\\) is called completely decomposable if it is isomorphic to a finite direct sum of subgroups of the additive rationals \\(\\mathbb{Q}\\); and almost completely decomposable if it contains a completely decomposable group \\(A\\) as a subgroup of finite index. If the index \\(|X/A|\\) is minimal among all such, the group \\(A\\) is called a regulating subgroup of the acd group \\(X\\) and \\(|X/A|\\) is called the regulating index. If \\(A\\) can also be chosen so that \\(X/A\\) is a cyclic group, then \\(X\\) is called a cyclic regulating acd group. One important tool in the study of acd groups is the fact that the intersection of all regulating subgroups of \\(X\\) is again a completely decomposable group of finite index, called the regulator of \\(X\\) and denoted \\(R(X)\\).   If \\(\\tau\\) is a type (isomorphism class of subgroups of \\(\\mathbb{Q}\\)), then \\(X(\\tau)=\\{x\\in X:\\text{type}(x)\\geq\\tau\\}\\). The Burkhardt invariants for \\(X\\) are defined by \\(\\beta_\\tau(X)=\\text{exponent}[X(\\tau)/R(X(\\tau))]\\) where \\(\\tau\\) ranges over the typeset of \\(X\\). If \\(S\\) is a subset of the typeset, then \\(\\beta_S(X)=\\text{lcm}\\{\\beta_\\tau(X):\\tau\\in S\\}\\).   Denote by \\(K(0)\\) the class of homomorphic images of completely decomposable groups. Then for \\(n\\geq 1\\), let \\(K(n)\\) be the set of all groups \\(G\\) for which there is a short exact sequence \\(0\\to G\\to C\\to H\\to 0\\) with \\(C\\) completely decomposable and \\(H\\in K(n-1)\\). The Kravchenko classes \\(K(n)\\) form a descending chain whose intersection is the class of completely decomposable groups.   Theorem 2.5. Let \\(X\\) be a cyclic regulating acd group and \\(A\\) a regulating subgroup such that \\(X/A\\) is cyclic. Then, for \\(n\\geq 0\\), \\(X\\in K(n)\\) if and only if for every subset \\(S\\) of \\(\\text{typeset}(X)\\) with \\(|S|\\leq n+1\\), we have \\(\\beta_S(X)\\) is the regulating index of the pure subgroup generated by \\(\\sum_{\\tau\\in S}X(\\tau)\\).   Suppose \\(X\\) is a cyclic regulating acd group and \\(A\\) is a regulating subgroup so that \\(X/A=\\langle x+A\\rangle\\) for some \\(x\\in X\\). Express \\(A=\\bigoplus A_\\tau\\) as a direct sum of homogeneous components. Then if \\(m\\) is the order of \\(x+A\\), we have \\(mx\\in A\\) and can write \\(mx=\\bigoplus a_\\tau\\) with \\(a_\\tau\\in A_\\tau\\). Denote by \\(m_\\tau\\) the order of \\(a_\\tau+mA\\) in \\(X/mA\\). Though not stated specifically in the paper, the \\(m_\\tau=m_\\tau(X)\\) are invariants of the group \\(X\\). The question arises as to what sets of invariants \\(m_\\tau\\) may be ``realized'' by a cyclic regulating acd group \\(X\\).   Given a finite set \\(T\\) of types and a set \\(\\{m_\\tau:\\tau\\in T\\}\\) of positive integers, for each subset \\(S\\) of the meet closure of \\(T\\) in the lattice of types, define  \\[ \\beta_S=\\begin{cases}\\text{lcm}\\{m_\\tau:\\tau\\in T\\}=m_T\\text{ if for each }\\tau\\in T\\text{ there exists }\\sigma\\in S\\text{ such that }\\sigma\\geq\\tau;\\\\ \\gcd\\{m_T/m_\\tau:\\tau\\ngeq\\sigma\\text{ for each }\\sigma\\in S\\},\\text{ otherwise}.\\end{cases} \\]  The realization theorem is then Theorem 3.5. Given \\(n\\geq 0\\), a finite anti-chain \\(T\\) of types, and a set \\(\\{m_\\tau:\\tau\\in T\\}\\) of positive integers, there exists a cyclic regulating acd group \\(X\\in K(n)\\), with critical typeset contained in \\(T\\) and \\(m_\\tau(X)=m_\\tau\\) if and only if the following conditions are satisfied: (1) If the prime \\(p\\) divides \\(m_\\tau\\), then \\(\\tau\\) is not \\(p\\)-divisible. (2) For any subset \\(S\\) of \\(T\\) with \\(|S|\\leq n+1\\), \\(\\text{lcm}\\{m_\\tau:\\tau\\not\\in S\\}=\\text{lcm}\\{m_\\tau:\\tau\\in T\\}\\). (3) For any subset \\(S\\) of the meet closure of \\(T\\) in the lattice of types with \\(|S|\\leq n+1\\), we have \\(\\beta_S=\\text{lcm}\\{\\beta_\\tau:\\tau\\in S\\}\\).   The author also proves a structure theorem for \\(p\\)-primary cyclic regulating acd groups \\(X\\) with no completely decomposable summands that belong to \\(K(n)\\) (Theorem 3.8). The structure invariants arise from writing \\(X=A+\\mathbb{Z} p^{-m}a\\), where \\(A\\) is a regulating subgroup such that \\(X/A\\) is a cyclic \\(p\\)-group (\\(p\\) a prime) and \\(a\\in A\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963828$B04FF314-0A39-47C9-9C93-5ED21D9D47A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86add130ce1bc29a7dcfc03615753d4d478943bf","datavalue":{"value":"20K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963828$5269EE26-79B4-4F32-A64B-0C3DBAEDD1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c3b6ad199b0a7cb38e73a1b14a4a2e6f90b62b0a","datavalue":{"value":"20K27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963828$95D4F2E7-43FC-47E5-A172-72BA16A52746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2201aba74a3d4a617edab8e76a38123f9009fdfb","datavalue":{"value":"20K25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963828$0A8F3EC4-AF05-487F-8394-D3BDB329C693","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb6b8a883f4c692cd9de67f97045583306cb21ad","datavalue":{"value":"1398341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963828$8A941988-4243-4C2F-A287-478DB182A1D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e08a6ff7958aa483351b9f75f1942a489aa1ae3","datavalue":{"value":"torsion-free Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963828$4CE52D7D-3F13-4D69-84D2-B684F15B383A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b238531a0642629050d6204546adae1bf73e139","datavalue":{"value":"finite direct sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963828$4F861BAE-7C98-474A-AB44-4467562F242A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce133634b3d0607a23c81a69aeabe837ee60ffc1","datavalue":{"value":"completely decomposable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963828$3B4B7A56-00EC-4E8F-BA15-4698CA46F3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"478f5436c841f182abd749d3648a229ca752fd86","datavalue":{"value":"subgroups of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963828$F273D991-5A02-4961-9D3C-2A0A820D31E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e7160a1a5cba380b5331f3c558f8e5b7099fd1","datavalue":{"value":"regulating subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963828$1811FF25-7E0F-4C7E-854F-BB9C9B1CE9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6388de6131e5010d9ffec31abee6477b8404a46e","datavalue":{"value":"Burkhardt invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963828$C3397680-D2C6-403B-A783-18E2D7F0C6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b19314843ca48a6a9d8d4e9a1271c777e611e3a7","datavalue":{"value":"typesets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963828$EB9944D7-F45E-4083-96CB-013775BA7F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14cf456731f6a8bac5c598f9f51eef1afa847441","datavalue":{"value":"Kravchenko classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963828$763437D3-862B-40E0-A987-0C54E9F70775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dfa1223bcc022a9774e1122352cb13d13ef4f0a","datavalue":{"value":"regulating indices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963828$BA010064-78E5-4AD4-B9C7-962CC06297AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1d849b78c9fe39a91397d121c78c6fa404ef3","datavalue":{"value":"pure subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963828$B1427280-74C8-4FD8-A9AE-E06ACDF9A1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b9075be4533f2e6d70b578e474e0a80432351a2","datavalue":{"value":"lattices of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963828$1F840CBA-34A3-4C02-86D3-6196DBF96DC4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6865107c5cbf016122c5b8a57ea7bf7ab4d24b78","datavalue":{"value":{"entity-type":"item","numeric-id":1232462,"id":"Q1232462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1963828$8442636D-001C-48F1-8E0B-0ACC132B4C98","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":"Q1963828$2AD9F8C4-25F9-465C-A1A6-E937E552CB6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea14a15648dc79e24f66e37c1037f0f53b66d2c6","datavalue":{"value":"https://doi.org/10.1007/s002290050233","type":"string"},"datatype":"url"},"type":"statement","id":"Q1963828$34142DB9-93F1-4934-A2FB-C78C8F178508","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9ff92cf6ac3f536d2192196a7fe941384ef5a5e","datavalue":{"value":"W2015189365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963828$43EC7179-D085-49F4-8F1D-24AC283A0C77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7057c73acb624fbaeb407197a22263a80696a170","datavalue":{"value":"10.1007/S002290050233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963828$7E71698D-8BB3-4A02-A4E1-6B05E48FF31D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb4a8db15b053e5da57ce25cb0051d187282c40","datavalue":{"value":{"entity-type":"item","numeric-id":4865892,"id":"Q4865892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50a5b94e0ceec9ad1bb9b903859cad0554ea899","datavalue":{"value":{"amount":"+0.8536260724067688","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":"Q1963828$20769F97-9CEC-4623-A1E1-44ECE6B1F012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd4c3e230ad88d91a3d48d254e1a9afef749980b","datavalue":{"value":{"entity-type":"item","numeric-id":3140876,"id":"Q3140876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eb263c8b708f82e5f4c744c7c93f2d7fd8e5f62","datavalue":{"value":{"amount":"+0.8512507677078247","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":"Q1963828$FE50B2EE-CF64-4748-82C2-B7EDB9F55E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca76274880ad05041325c870feb2ab61ec0f273","datavalue":{"value":{"entity-type":"item","numeric-id":4865881,"id":"Q4865881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8002580f1ee38da079ebfe331dd1f888b3d4915","datavalue":{"value":{"amount":"+0.8449837565422058","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":"Q1963828$D0627C66-0D18-427E-9AF4-ABF7B7A3BA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c38feabc229f26cb8bebfe683316f66006d25f6","datavalue":{"value":{"entity-type":"item","numeric-id":1972049,"id":"Q1972049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8139f3b3d819ec966c5e339d8f1c88ddfeb1323","datavalue":{"value":{"amount":"+0.8445345163345337","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":"Q1963828$7FC79A8E-A9FE-437D-88BC-8F5D79B3DA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"537e56d8d10ef289e1894e8f9785eda6976ce9cb","datavalue":{"value":{"entity-type":"item","numeric-id":1903027,"id":"Q1903027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6dcd031cea399d28237017622883d4fcda78f71","datavalue":{"value":{"amount":"+0.8443808555603027","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":"Q1963828$7D841C3C-9B3F-4298-A002-931D99CFC87C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cyclic regulating balanced Butler groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cyclic_regulating_balanced_Butler_groups"}}}}}