{"entities":{"Q789520":{"pageid":791368,"ns":120,"title":"Item:Q789520","lastrevid":64355325,"modified":"2026-04-11T19:17:53Z","type":"item","id":"Q789520","labels":{"en":{"language":"en","value":"A Boolean power and a direct product of Abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3845841"}},"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":"Q789520$038A5ACB-B854-434A-990B-2E9D1B37C4DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"568c918c3d808182d27b367a76b8c2d7cdabee10","datavalue":{"value":{"text":"A Boolean power and a direct product of Abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q789520$AC090999-8C6B-4A0B-A3E5-0835D8D1AA6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ff79e8682bff3a1df1e326831c3fb8bd6781bb2","datavalue":{"value":"0533.20026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789520$8AA5327F-3DD3-49F9-9920-FBA582D00B41","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":"Q789520$F44D9E5F-8778-4C95-AB95-83DA53DBC2D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789520$2FE0FB1B-B1F5-4602-9D07-FC915A0B5F90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q789520$DA97054F-A0C2-4390-A393-02BF7FDA39DC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b0af7c97989f1b8c16d21c4750e09063fa304e7","datavalue":{"value":"The groups of homomorphisms from Boolean powers and direct products of abelian groups into slender groups and infinite direct sums of groups are investigated. Let B be a complete Boolean algebra, \\({\\mathcal F}\\) the set of all countably complete maximal filters on B, \\(\\hat A\\) a group in some Boolean extension \\(V^{(B)}\\) [see \\textit{J. L. Bell}, Boolean-valued models and independence proofs in set theory (1977; Zbl 0371.02028) or \\textit{R. M. Solovay} and \\textit{S. Tennenbaum}, Ann. Math., II. Ser. 94, 201-245 (1971; Zbl 0244.02023)] and \u00c2/F be the quotient of \\(\\hat A\\) by the equivalence relation \\(\\sim_ F\\), where F is a maximal filter on B and \\(x\\sim_ Fy\\Leftrightarrow [[x=y]]\\in F.\\) Theorem 1. Let \\(\\hat A\\) be a group in \\(V^{(B)}\\) and G a slender group. Then, \\(Hom(\\hat A,G)\\cong \\oplus_{F\\in {\\mathcal F}}Hom(\\hat A/F,G)\\) holds. This theorem implies a well-known theorem by J. Lo\u0161. Particularly, \\(Hom(\\prod_{i\\in I}A_ i,G)\\cong \\oplus_{i\\in I}Hom(A_ i,G),\\) where G is a slender group and the cardinality of I is less than the least measurable cardinal. For an abelian group A, \\(\\bar A\\) denotes the group \\(\\bar A=A/\\cap^{\\infty}_{n=1}nA.\\) Theorem 2. Let \\(\\hat A\\) be a torsion group in \\(V^{(B)}\\). Then, for each direct sum decomposition \\(\\oplus_{j\\in J}G_ j\\) of \\(\\hat A\\), \\(\\bar G_ j\\) is a torsion group for almost all \\(j\\in J\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q789520$06B13444-F341-4FA2-8604-E44C4CC4A6DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13a880741f6f7aa1a4b691f23a1ea4d349674e32","datavalue":{"value":"20K30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789520$3508EEA1-CFAE-48DA-A92F-22FF82CD5B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2201aba74a3d4a617edab8e76a38123f9009fdfb","datavalue":{"value":"20K25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789520$DE267DC3-EE0D-4B58-AE62-3A4948431376","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b3e87b10952f2c9a07ab81c91687ee09e2e6eb5","datavalue":{"value":"3845841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789520$8AB03B79-5B98-4E50-B195-2B9B717BB5FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25821da3c5558ac8fe0af17e287ddcc97b978ec6","datavalue":{"value":"homomorphisms into slender groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q789520$E87DF55C-C1F2-44F7-AA08-229143D54C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe357550ba6a867e0ee6c150e8bc8aff212443f","datavalue":{"value":"Boolean powers","type":"string"},"datatype":"string"},"type":"statement","id":"Q789520$08A9F362-4BF1-45B3-9981-453DE371CB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39901b097ace1acb4358a09f1aecd38cb62d40fa","datavalue":{"value":"direct products of abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q789520$7B7BC299-71D3-40B0-B24B-B6980C16CF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a51ab78d0e233889a4782ea6e858437606809a7a","datavalue":{"value":"direct sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q789520$FF33704E-E02A-4561-8062-D692B2F45B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d05e3b4848f1c5fc4abe6d3027ac7da7539cb8","datavalue":{"value":"measurable cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q789520$DAA24CEB-1B55-452E-BF8B-5A80C6F46958","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":"Q789520$8D439E78-14DF-4976-BB98-8ADC42E253DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cdbb5d5247e8de675ff7ded6ead0a6b69f7e433","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1496159530","type":"string"},"datatype":"url"},"type":"statement","id":"Q789520$AA72413E-453C-4FDE-9A08-7EA37CD951B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b0182bd9424497d460ddb1f07a437c976d9b0c0","datavalue":{"value":"W1564203045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789520$909B0C68-0361-4321-B206-DA4361AC568B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c98ae530a74bcb0b621a20475bb9e1fdda7cd281","datavalue":{"value":"10.21099/TKBJM/1496159530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789520$462FB32F-3111-4241-B6F8-F5AAE84D214C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d6af496f440411a5587a5ec910663d12de00151","datavalue":{"value":{"entity-type":"item","numeric-id":793154,"id":"Q793154"},"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":"Q789520$901D698D-455A-40D0-B6E4-3BD6460FB1B6","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":"03b14450b87986ccb9632b31000a04d8afdca7aa","datavalue":{"value":{"amount":"+0.8394303917884827","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":"Q789520$F8F66869-48CA-4920-8750-91C218884446","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":"1dd0e4d4d9dd8566392e50a057491c91ee3191b9","datavalue":{"value":{"amount":"+0.8297225832939148","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":"Q789520$BDA27E3D-2541-484E-988D-911BF11BB7E5","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":"3cf19a89ae60797ba6c5f492a7dfef20143c2af5","datavalue":{"value":{"amount":"+0.81089186668396","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":"Q789520$734C376F-97DD-4353-829C-57443F0FC524","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":"f913cb4f4fcd90f4cc802cf12df49d7641e3df76","datavalue":{"value":{"amount":"+0.7749804258346558","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":"Q789520$3E89695A-4D24-41D6-9816-C28EBA5D0710","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Boolean power and a direct product of Abelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Boolean_power_and_a_direct_product_of_Abelian_groups"}}}}}