{"entities":{"Q1335256":{"pageid":1345995,"ns":120,"title":"Item:Q1335256","lastrevid":68495301,"modified":"2026-04-13T00:05:34Z","type":"item","id":"Q1335256","labels":{"en":{"language":"en","value":"The cross number of finite Abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 645294"}},"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":"Q1335256$83383DE6-845D-4145-B841-DC49C170B928","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e370a5816681abb3976f3bdb40e5222ac99544f","datavalue":{"value":{"text":"The cross number of finite Abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1335256$90AFBE89-A77F-4F90-B60F-0F4A4E20C990","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f8ec0089ce35613f9027126e6166a5338fb69ef","datavalue":{"value":"0814.20033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335256$C13B5F55-0D38-4CCB-BB7E-FE77E952031C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32acdbbd6382c7d7c4a58315e15eef4c0f811f8f","datavalue":{"value":{"entity-type":"item","numeric-id":178621,"id":"Q178621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335256$0150E78A-6172-4A8C-B1C3-744C64E84EDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335256$C163382B-FB39-495B-B719-390A85CBC282","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff708b0c45a57323b7e3851493154f43448fb5b7","datavalue":{"value":{"time":"+1994-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1335256$8AB4709F-3FF0-4BCA-9D6B-2437507D3380","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d7c8435e395386a68f9e991566fa32ddb41860da","datavalue":{"value":"Let \\(G\\) be a finite abelian group, \\(G = C_{n_ 1} \\oplus \\cdots \\oplus C_{n_ r}\\) its direct decomposition into cyclic groups of prime power order, and \\(\\exp(G)\\) the exponent of \\(G\\). Let \\({\\mathcal U}(G)\\) denote the set of sequences \\(S\\) in \\(G\\) with sum zero, for which no proper subsequence has sum zero. For a sequence \\(S = (g_ 1,\\dots,g_ m)\\) of elements in \\(G\\) we define its cross number \\(k(S)\\) by \\(k(S) = \\sum^ m_{i = 1} {1\\over \\text{ord}(g_ i)}\\) and we set \\(K(G) = \\exp(G)\\max\\{k(S)\\mid S\\in {\\mathcal U}(G)\\}\\) and \\(K^*(G) = 1+ \\exp(G) \\sum^ r_{i = 1} {n_ i - 1\\over n_ i}\\). \\(K(G)\\) is called the cross number of \\(G\\). It is easy to see that \\(K(G) \\geq K^*(G)\\). U. Krause and C. Zahlten conjectured that equality holds for all cyclic groups. In this paper, the author concentrates on \\(p\\)-groups and obtains the following theorem: \\(K(G) = K^*(G)\\) for any finite abelian \\(p\\)-group \\(G\\). The general case remains open. In particular no finite abelian group \\(G\\) with \\(K(G) > K^*(G)\\) is known.   In order to prove the theorem, the author introduces a variant of the cross number which is easier to handle. Let \\(G = \\bigoplus^ r_{i = 1} C_{n_ i}\\) be a finite abelian group with prime powers \\(n_ 1,\\dots,n_ r\\) and let \\(u(G)\\) denote the set of sequences \\(S\\) in \\(G\\), for which no subsequence \\(S' \\subseteq S\\) has sum zero. Set \\(k(G) = \\max\\{k(S)\\mid S \\in u(G)\\}\\) and \\(k^*(G) = \\sum^ r_{i = 1} {n_ i - 1\\over n_ i}\\). The proof of the theorem is reduced to showing that if \\(G\\) is a finite abelian \\(p\\)-group, then \\(k(G) = k^*(G)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335256$D8A769CD-6E0E-4EE2-9442-050BDCF59DBC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"41fb0f35c913de84b986289faf3b7e68d8041586","datavalue":{"value":{"entity-type":"item","numeric-id":687128,"id":"Q687128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335256$0F1C9026-6A82-476E-9663-7139A4A8893C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9b5ca6a3bce811e2a3489608b95705717ca7328","datavalue":{"value":"20K01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335256$B464A51A-0531-4F26-B93B-5BF06188C3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"635c77a39b27ee22a5bfcde299ab7a563c7614e1","datavalue":{"value":"20D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335256$B3E55D5C-DC97-453C-B6C6-9A7FB61D43E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb1f50922b08cd782acbc1097af182bb06800904","datavalue":{"value":"645294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335256$F3E070AC-6E3B-48EB-93F8-28BE3D8C097C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed585d52d2998e07b8ac82c884c683470bb977e0","datavalue":{"value":"sequences with sum zero","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335256$2EE49E00-8DE5-452B-8CB6-1B8746A60C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3addd40dce95ebd2a8c389f83b40c5da4e50c4e9","datavalue":{"value":"cyclic groups of prime power order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335256$B1B2C3A1-8213-49A0-ADAC-08917CDA2CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"989bb6b40876e6b76d5fecbb771fde69c3cb71ef","datavalue":{"value":"exponent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335256$52611F55-544F-4842-97A6-72418940F364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"741cdba39802ad99b2a93780fedaac9e19267e83","datavalue":{"value":"cross number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335256$C3DD01A3-862B-49DC-98BC-3BE995647389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c05a3c94333e90e01b94afe67432c38cb19dd7a","datavalue":{"value":"cyclic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335256$B935EC5E-594A-4B2E-A40D-B3293DDE899A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a463bafaeb1223296c3e23cc57b0b4d0ebf6a23","datavalue":{"value":"finite abelian \\(p\\)-group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335256$CCACE7C4-D904-4EC5-8E15-F44D48F45E9C","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":"Q1335256$8C51646D-AA25-460D-8E4D-ED6E93CEE9EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"606065ab16bb397844f10cd8b03c45fa098141b2","datavalue":{"value":"https://doi.org/10.1006/jnth.1994.1063","type":"string"},"datatype":"url"},"type":"statement","id":"Q1335256$824AA72B-3A99-4C81-B47D-D77D004AEB52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"817c24aacb4b075f911cd216b2de83d43fffb5f6","datavalue":{"value":"W2041111052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335256$DAD11937-09BD-4AF0-BBAD-983BBE5CF55B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf3687790bf6c6e2886d5fafab518e3c278ef279","datavalue":{"value":"10.1006/JNTH.1994.1063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335256$B04E4D7D-73A4-45ED-9061-DDF922CA14CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d720bbb329db9654e5e7a1af90d9dab2eddcdc06","datavalue":{"value":{"entity-type":"item","numeric-id":1332361,"id":"Q1332361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c537f3aae9f7a4e10a64239e87e0cc82816b242f","datavalue":{"value":{"amount":"+0.9443445205688475","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":"Q1335256$5D528FC8-2426-4C91-80FF-7B6453A9F61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"759796a8725f8d307142b38ea6079ba27264fc35","datavalue":{"value":{"entity-type":"item","numeric-id":2517125,"id":"Q2517125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2767312a6cb63b0101894fed90e66f781aa734","datavalue":{"value":{"amount":"+0.9249807596206664","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":"Q1335256$1DAFCDC8-E65A-4DBB-A67E-81EE8F04ACCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37d5e38e7922f4d4d8e91f16ab932baf7795cd8a","datavalue":{"value":{"entity-type":"item","numeric-id":2637181,"id":"Q2637181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57cec5d39fbec9b586088203f197e386794a0f00","datavalue":{"value":{"amount":"+0.922925055027008","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":"Q1335256$F6ACC666-3409-4808-8FE3-FC4182E15A11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The cross number of finite Abelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_cross_number_of_finite_Abelian_groups"}}}}}