{"entities":{"Q1092901":{"pageid":1103653,"ns":120,"title":"Item:Q1092901","lastrevid":69900732,"modified":"2026-04-13T11:05:23Z","type":"item","id":"Q1092901","labels":{"en":{"language":"en","value":"Subdirect decomposition of rings and the axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4021130"}},"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":"Q1092901$FB915A43-1A72-4559-9AAA-4E680F5713A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b1afd115b44291808fce0816580df9de5b9d16a","datavalue":{"value":{"text":"Subdirect decomposition of rings and the axiom of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1092901$37A2F542-33F3-4567-862A-48AD556C94F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23cdf74f2477e5316e3d8e1983bb90e9e11762e7","datavalue":{"value":"0628.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092901$D1128875-20B1-4188-9604-E08B1BDC3DB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"842caffabe661a7e8dfaceb6edb7b87cc1821977","datavalue":{"value":"10.1007/BF01206469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092901$87B17F44-56B3-4C1C-BD4B-D6E963444500","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8476d38c0ae7bdd81791e2db55d0b478d392d0aa","datavalue":{"value":{"entity-type":"item","numeric-id":1092900,"id":"Q1092900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092901$17FEB5D3-D0E7-4AB4-A5C9-ECF154DEA01F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092901$F6918C41-C9B9-4C0C-973D-76ED27994173","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1092901$FA3138B6-B2F8-440B-9200-64B22C634EF7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0fd4e55b7f902da0d450514d977e535f1dedba0f","datavalue":{"value":"It is shown that the following is a theorem of ZF set theory without choice: A commutative ring R admits a representation as a subdirect product of subdirectly irreducible rings if and only if R contains a maximal ideal.    It follows then from a theorem of \\textit{W. Hodges} [J. Lond. Math. Soc., II. Ser. 19, 285-287 (1979; Zbl 0403.03037)] that already for the class of unique factorization domains, the subdirect product representability by subdirect irreducibles implies the axiom of choice. This answers a question of \\textit{G. Gr\u00e4tzer} [Universal algebra, 2nd edition (1979; Zbl 0412.08001), p. 161, Problem 30].    We also draw attention to the little known fact that the very notion and terminology of subdirect product representation by subdirect irreducibles were invented by \\textit{R. Remak} in 1930 [cf. J. Reine Angew. Math. 163, 1-44 (1930); Jahrb. Fortschr. Math. 56, I, p. 129].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092901$360C2B3C-9A4F-4BE0-9B38-CC9C88BBD353","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092901$E9A36F7C-BB3B-43FB-86EE-63531C5CB928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"908275bbe5600b4494a2be2129ffb902f59106d6","datavalue":{"value":"13A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092901$AFF5D9F4-57E3-49C7-BFAC-9A086D807F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092901$4AD1ECA1-69D8-463D-9706-2D0AD1B013A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d1011e2ad9ddcab002afaa014f314a602a859ba","datavalue":{"value":"4021130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092901$95C2C02F-98B4-417E-9C00-B71896B17BE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"629db6856d0dc33e7f80e1fce45b626c027d7b52","datavalue":{"value":"ZF set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092901$F32BDBC2-A558-47F8-9DB3-FBCACC104106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e920b05fc596511509f5a660c7b676e24e1a5d0e","datavalue":{"value":"commutative ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092901$61E74301-0599-4570-AFC5-201885CC7275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6e1b5db5758d655b9755dd07749cad9c0767b4","datavalue":{"value":"subdirect product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092901$3994F48E-D55A-4A2D-9FC1-3AB330120472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72cda17931099a14eb9c5b961d1764cac09edf67","datavalue":{"value":"subdirectly irreducible rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092901$652E2623-B1F2-45E1-B384-37FAEEB4C0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c1c6c913bddc092cf968730c52151910e3da835","datavalue":{"value":"maximal ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092901$7D65FE4D-EA6A-4F25-BE9D-7EAAF928C479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092901$7D24C991-94B8-4C22-A45A-ED0AEFEF62BC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0966c14ac6a42eebd210915017c967045395fc9d","datavalue":{"value":"Q114694019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092901$E1E5D4D7-B599-4529-8D17-07D67624AEDB","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":"Q1092901$1097DC81-41FD-441D-B0BD-341E4D2219F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34c2eed9ef5fc3d358f32fa8872708612a0fa4f","datavalue":{"value":{"entity-type":"item","numeric-id":5834591,"id":"Q5834591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092901$11B0AD7A-2D18-469A-A4C0-EF984A191955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99f39ecc111efa1f5dd17e54f8204c0eea3157d","datavalue":{"value":{"entity-type":"item","numeric-id":5544351,"id":"Q5544351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092901$FD119E08-C921-4A9B-841B-4B620AE1C84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddebecba5228c2c587db848afd240d4e169403bf","datavalue":{"value":{"entity-type":"item","numeric-id":3853700,"id":"Q3853700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092901$C3CECCF8-FA43-4B70-BC31-B9008F27F19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d96e061648220ef52a0fd82d6572e1a5dcf5cb","datavalue":{"value":{"entity-type":"item","numeric-id":2652472,"id":"Q2652472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092901$554923F8-3420-4A02-965D-804ED6162D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa146c6064fe6555c0b723ad2304493974726523","datavalue":{"value":{"entity-type":"item","numeric-id":3872514,"id":"Q3872514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092901$8EC5A3D5-6C85-45E0-AA6C-4821FE7A3645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82ffa8c8a5ee8563a4d684ece92857f5db439a2","datavalue":{"value":{"entity-type":"item","numeric-id":4479671,"id":"Q4479671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092901$BD6E14BD-5A22-4227-85F8-7B9499C21E9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9559f44394933f0a84e7f1fc99daaa940519e52","datavalue":{"value":"https://doi.org/10.1007/bf01206469","type":"string"},"datatype":"url"},"type":"statement","id":"Q1092901$CE9B824C-1768-4DF4-B7A0-D03E90C92650","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86700aa78d0512b32c7d9d420fae0be305220250","datavalue":{"value":"W2010190587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092901$E7C44CD5-FA43-4F4E-AF98-0AF611FEA99D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"570ddc5ef4c72c9abafb863d9c436da58f20ff5a","datavalue":{"value":{"entity-type":"item","numeric-id":3735888,"id":"Q3735888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5776308abfcb3338f7aca2c334c27c1df89e6d63","datavalue":{"value":{"amount":"+0.7652177810668945","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":"Q1092901$D06DA884-006A-444A-88A3-A2A845570BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e96b8307b20ded11060f3bdeaa88f209167ead7","datavalue":{"value":{"entity-type":"item","numeric-id":4967061,"id":"Q4967061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2c8707b232c1498f4e1dbd9c4d2062d86688a5","datavalue":{"value":{"amount":"+0.7556876540184021","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":"Q1092901$C2DD7552-F822-4C25-842A-5166FA38F0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c87a302a62f640172d43b6a2323c2322143023","datavalue":{"value":{"entity-type":"item","numeric-id":3338363,"id":"Q3338363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f0a3bb24771285a6662347adea7bb66bf8baa3","datavalue":{"value":{"amount":"+0.7403743863105774","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":"Q1092901$E79622B8-17DE-4907-B053-80EE9FB19825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a79b09f8023681a7e5e7202bdf11298681ec74e","datavalue":{"value":{"entity-type":"item","numeric-id":3803176,"id":"Q3803176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f553bb4265e64f6e6a2094a421647fc3753b9d6c","datavalue":{"value":{"amount":"+0.7374581694602966","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":"Q1092901$38E55D71-557F-48A4-8FAA-8F15DF40B3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f39275f6a2768f625420100d2c49b05e7db2bdf","datavalue":{"value":{"entity-type":"item","numeric-id":5324245,"id":"Q5324245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15ccace80d543b1b37f84fc891efaf06e93bb380","datavalue":{"value":{"amount":"+0.7193944454193115","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":"Q1092901$56639661-D032-4B5F-8C36-91BA2873BF69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subdirect decomposition of rings and the axiom of choice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subdirect_decomposition_of_rings_and_the_axiom_of_choice"}}}}}