{"entities":{"Q6038517":{"pageid":13120263,"ns":120,"title":"Item:Q6038517","lastrevid":47846056,"modified":"2026-01-02T20:57:38Z","type":"item","id":"Q6038517","labels":{"en":{"language":"en","value":"Complete factorizations of finite abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7681086"}},"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":"Q6038517$42FBE955-8B91-4EDB-89D9-F30FB100C2E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56718ce3ad334562805bbdeb7ecfa8caf89b398a","datavalue":{"value":{"text":"Complete factorizations of finite abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6038517$6AD46BA1-E7AE-4ECD-B20F-F5C49EBEF7D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59c4c1200543201731a68e08a0868f0911dc5781","datavalue":{"value":"1516.20118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6038517$1C23F9BA-FBE7-4B0E-81F5-F268E39253A8","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":"Q6038517$996298B0-11DF-4B5D-A759-910F81DB3725","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ecd7bc4009759ac541a6ef3b502800194e178d2","datavalue":{"value":{"time":"+2023-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6038517$6D8D3679-B824-45D7-AA2E-D34610BB3E73","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"913fb189a1e7910e728fbf52a4cece622f892d13","datavalue":{"value":"Let \\(G\\) be an abelian group and \\(A_{1},A_{2},\\dots,A_{k}\\) (\\(k\\geq 2\\)) be nonempty subsets of \\(G\\). The sets \\(A_{1},A_{2},\\dots,A_{k}\\) are said to form a \\textsl{complete factorization of order} \\(k\\) of \\(G\\) if \\( A_{1},A_{2},\\dots,A_{k} \\) are mutually disjoint and each \\(g\\in G\\) can be uniquely expressed as the sum of \\(a_{1},a_{2},\\dots,a_{k}\\) with \\(a_{i}\\in A_{i} \\) for each \\(i=1,2,\\dots,k\\). If \\(G\\) is finite, then the \\textit{size of a complete factorization} \\(A_{1}A_{2},\\dots,A_{k}\\) of \\(G\\) is defined to be \\( \\sum\\limits_{i=1}^{k}|Ai|\\).  In this paper, the finite abelian groups that have a complete factorization are characterized. The minimum size of a complete factorization of finite abelian groups is also determined.  Specifically, here are the main results.  {Theorem 2.6}. A \\(k\\times l\\) system of product sets with matrix \\( \\mathcal{A}\\) is solvable if \\(\\mathcal{A}\\) has the property \\(\\mathcal{P}\\) and \\(k=2\\).  Here, the matrix \\(\\mathcal{A}\\) is said to have \\textsl{the property} \\( \\mathcal{P}\\) if it satisfies the following conditions: for each \\(j=1,2,\\dots,l\\) ,  (P1) if \\(|A_{j}|\\geq 3\\), then the sets \\(A_{j_{1}},A_{j_{2}},\\dots,A_{j_{k}}\\), \\( U_{j}\\) are mutually disjoint;  (P2) if \\(|A_{j}|=2\\), say \\(A_{j}=\\{i_{1},i_{2}\\}\\), then \\(A_{ji_{1}}\\cap Uj=\\emptyset \\) and \\(|A_{ji_{2}}\\cap U_{j}|\\leq 1\\).  {Theorem 2.9}. Let \\(G\\) be a finite abelian group and let \\( m_{1},m_{2},\\dots,m_{k}\\) be integers greater than one such that \\( |G|=\\sum\\limits_{i=1}^{k}m_{i}\\). There exists a proper complete factorization \\(A_{1},A_{2},\\dots,A_{k}\\) of \\(G\\) with \\(|A_{i}|=m_{i}\\) for each \\( i=1,2,\\dots,k\\) if and only if \\(k\\geq 3\\).  {Corollary 2.10}. A finite abelian group \\(G\\) has a complete factorization if and only if \\(\\Omega (|G|)\\geq 3\\).  Here for a positive integer \\(n\\), the \\textit{prime omega function}, denoted by \\(\\Omega (n)\\), is defined to be the total number of prime divisors of \\(n\\), including their multiplicity. {Theorem 2.13.} Let \\(G\\) be a finite abelian group and let \\( p_{1}\\dots p_{m}\\) be a prime factorization of \\(|G|\\). If \\(G\\) has a complete factorization of order \\(k\\), then \\(Min_{k}(G)=\\sigma _{k}(|G|)\\) and \\( Min(G)=\\sum\\limits_{i=1}^{m}p_{i}\\).  Here for positive integers \\(n\\) and \\(k\\), \\(C_{k}(n)= \\{(m_{1},\\dots,m_{k})|n=m_{1}\\dots m_{k},m_{i}\\in N,i=1,\\dots,k\\}\\) and \\(\\sigma _{k}(n)=\\min_{\\alpha \\in Ck(n)}l(\\alpha )\\), where \\( l(m_{1},\\dots,m_{k})=m_{1}+\\dots +m_{k}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6038517$69885E70-4BB9-4223-A43A-AA045A8DDD0A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ea751e1391efce5a824660ae00f540211586bfed","datavalue":{"value":{"entity-type":"item","numeric-id":306474,"id":"Q306474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038517$6C3A545B-3A17-4874-9D83-8C8234D7E282","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9b5ca6a3bce811e2a3489608b95705717ca7328","datavalue":{"value":"20K01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6038517$0B018604-00B2-440A-9855-C58D76DF26D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"16a41880afbd8630e6acc78be050f90ea5608911","datavalue":{"value":"05A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6038517$60104FBC-1742-4474-961D-3E966A9E300C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"635c77a39b27ee22a5bfcde299ab7a563c7614e1","datavalue":{"value":"20D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6038517$9C63BD13-67AF-47CC-A6D4-496613EF7FCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae11e50b6fb9442cfbef2d435cd451ca4d3a14fe","datavalue":{"value":"7681086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6038517$79344A24-37A9-4A45-A8C8-2285B1E4ADE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762795cffbe3c1e08a4cdbec77ab9ff6005a5051","datavalue":{"value":"complete factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6038517$B4BBB273-6ECD-4CD4-B49B-122FAEA0CC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d09c6863f229b2583a145abf7b678f6ad7c38a0d","datavalue":{"value":"abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6038517$36F1B268-D5A2-4090-92D3-4A16C00E91E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c42de41f3c94716175d79e3c102bb7e3ce2cb4","datavalue":{"value":"finite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6038517$D362E031-4197-4CCE-8B14-30D0F6EEF4BE","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":"Q6038517$259FDC8E-3B72-46C7-8360-0DE48538442E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6850e7d2d9d5f0146ba2c4d4cb6a600e9ce5fee0","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2023.03.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q6038517$F058ED7C-2B20-49C1-B38C-595677325313","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f4213e3a2e1feabd9131dbc00ae1a8d39bb3229","datavalue":{"value":"W4362608193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6038517$0EFA3BAE-79E0-4912-A45D-CB306E4497F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd32e2da459f7d566b3ee5fce93c1e3efda59bf","datavalue":{"value":{"entity-type":"item","numeric-id":779109,"id":"Q779109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038517$28277C01-63E6-467D-933F-AB0B716B186F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a9eb6d43575433a3dbf0474c546a79c2427322","datavalue":{"value":{"entity-type":"item","numeric-id":2002151,"id":"Q2002151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038517$36218DE3-334A-4E8E-A9E6-84D898831BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d4c14b66f8d19757e7ab72df4d40c47d7975a0","datavalue":{"value":{"entity-type":"item","numeric-id":5156112,"id":"Q5156112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038517$0C7B86D3-AFDB-407B-9724-C634CF320D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae279c9a54cf5a885599c85c9ab03cba05ae0fa","datavalue":{"value":{"entity-type":"item","numeric-id":5089948,"id":"Q5089948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038517$70A49519-668A-4E38-BBF5-CE3F56129238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d51ad610e77c2479ce7be1a66033685189f38c","datavalue":{"value":{"entity-type":"item","numeric-id":4663074,"id":"Q4663074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038517$B788249D-7B06-4F77-8CAC-705AE73BA77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d29f320883f17a3ab0e228e4375afc4aa8b46d3","datavalue":{"value":{"entity-type":"item","numeric-id":4870316,"id":"Q4870316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038517$CEB9BB37-9031-4845-9BD1-636378F296A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acfaae44cb4f6c9f57414a433ea3378c9d76374d","datavalue":{"value":{"entity-type":"item","numeric-id":4817438,"id":"Q4817438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038517$7B97548D-2479-4383-A5F5-FCF47C9A1311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d516f56ff9bb4509c3221efb6ed4854e36789f","datavalue":{"value":{"entity-type":"item","numeric-id":1865128,"id":"Q1865128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038517$376D3C07-FA62-4D90-A20A-D2B611D74ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f646d22e80134aea873492371fd286ba3d1df7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3618809,"id":"Q3618809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038517$28E11E9D-0F9B-44B6-85B0-07E1BEC2728A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb4bff52d9678ebecf42f647975ba23b4b15070","datavalue":{"value":{"entity-type":"item","numeric-id":4817439,"id":"Q4817439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038517$C4D0FA97-07DB-46DA-8905-E9C20A123959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d836cd5e1912061b5dfd646f0f8da0b903f0e62","datavalue":{"value":{"entity-type":"item","numeric-id":4811487,"id":"Q4811487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6038517$E46D2384-BFD6-476C-88C6-38CFCA7F20DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d0268497658c60bb697a0480d75e2560a6a600a","datavalue":{"value":"10.1016/J.JALGEBRA.2023.03.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6038517$82A41E1D-9AFE-446B-B6F2-0AFF2080FAD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc821004c2d4da6a25cb93ab02d9e95748e305e","datavalue":{"value":{"entity-type":"item","numeric-id":915858,"id":"Q915858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfca745b355b2424d55dc293844074334f517a16","datavalue":{"value":{"amount":"+0.8182721734046936","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":"Q6038517$A1A51FFA-7C26-4ED1-BF8B-75128711D998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563c5248c87d51829dd489d03f0af4c561336055","datavalue":{"value":{"entity-type":"item","numeric-id":1204549,"id":"Q1204549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e8a23ffb43647ac90fdf1f3f4e8caec3b38fa2","datavalue":{"value":{"amount":"+0.8160856366157532","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":"Q6038517$F48E0C03-BE26-413B-81D9-5A15051BF209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf1d562c081f521b93c1a95dc78833cbb3cc6c3","datavalue":{"value":{"entity-type":"item","numeric-id":4891343,"id":"Q4891343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256745e57b0853277eaa0d43a7123619a4659960","datavalue":{"value":{"amount":"+0.8156507611274719","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":"Q6038517$5264FDE3-7903-4B87-812D-B675AC5E0978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"985e32cb424cb1a16dc49ccd56647a1c6fe99599","datavalue":{"value":{"entity-type":"item","numeric-id":5089948,"id":"Q5089948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad198b1884ee3b2cf327e177cbdb2f91629d5bb","datavalue":{"value":{"amount":"+0.804275631904602","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":"Q6038517$BA2E957B-451F-4F6E-AD8E-C8A651938363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50ac76a23241737827ddf978a24b67c068ce3aa5","datavalue":{"value":{"entity-type":"item","numeric-id":4487676,"id":"Q4487676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856df90003e9de873740a99afd31d336893f3dbe","datavalue":{"value":{"amount":"+0.793635904788971","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":"Q6038517$2E1E4E4F-7FF2-41A0-BE15-948F76D702FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6038517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6038517"}}}}}