{"entities":{"Q1088691":{"pageid":1099443,"ns":120,"title":"Item:Q1088691","lastrevid":66702399,"modified":"2026-04-12T12:13:44Z","type":"item","id":"Q1088691","labels":{"en":{"language":"en","value":"A note on the number of irreducibles of subdirect products"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3991560"}},"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":"Q1088691$563B834F-D9B6-4183-B79D-64E413CA6719","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ca871f92a05a4e6b4a78944df0f9908305653cf","datavalue":{"value":{"text":"A note on the number of irreducibles of subdirect products","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1088691$DB92C553-A10E-425D-A4DD-2C51B9CAC388","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08eda31a2c2b1966c7abad540b3369733126e2a3","datavalue":{"value":"0613.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088691$133CA0B1-1E25-44FB-87EB-260237F6C4F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"182d96c6f88934effc17e5d8d636c6373fd5f40c","datavalue":{"value":"10.1007/BF01224035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088691$439F8066-C3E0-4514-8768-5ED536518524","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd58481307bfa03e76fec913ca19cfff6a7c1df9","datavalue":{"value":{"entity-type":"item","numeric-id":584291,"id":"Q584291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088691$015CBB8F-8FF7-43D1-BAF3-DEC7808F4F2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088691$29431AB9-7B78-4920-993A-FD0FB4CEC989","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1088691$F8337160-4A06-46D7-B0CC-1B0752E9D23E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f2592b0a08ad1fc7d66eb78c30cc5c2cf4c3474a","datavalue":{"value":"Let J(L) (resp. M(L)) be the set of nonzero (nonunit) join (meet) irreducible elements of a finite lattice L and Con(L) its congruence lattice. If L is modular and a subdirect product of subdirectly irreducible lattices \\(L_ 1,...,L_ n\\) then \\(| J(L)| =\\sum_{i}| J(L_ i)|\\). The author proves this as a corollary to his more general theorem: The conditions (a) \\(| J(L)| =\\sum_{i}| J(L_ i)|\\), (b) \\(| M(L)| =\\sum_{i}| M(L_ i)|\\), (c) Con(L)\\(\\cong \\prod_{i}Con(L_ i)\\) are equivalent, where L is the subdirect product of lattices \\(L_ 1,...,L_ n\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088691$2DA51E18-62F8-43DC-B49A-F6447D32F57F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088691$0D31D7D4-7929-462F-A239-1EF0A1CF9E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088691$BD9A1D91-405E-418A-8F9F-AE264FE5BBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2f0f24a1a0ed02e6f087ef798b1c742983593f1","datavalue":{"value":"06C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088691$2ADE4319-1E2A-4B9D-82C8-DCA604EA5D9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60e3794a60b0a30c96abf1e0098196f2cdbd4afa","datavalue":{"value":"3991560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088691$8832CCC0-C684-4373-B6BF-7BCA3432F0B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b0d85ba0a3f99bd29b65e7d6b110fe0006cdb3","datavalue":{"value":"irreducible elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088691$E65C7F3A-8600-4B1E-9A50-BF4576687A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a23029265a3b7aef2605f2e8909487240495a4ec","datavalue":{"value":"finite lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088691$3C367BA0-0773-4933-896C-A4344106BCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088691$E93D5826-6B3D-428B-99A1-34FFF74545EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92480475bc431e2d2de933964a1b99c8d03c1f2e","datavalue":{"value":"subdirect product of subdirectly irreducible lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088691$33CFDB0E-47D2-4CE1-8E95-EF6FF261C0EF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c61f96277503678c9706b4010bb972a7f80cdb63","datavalue":{"value":{"entity-type":"item","numeric-id":1108296,"id":"Q1108296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088691$556252FB-2ADC-490C-BC0B-B2C517B3B187","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":"Q1088691$E4F7CCAE-D304-48F8-964C-DA2B122A55D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1df3648a912d6564e6bc00f5325ca36960ba89","datavalue":{"value":{"entity-type":"item","numeric-id":793764,"id":"Q793764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088691$896C3CA5-6B1B-495F-A3C5-538454FA8A2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158834446b55ce887ac334188730f64ee084a43f","datavalue":{"value":{"entity-type":"item","numeric-id":3808133,"id":"Q3808133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6a26f8bcb5fd13cda679fb7d130435a5d885b4","datavalue":{"value":{"amount":"+0.8235663175582886","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":"Q1088691$F413E3A3-0672-408F-BA58-48AA9146A0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3dc094c7fe373dd0e62db689227d654d5f65d8","datavalue":{"value":{"entity-type":"item","numeric-id":1906528,"id":"Q1906528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6d4db5604d016bbf65a20d77ed23e5486067ae","datavalue":{"value":{"amount":"+0.8069031238555908","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":"Q1088691$54057705-B659-4541-84FB-35D717F63283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24892ee811309dd4646d2344ecfb3fe97c0d4795","datavalue":{"value":{"entity-type":"item","numeric-id":1272100,"id":"Q1272100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93b72d909dcb8764dfcd8f9a9491a2766aaed7f6","datavalue":{"value":{"amount":"+0.7695763111114502","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":"Q1088691$F5C0EB1A-4308-41AE-913D-C0D4D496B61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976231ff08558489ec9d2e0a9367fec17f9b72c6","datavalue":{"value":{"entity-type":"item","numeric-id":2496143,"id":"Q2496143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec7ce4f3c910770a5db790c0f5e1743ac8577e1","datavalue":{"value":{"amount":"+0.7659430503845215","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":"Q1088691$5E1FE980-A536-4D7F-8211-8B4A9FF2CC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16838fa502463191ea44cb1008d67909f5b3888b","datavalue":{"value":{"entity-type":"item","numeric-id":5426241,"id":"Q5426241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c317dce84f936bc28c3fae27307ea4335c1f559","datavalue":{"value":{"amount":"+0.7652783393859863","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":"Q1088691$FCFFFCB9-A0D9-4537-A96C-128768A5DF7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the number of irreducibles of subdirect products","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_number_of_irreducibles_of_subdirect_products"}}}}}