{"entities":{"Q1175117":{"pageid":1185866,"ns":120,"title":"Item:Q1175117","lastrevid":66758991,"modified":"2026-04-12T12:40:30Z","type":"item","id":"Q1175117","labels":{"en":{"language":"en","value":"Duality and invariants for Butler groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 11028"}},"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":"Q1175117$F0B11E0B-A1E9-4131-AEA0-0D686F62E1D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"635a0ee45c1bed34a6f067dd22f8daaf3e18e490","datavalue":{"value":{"text":"Duality and invariants for Butler groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1175117$4BD2C659-22B5-43DF-AC91-C0C28EB70E17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42334a3ce994eac2da149de481fb0102ed6e2bd3","datavalue":{"value":"0752.20026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175117$3E8CAE0B-34C3-4DAE-BF8A-0613AB58786A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cd9bc1394e0913fa5dd84628af4c6893a19d965","datavalue":{"value":{"entity-type":"item","numeric-id":405810,"id":"Q405810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175117$F6AC114F-725D-46B6-B2A6-D5FEBDB3CEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"944ca8c696f93e7f73a42d791cb1771dc96fa893","datavalue":{"value":{"entity-type":"item","numeric-id":1232462,"id":"Q1232462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175117$651F4720-FCBF-46B9-8A14-70AC6010412E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175117$40804C21-2994-4BC4-884B-A7F9583566F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1175117$D7FD8AAC-65B3-468B-9944-C8E88403D633","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9dd58384e4b07d42ab9c6bf58ffb28b845bc8965","datavalue":{"value":"The authors classify a special class of Butler groups up to quasi- isomorphism by numerical invariants. The class of groups is defined as follows. Let \\(A_ 1,A_ 2,\\dots,A_ n\\) be non-zero subgroups of the additive group of rational numbers. The group \\(G[A_ 1,A_ 2,\\dots,A_ n]\\) is the cokernel of the diagonal embedding  \\[ \\bigcap^ n_{i=1}A_ i\\to A_ 1\\oplus A_ 2\\oplus\\dots\\oplus A_ n: a\\mapsto (a,a,\\dots,a). \\]  Fix a finite distributive lattice \\(T\\) of types. A \\(T\\)- group is a torsion-free group whose typeset is a subset of \\(T\\). The main result of the paper is the following. A complete set of numerical quasi- isomorphism invariants for strongly indecomposable \\(T\\)-groups of the form \\(G=G[A_ 1,A_ 2,\\dots,A_ n]\\) is given by \\(\\{r_ G(M): M\\subset T\\}\\), where \\(r_ G(M)=\\text{rank}(\\sum\\{G(\\tau): \\tau\\in M\\})\\).   The proof reduces the classification to a previous classification result by the same authors in the following way. Let \\(A_ 1,A_ 2,\\dots,A_ n\\) be a rational groups as before and let \\(G(A_ 1,A_ 2,\\dots,A_ n)\\) denote the kernel of the map \\(A_ 1\\oplus A_ 2\\oplus \\dots\\oplus A_ n\\to \\mathbb{Q}: (a_ 1a_ 2,\\dots,a_ n)\\mapsto\\sum^ n_{i=1}a_ i\\). It was shown [in Proc. Am. Math. Soc. 105, No. 2, 293-300 (1989; Zbl 0673.20033)] that the strongly indecomposable \\(T\\)-groups of the form \\(G(A_ 1,A_ 2,\\dots,A_ n)\\) are classified up to quasi-isomorphism by the invariants \\(\\{r_ G[M]: M\\subset T\\}\\) where \\(r_ G[M]=\\text{rank}(\\bigcap\\{G[\\sigma]: \\sigma\\in M\\})\\). The connection between the groups \\(G(A_ 1,A_ 2,\\dots,A_ n)\\) and \\(G[A_ 1,A_ 2,\\dots,A_ n]\\) is made by means of a category equivalence which is established by utilizing suitable representations of groups. Let \\(T\\) and \\(T'\\) be finite distributive lattices of types and suppose that there is a lattice anti-isomorphism \\(\\alpha: T\\to T'\\). Let \\(B_ T\\) (\\(B_{T'}\\)) be the category of all Butler groups that are \\(T\\)-groups (\\(T'\\)-groups) with \\(\\mathbb{Q}\\otimes \\text{Hom}(G,H)\\) as morphisms. Then there is a contravariant exact category equivalence \\(D=D(\\alpha): B_ T\\to B_{T'}\\) defined by \\(D(G)=H\\), where \\(\\mathbb{Q} H=\\text{Hom}_ \\mathbb{Q}(\\mathbb{Q} G,\\mathbb{Q})\\) and \\(\\mathbb{Q} H[\\alpha(\\tau)]=\\mathbb{Q} G(\\tau)^{\\perp}\\) for each \\(\\tau\\in T\\). The equivalence has (among others) the property that \\(D(G(A_ 1,A_ 2,\\dots,A_ n))\\) is quasi-isomorphic to \\(G[D(A_ 1),D(A_ 2),\\dots,D(A_ n)]\\) for each \\(n\\)-tuple (\\(A_ 1,A_ 2,\\dots,A_ n\\)) of subgroups of \\(\\mathbb{Q}\\) with types in \\(T\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175117$163DC2B4-D051-47D3-9C50-7D0A7B62DF56","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"356b4f9baa2487af87bde69b260779b8322ed0fd","datavalue":{"value":{"entity-type":"item","numeric-id":405811,"id":"Q405811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175117$E30B401E-8A42-4C6B-9177-777BD1C7DCD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86add130ce1bc29a7dcfc03615753d4d478943bf","datavalue":{"value":"20K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175117$923EADD8-7882-4E4B-BDED-54BB88B35CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ee5ec82f1fe602a2f3e0151779f8d6f2f03f31c","datavalue":{"value":"20K40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175117$37C4147C-1E21-48FE-9783-AB199562F41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd0924bacc48367b8d971041eb028e37607d1d81","datavalue":{"value":"20K99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175117$0441E72E-7F6F-412F-8A9F-73A9E9232D6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5634b51f6ceae6d2b41f629f014ebd704bc032a5","datavalue":{"value":"11028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175117$7BCC584D-438E-48D8-9F7B-33FA6CC73DCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc2fd5d249da6515a2001d10dcc99cefcc72bbd8","datavalue":{"value":"Butler groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175117$DFEB15C5-4BEE-4499-AF15-078E31182619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922dd5b5d3c3b4c11754bf29c76680dc7e535fce","datavalue":{"value":"finite distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175117$1764F21E-1E28-4BA9-8DA4-4B8F6D33FD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175117$0CFE9E17-5DE1-4D36-B129-C7EE961305CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6492dcfec172a135bc962eec9225c4391dee44e9","datavalue":{"value":"typeset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175117$B6F27357-F2C1-49CD-9F4A-BB1A135E1CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268049cfdaa2f710af32fb7ccfdb04321598d280","datavalue":{"value":"numerical quasi-isomorphism invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175117$F2BCE19E-424A-4BDF-81BE-B2922EED056B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dd9ab05e3aa0c666cb089ee4439b85a575af1b5","datavalue":{"value":"strongly indecomposable \\(T\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175117$5A186777-1492-4356-A440-CCB231C50ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b59f8d4993f9f9feb4073a61d89c7b3ffa6fc6a","datavalue":{"value":"category equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175117$ABC4F7C7-DB19-4B57-9EAE-6ACED89A02E3","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":"Q1175117$FD5E3854-8E02-4F65-8EEF-CAB7ABF30D00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab465a74e0cc1617b04cda14f4112073fe8bed9e","datavalue":{"value":"https://doi.org/10.2140/pjm.1991.148.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1175117$4C06C777-8C03-4C9D-B5DB-69FBF2A7D5CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6eea8dedcf43f5f24bed7c4b448898322e060c02","datavalue":{"value":"W2085658670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175117$B9C19368-77C9-458E-BFCD-C00D9C5609AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95e2f3a6a0ddd88d4a88c81220d8381a6f86c63f","datavalue":{"value":"10.2140/PJM.1991.148.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175117$2BA2718E-BD3C-4F56-8276-926DE9B76F86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7064959f098d9d8fa78e4a8929978b3c7c876065","datavalue":{"value":{"entity-type":"item","numeric-id":4277317,"id":"Q4277317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6540dea3d3f9e8ae4ef3d6a2fa6fdce84061918c","datavalue":{"value":{"amount":"+0.8899437785148621","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":"Q1175117$1298DED5-BD26-4CDB-BC68-172C64DF3594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c7db8f1ce03a81d2b2e530e770fbbdff1eccba","datavalue":{"value":{"entity-type":"item","numeric-id":4314531,"id":"Q4314531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c1b1f8987e6802489c28131593ab08271a5b5b","datavalue":{"value":{"amount":"+0.8858575224876404","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":"Q1175117$3FBDFA7D-A608-4201-97F1-0932AD94B00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b510636dba72a6eab5bbb1cff794b3615143f76","datavalue":{"value":{"entity-type":"item","numeric-id":4315588,"id":"Q4315588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bad47653fc6c4138f7bd0d43a793b03c33bdb95c","datavalue":{"value":{"amount":"+0.8828045129776001","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":"Q1175117$1395B4AE-581D-4647-B974-FDAC4241519B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5da7f3ee35e6fc2319b948e5f2b23988b1e4393","datavalue":{"value":{"entity-type":"item","numeric-id":1315169,"id":"Q1315169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac0dc24b15cf8600b63e4d982166050caf26915","datavalue":{"value":{"amount":"+0.8758044838905334","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":"Q1175117$3C0C1A3D-D303-43E4-86C7-AFB81AB390E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b88976e05794240b4dd69addac05e0e279bfe3a0","datavalue":{"value":{"entity-type":"item","numeric-id":1174704,"id":"Q1174704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c41415bbc4ea1e11cb910cd2b1758d3d5f36b6","datavalue":{"value":{"amount":"+0.8655242919921875","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":"Q1175117$A27FD09B-3549-4A71-BD88-194799499CD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Duality and invariants for Butler groups","badges":[]}}}}}