{"entities":{"Q793154":{"pageid":795002,"ns":120,"title":"Item:Q793154","lastrevid":64421526,"modified":"2026-04-11T19:45:10Z","type":"item","id":"Q793154","labels":{"en":{"language":"en","value":"On a Boolean power of a torsion free Abelian group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855381"}},"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":"Q793154$5044B67F-4E17-4E0A-9BE9-F8B1CF1F4DA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d05c4cc541b4cef7c4bc79614245ea03be6caaa","datavalue":{"value":{"text":"On a Boolean power of a torsion free Abelian group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793154$3B818148-4306-4DEF-9D65-27F990E60D0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f59afcb821434ba4aa45559a4fe1b12176606fa","datavalue":{"value":"0538.20027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793154$E7A08C4F-1B44-4267-9857-040F005C8FB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb44563f5bbda4b147049afb0931ff57c2eefebf","datavalue":{"value":"10.1016/0021-8693(83)90174-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793154$83148064-DB08-49C4-AAD4-6E0BD9C62E0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef93307b581b7b5a0b8c1414370ba3edf754384","datavalue":{"value":{"entity-type":"item","numeric-id":208820,"id":"Q208820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793154$0F9753C3-55DC-4C89-B93D-FE98EFA3B44A","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":"Q793154$78E5264A-0B98-4384-A2A4-72F1D2313B2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q793154$0B3EAE4B-6EEB-4B8A-970E-977055A3B26F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"43508445dca4f455f5c84c0f7f3055267c40b018","datavalue":{"value":"Let \\({\\mathcal B}\\) be a complete Boolean algebra and let A be a torsion free abelian group. The group \\(A^{({\\mathcal B})}\\) consists of all functions \\(f:A\\to {\\mathcal B}\\) such that \\(f(x)\\wedge f(y)=0\\) for \\(x,y\\in A,\\quad x\\neq y\\) and \\(\\bigvee_{x\\in A}f(x)=1;\\) the sum \\(f+g\\) of two such functions is defined by \\((f+g)(x)=\\bigvee_{y\\in A}f(y)\\wedge g(x-y).\\) In particular, the direct product \\(A^ I\\) is isomorphic to \\(A^{({\\mathcal P}(I))}\\), where \\({\\mathcal P}(I)\\) is the Boolean algebra of all subsets of the set I.    In the first part of the paper there are several theorems on the groups \\(Hom(A^{({\\mathcal B})},G)\\) for slender groups G, which generalize known theorems for products \\(Z^ I\\) where \\(| I|<M_ c=the\\) first non- measurable cardinal. It is proved that if \\(| A|<M_ c\\) then \\(Hom(A^{({\\mathcal B})},G)\\) is isomorphic to \\(\\oplus_{{\\mathcal F}}Hom(A,G)\\) where \\({\\mathcal F}\\) denotes the set of countably complete maximal filters on \\({\\mathcal B}\\). If the cardinality of any pairwise disjoint subfamily of \\({\\mathcal B}\\) is less than \\(M_ c\\) then one can replace \\(\\oplus_{{\\mathcal F}}\\) by \\(\\oplus_{{\\mathcal A}}\\), where \\({\\mathcal A}\\) is the set of atoms of \\({\\mathcal B}\\). These results imply that \\(G^ I\\approx G^ J\\) is equivalent to \\(I\\approx J\\) for arbitrary sets I, J and slender groups G.    In the second part there are several theorems on homomorphisms \\(h:Z^{({\\mathcal C})}\\to Z^{({\\mathcal B})}.\\) Results are presented in terms of a Boolean extension \\(V^{({\\mathcal B})}\\) of a set theoretical universe. Let \\(<x_ i>_{i\\in I}\\) be an indexed set of elements in the group \\(Z^{({\\mathcal P}(I))}\\). The condition: for each \\(j\\in J\\) we have \\(x_ i(j)=0\\) for almost all \\(i\\in I\\), corresponds to the following condition for \\(x_ i\\in Z^{({\\mathcal B})}:\\) there exists a partition P of 1 in \\({\\mathcal B}\\) such that for each \\(b\\in P\\) we have \\(b\\leq \\| x_ i=\\check 0\\|\\) for almost all \\(i\\in I\\). Such a family \\(<x_ i>_{i\\in I}\\) is called a proper sequence; all such proper sequences form a subgroup \\(Ps^ IZ^{({\\mathcal B})}\\) of \\((Z^{({\\mathcal B})})^ I\\). For such a proper sequence it is possible to reasonably define the sum \\(\\sum x_ i\\in Z^{({\\mathcal B})}.\\) A homomorphism \\(h:Z^ N\\to Z^{({\\mathcal B})}\\) is called infinitely linear if \\(<h(e_ n)>_{n\\in N}\\) is a proper sequence and \\(h(\\sum a_ ne_ n)=\\sum a_ nh(e_ n)\\quad(e_ n(m)=\\delta_{nm}). {\\mathcal B}\\) has the slender property iff every homomorphism \\(h:Z^ N\\to Z^{({\\mathcal B})}\\) is infinitely linear. It is proved that if \\({\\mathcal B}\\) satisfies: \\(\\bigwedge_{m\\in N}\\bigvee_{n\\in N}b_{mn}=\\bigvee_{f\\in^ NN}\\bigwedge_{m\\in N}\\bigvee_{n\\leq f(m)}b_{mn}\\) for all \\(b_{mn}\\in {\\mathcal B}\\) then (1) \\({\\mathcal B}\\) has the slender property, (2) for each proper sequence \\(<x_ n>_{n\\in N}\\quad h(\\sum a_ nx_ n)=\\sum a_ nh(x_ n)\\) for every homomorphism \\(h:Z^{({\\mathcal B})}\\to Z^{({\\mathcal B})},\\) (3) \\(Hom(Z^ N,Z^{({\\mathcal B})})\\approx Ps^ NZ^{({\\mathcal B})}.\\) Under some additional assumptions on \\({\\mathcal B}\\), the group \\(Hom(Z^{({\\mathcal C})},Z^{({\\mathcal B})})\\) is isomorphic to \\(Ps^ IZ^{({\\mathcal B})}\\) where I depends on the complete Boolean algebra \\({\\mathcal C}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q793154$7AB89F45-2D53-4F9D-BC77-B2F9D69C8A35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2201aba74a3d4a617edab8e76a38123f9009fdfb","datavalue":{"value":"20K25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793154$D1C1FC30-D075-4790-8C99-4C143DB31FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0cfb57c69293433f684dbc678151e805fcd25301","datavalue":{"value":"20K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793154$4494B76A-D3EC-4A28-9D25-A3D552A5EABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13a880741f6f7aa1a4b691f23a1ea4d349674e32","datavalue":{"value":"20K30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793154$9001D7DD-1ADC-4A73-966A-151FF1A97E21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa059b96521fb33c678ba264a88aa5f5c607cf3d","datavalue":{"value":"3855381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793154$5045BFCD-00F4-4F9E-A01B-E6B9E04399B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd3d808871bec0d813060edc60b0f93ee9cf5336","datavalue":{"value":"complete Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q793154$0334CA83-9C1F-4F34-B3A8-1BAA4E291462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83be0e38e6b2f09c544f628fc6287901982c1c56","datavalue":{"value":"torsion free abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q793154$854A41FB-981A-4F1B-BE24-9BD3E098D5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b2daaf7ac864516e7b1b0451bfe3e1040a3880","datavalue":{"value":"direct product","type":"string"},"datatype":"string"},"type":"statement","id":"Q793154$B387F05A-0B74-46B0-8AE8-8662DEB4425F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbd92be805eb59d1fe451bb5d68ad539269b9fe7","datavalue":{"value":"slender groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q793154$ADEDE762-3832-4797-A9C8-7D5FCB5F8992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4074e6bc9899db08c0f618c00700344f8dc7af75","datavalue":{"value":"non-measurable cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q793154$6A7E0F7B-0716-454A-86E5-4F487AF62E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0234c8bd1d434410bb3bde3b417bbef742348b70","datavalue":{"value":"maximal filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q793154$E4A6C200-F052-4E0F-824F-1A5802B458DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a5b33f354f45ba97ebe5cc17236ae01ef2d2b38","datavalue":{"value":"atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q793154$3E4064B7-B653-42F3-91A7-5C8801A3CB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f4c2308a1b544721a238b388e15451e4e4c29df","datavalue":{"value":"Boolean extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q793154$B14CA34E-1849-4B39-A9A7-3346FD74438B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4af6d7d5a7989511f55ac60d115b479f0fd72d95","datavalue":{"value":"proper sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q793154$F9112B91-3E72-4E63-98D8-F1F8DAE5A4E7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6db43afeb5ae374f9ad0b45c93ac699e8be28929","datavalue":{"value":{"entity-type":"item","numeric-id":587810,"id":"Q587810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793154$E02C2788-DA24-4B04-8C89-B7810A7BF076","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":"Q793154$6C9F02EE-FD08-4446-8517-C21F204CABB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56c872ddd13b26128b4c6ea5f78985bb10b6862c","datavalue":{"value":"https://doi.org/10.1016/0021-8693(83)90174-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q793154$E80CC3CE-21A5-4314-885A-0BDFF80FB5E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0eef9a94b1d9a09e4eb6fb90a290f47cbefffd22","datavalue":{"value":"W2077672278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793154$22A90FC1-5CA4-4AB6-A9B2-B83B6B9E0905","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61472697d4f2ac5261ad04740698680696d17d80","datavalue":{"value":{"entity-type":"item","numeric-id":4146730,"id":"Q4146730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793154$170B0B77-898B-40D8-8685-6BBD67E7FE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b4f955c6348ce87baacf5add332a6fb0725124","datavalue":{"value":{"entity-type":"item","numeric-id":5609457,"id":"Q5609457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793154$CBB40877-5983-4A73-AABB-12B6AC894EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6dbfb4de7afb2854e5efc998cf4140f7e0ef17","datavalue":{"value":{"entity-type":"item","numeric-id":5673086,"id":"Q5673086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793154$25EC3FFE-FD83-4A8E-B8F6-8A80A5FF6AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793154$A4505D0D-76EE-462C-BAD2-E909C7AA621D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5520df82149b877fa6f48331d45b5c06f827ec3b","datavalue":{"value":{"entity-type":"item","numeric-id":2554696,"id":"Q2554696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793154$1A51C45D-5386-4CAE-8FA9-A77BF2F693B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42f33798426db10d0646ff5593963b2164ee2b9","datavalue":{"value":{"entity-type":"item","numeric-id":789520,"id":"Q789520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793154$B06A1398-C818-4F20-9E99-A94D7EA23911","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6ac7d9fb81c5b25cd3df79fa2ab879ef791886","datavalue":{"value":{"entity-type":"item","numeric-id":789520,"id":"Q789520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3236fc2ff5505cd99dcdda03daa1c148cc7a2d9","datavalue":{"value":{"amount":"+0.9266698956489564","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":"Q793154$DAC00D3E-51F3-4F2F-8DFF-041669D38A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3977d3a91bc9dfbc941798dc74bdb6998fd2d62","datavalue":{"value":{"entity-type":"item","numeric-id":761541,"id":"Q761541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0866fef51ea998a10d1283bc1d7bc3e2b22c4d7","datavalue":{"value":{"amount":"+0.8686605095863342","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":"Q793154$8BBD5B38-C653-43AE-B02D-0DEC916BC42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e79d1579831f4f83891d26e0acf853c4aba2be7e","datavalue":{"value":{"entity-type":"item","numeric-id":750625,"id":"Q750625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3560ade13b6beee83f0aca2489a5f35a10b1a6d5","datavalue":{"value":{"amount":"+0.8460736274719238","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":"Q793154$59F1E961-C6CD-4EE2-8C81-D549B317B832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a3318908020a65aec89d3d507064d5236412ee","datavalue":{"value":{"entity-type":"item","numeric-id":761539,"id":"Q761539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"637832ccf4073c9a2773d33725519118fd34ed8d","datavalue":{"value":{"amount":"+0.8116238117218018","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":"Q793154$7F466E89-FEFA-4888-BF43-64759EDE1098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d602bb6e44ecd96310fd523d697e3be1d8cf44b","datavalue":{"value":{"entity-type":"item","numeric-id":3220757,"id":"Q3220757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"805fa0aabd3e3509e4a48e67b1eb536c9d1aaed7","datavalue":{"value":{"amount":"+0.793025016784668","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":"Q793154$C3BEA770-C20B-4598-9E5A-BAA868AFF55B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a Boolean power of a torsion free Abelian group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_Boolean_power_of_a_torsion_free_Abelian_group"}}}}}