{"entities":{"Q2434157":{"pageid":2444900,"ns":120,"title":"Item:Q2434157","lastrevid":78671747,"modified":"2026-05-06T12:09:50Z","type":"item","id":"Q2434157","labels":{"en":{"language":"en","value":"Direct products of subsets in a finite Abelian group."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6257954"}},"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":"Q2434157$A8153076-D458-48C2-BFA3-D4D37A139236","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c1f6bc36e3ca58a827a65d82e1f8bfe55123f0e","datavalue":{"value":{"text":"Direct products of subsets in a finite Abelian group.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2434157$FCD07A58-ABB5-402C-B6EE-29360F7E7441","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52a2e528f51db25a016085fe9fd78e278761f3eb","datavalue":{"value":"1285.20054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434157$8DB916B5-1F5E-434C-8E49-642C8DACF868","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5769ae0eaf51275482e1f52ff79db184ba17f26c","datavalue":{"value":{"entity-type":"item","numeric-id":1094539,"id":"Q1094539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434157$6761894F-FE63-4162-91E8-87EEFC900AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2e2d6572853bc4d9eda9ad825a7188d700dd289","datavalue":{"value":{"entity-type":"item","numeric-id":176454,"id":"Q176454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434157$3C213086-7DDF-45EC-B9B4-59C1DC915EA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434157$47072088-4BC1-41CF-833B-77A808F59881","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0123b277c5975b0a4fe70678b24ba478daf7402","datavalue":{"value":{"time":"+2014-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2434157$D245C9C9-F0E7-4010-85C6-154E6193E7E4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"33b17f722dc6bce3bc8f9780d7500a124993e8ff","datavalue":{"value":"For a finite Abelian group \\(G\\) and subsets \\(A_1,\\ldots,A_n\\subseteq G\\) we say that \\(A_1A_2\\cdots A_n\\) is a direct product (or factorization) if every element of \\(A_1\\cdots A_n\\) can be uniquely written in the form \\(a_1a_2\\cdots a_n\\) for some \\(a_1\\in A_1,\\ldots,a_n\\in A_n\\). A subset \\(A\\) of \\(G\\) is called cyclic if \\(A=\\{e,a,a^2,\\ldots,a^{r-1}\\}\\) for some \\(a\\in G\\) and \\(r\\leq |a|\\). A fundamental theorem of \\textit{G. Haj\u00f3s} [Math. Z. 47, 427-467 (1941; Zbl 0025.25401)] asserts that if \\(G=A_1A_2\\ldots A_n\\) is a factorization of \\(G\\) into cyclic subsets, then at least one of the factors \\(A_1,\\ldots, A_n\\) must be a (cyclic) subgroup of \\(G\\).   The paper under review deals with some extensions of Haj\u00f3s' theorem. First, the authors introduce some terminology. Let \\(A\\subseteq G\\) be a subset of \\(G\\). Then \\(A\\) is called a distorted cyclic subset if \\(A=\\{e,a,\\ldots,a^{t-1},a^td,a^{t+1},\\ldots,a^{r-1}\\}\\) for some \\(a,d\\in G\\), \\(t\\leq r-1<|a|\\) such that \\(a^td\\neq a^j\\) for each \\(0\\leq j\\leq r-1\\). \\(A\\) is simulated, if there is a subgroup \\(H\\leq G\\) such that \\(|A|=|H|\\) and \\(|A\\cap H|+1\\geq |A|\\). \\(A\\) is periodic, if its stabilizer \\(\\{g\\in G\\mid gA=A\\}\\neq e\\). Finally, a factorization \\(G=A_1\\cdots A_n\\) is normalized if \\(e\\in A_i\\) for each \\(1\\leq i\\leq n\\).   Now, the following generalization of Haj\u00f3s' theorem is proved.   Let \\(G=B_1\\cdots B_nD\\) be a normalized factorization of \\(G\\), where \\(B_1,\\ldots,B_n\\) are distorted cyclic subsets and \\(B_1\\cdots B_n\\) is periodic. Then at least one of the factors \\(B_1,\\ldots,B_n\\) is periodic.   The main step in the proof is the following lemma confirmed by the authors using character theory.   Let \\(B\\subseteq G\\) be a distorted cyclic subset and \\(A\\subseteq G\\) be the cyclic subset associated with \\(B\\). Assuming that \\(|A|\\geq 4\\), if \\(G=BC\\) is a normalized factorization, then \\(G=AC\\) is also a normalized factorization.   In the second part of the proof the authors give some sufficient conditions when a direct product of some cyclic or simulated subsets of \\(G\\) is a subgroup of \\(G\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434157$16345B6B-581C-4BF7-B932-02106C51A2D7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7f2f79d9ab7bebf6c50a9865a3f19163fcb48da8","datavalue":{"value":{"entity-type":"item","numeric-id":590631,"id":"Q590631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434157$03021D25-F31B-4A54-88C8-7C786AE8B81D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9b5ca6a3bce811e2a3489608b95705717ca7328","datavalue":{"value":"20K01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434157$1E88FC96-5D1E-457C-AF68-53FE14891C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9000ea0c20db095574a7654c93ecaccd80d74522","datavalue":{"value":"52C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434157$FA4050AD-49CD-4565-889F-EE75F2C29AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"635c77a39b27ee22a5bfcde299ab7a563c7614e1","datavalue":{"value":"20D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434157$CA593EC8-BB23-42A5-A8CA-6D53DAF8E259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4920bcb5055cf3da94830f00d832c01308357d4b","datavalue":{"value":"05B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434157$AD064932-49D5-4948-B254-E552C8558DC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f06ccfab6064b7d09992877d96ec1bfaca4f932b","datavalue":{"value":"6257954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434157$E1303031-F9B7-4E48-9BC3-DAC1D3A7950B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cedff607222d96203ce4e8d216993059f89a8d61","datavalue":{"value":"factorizations of finite Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434157$B82681C0-A734-47D0-8A3F-EA1D78EDD17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f0f88b308d624a6eb105c1c83052e03fa6beb41","datavalue":{"value":"direct products of subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434157$3CB7416B-41ED-4E47-979E-8A7BDC885CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c257cde412d5098d2d5f33aab4b5157db4ecdca","datavalue":{"value":"simulated subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434157$EC6CF2DB-DB7F-4565-B5E5-D71B67567F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291ef80fb1589d0a8487c2fcfc98cea6055d208c","datavalue":{"value":"distorted cyclic subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434157$46C1A138-9A20-45FB-991A-9F8AEF7F3968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d54e05e23876b2026af96a03cd00a6fff8df3f2","datavalue":{"value":"periodic subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434157$586DAEDD-9575-47DE-86FA-E475C393FC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd728c6b81fdcd9a63775033b2fde721f31580d1","datavalue":{"value":"generalizations of Haj\u00f3s theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434157$5CB08868-7124-4F75-BF63-FB2C704730D6","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":"Q2434157$CDA21741-9F16-4F44-A705-E382AAD27582","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5858a74e365fd549398ada9618756c69651d556","datavalue":{"value":"https://doi.org/10.1007/s10474-012-0289-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2434157$81ECB224-CE38-4664-8E81-7541E8A1700D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13237415db200baf6b2b9c85686acaabd56bb4b7","datavalue":{"value":"W2006252501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434157$ADEE4645-0BD5-41EB-B421-930B7CCBE14B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"175550056a9d5da7da7ea64d61281df92af8c256","datavalue":{"value":{"entity-type":"item","numeric-id":4700475,"id":"Q4700475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434157$1B75639C-5345-4C0C-9056-F1199362435C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb10b97032859d77ce22ebd1b7b7c83c21c043c","datavalue":{"value":{"entity-type":"item","numeric-id":2647014,"id":"Q2647014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434157$6DD73AE5-BC03-4B5A-A6C3-FEE7F9C52DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98899f58453b6907ea56151b308d345188a10db1","datavalue":{"value":{"entity-type":"item","numeric-id":4830384,"id":"Q4830384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434157$47B0B70D-E424-4351-BBF6-4CB99E48D598","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6dc0334022d04c9c45a25bf8c009ea5d1206e157","datavalue":{"value":"10.1007/S10474-012-0289-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434157$F0107ABA-6134-4509-89B6-041AB3279F59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1622255899847768d21c08a824649cdeed104792","datavalue":{"value":{"entity-type":"item","numeric-id":1333056,"id":"Q1333056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0271355eb2bbfea487738aaf734941ed4d088a","datavalue":{"value":{"amount":"+0.8916218876838684","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":"Q2434157$33AB1515-ECB2-4FAD-AB81-418B324CD119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22219f75e3b8d81fbe3712239952fda0c1a21539","datavalue":{"value":{"entity-type":"item","numeric-id":4877726,"id":"Q4877726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2dbc462619cf3714f8c790ed16301ab7eff799c","datavalue":{"value":{"amount":"+0.8848989009857178","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":"Q2434157$0E0D54A5-A9FD-4616-A645-CF47BB542E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47854235354463f8cf93d6692f264fd4bbed24df","datavalue":{"value":{"entity-type":"item","numeric-id":4853804,"id":"Q4853804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f64034d79498be55f5741a72d94f1a7880b9bf","datavalue":{"value":{"amount":"+0.881316065788269","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":"Q2434157$0D948E14-E539-4751-9964-2BCA5B56C4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f243e116cb59ed37665db86980ff8380ac4b6213","datavalue":{"value":{"entity-type":"item","numeric-id":1192615,"id":"Q1192615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b1d0f20249ed95bf9c2a64daa868436d6c5830","datavalue":{"value":{"amount":"+0.8786991238594055","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":"Q2434157$94E79CA7-86E3-4C0F-83DE-631C711D376F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60df30f5f2679e1d760d2ef01e0b97f8fc18f10d","datavalue":{"value":{"entity-type":"item","numeric-id":5699113,"id":"Q5699113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1858db43395fee5fc585d1284a91800a680bfc2","datavalue":{"value":{"amount":"+0.8750239610671997","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":"Q2434157$246BD4A8-1143-4B61-AA92-FB4B8EA138DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Direct products of subsets in a finite Abelian group.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Direct_products_of_subsets_in_a_finite_Abelian_group."}}}}}