{"entities":{"Q1866825":{"pageid":1877567,"ns":120,"title":"Item:Q1866825","lastrevid":71017803,"modified":"2026-04-13T18:56:18Z","type":"item","id":"Q1866825","labels":{"en":{"language":"en","value":"Subdirectly irreducible Ockham chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1899946"}},"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":"Q1866825$EADB8792-7801-4753-A522-818BEDFA4503","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e34f14c7f9dcfe131881c8d9c7e15c5206f1ae8e","datavalue":{"value":{"text":"Subdirectly irreducible Ockham chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866825$E60546DF-0349-42C2-97A5-AEE4126D99D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02620326e6ab360de852eb5a90a79c60857cd8fd","datavalue":{"value":"1013.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866825$C26AAEE1-4152-4AED-8F37-D0F4D84E130A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"312c4a1ea47cbd86b923ee849824e3aefffd64b0","datavalue":{"value":{"entity-type":"item","numeric-id":192075,"id":"Q192075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866825$6707D571-12F0-44AB-8A0C-CFB7DAB5061F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2903fdd6e9a7a6099bc02d7c63f9c62f90b3e0aa","datavalue":{"value":{"entity-type":"item","numeric-id":451074,"id":"Q451074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866825$30A8060A-BDD6-4CC2-A8A7-13EE156D79F0","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":"Q1866825$CE3E3DCD-431C-4975-848B-0A589166BE79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1866825$02E5B0DC-E44F-438D-8DA9-AD5F2D2D71E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c12ba79bdbc3383e4628a3522377b3b7c1ff7004","datavalue":{"value":"An Ockham algebra \\(L\\) is a bounded distributive lattice together with a dual endomorphism \\(f:L\\rightarrow L\\) [see \\textit{T. S. Blyth} and \\textit{J. C. Varlet}, Ockham algebras, Oxford University Press, Oxford (1994; Zbl 0835.06011)]. The generalized variety \\({\\mathbf K}_{\\omega }\\) of Ockham algebras is defined by  \\[ (L,f)\\in {\\mathbf K}_{\\omega } \\Leftrightarrow \\;(\\forall x\\in L)(\\exists m,n\\in \\mathbb N)(m\\neq 0) f^{m+n}(x)=f^n(x). \\]  This generalized variety contains all Berman classes \\({\\mathbf K}_{p,q}\\) obtained by imposing the restriction \\(f^{2p+q} =f^q\\) in each one in which there are finitely many finite subdirect irreducibles [\\textit{J. Berman}, Aequationes Math. 16, 165-171 (1977; Zbl 0395.06007)].    In the paper it is shown that every subdirectly irreducible Ockham chain belongs to the generalized variety \\({\\mathbf K}_{\\omega }\\) and is countable. Consideration of three particular types of finite Ockham chains, together with their order duals, leads to a determination of all finite SI Ockham chains, namely those belonging to the Berman classes \\({\\mathbf K}_{1,q}\\), and it is proved that there are exactly \\(6q+2\\) such chains in \\({\\mathbf K}_{1,q}.\\) Finally, it is shown that there are precisely 14 SI Ockham chains whose endomorphism semigroup is regular, such chains having at most 5 elements.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866825$BCE909CF-755D-4E3F-974C-25AC3E96D2D1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866825$A3B83062-E3BF-4D49-98CF-0AC45F390C27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866825$9473AEB2-B109-401F-B83C-9D97B3B62D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866825$BC854EDA-F4EE-4235-A1A7-800DC15B016B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"632fef826c441a97e11166b02332ef6b45161c21","datavalue":{"value":"1899946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866825$E5F3A489-9B1F-441A-AEBF-34E65A07A541","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"298f6f198fe992f7ee975eca529306eb40a507bd","datavalue":{"value":"Ockham algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866825$DCD48B71-D827-49D9-A3A7-2FE644ED0BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e475e9029ab9828e91fa48be7e3e3d6eb96f6791","datavalue":{"value":"subdirectly irreducible algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866825$2B8AFBFA-C14E-4174-90B9-B4E8EA576CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6650e9f1ffe9cedd438a490337ef0060fb651488","datavalue":{"value":"generalized variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866825$DA306C7D-39D6-4977-A9D3-38096B6BECF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e38265c89b7e60d248848cfd7a50fe3a328704ea","datavalue":{"value":"Berman classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866825$9FA72340-E718-43D9-B9B5-59A508B83458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aa664730fb3b8978290e57705bcd3c37a6e0d9b","datavalue":{"value":"Ockham chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866825$750AAECB-76D6-4F6E-ACAF-910A837361E3","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":"Q1866825$B0F2B444-ABBC-4668-9FFB-C27E7297E983","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e25f57085826504fc57a7507d6247bdf939b72b","datavalue":{"value":"https://doi.org/10.1007/s000120050166","type":"string"},"datatype":"url"},"type":"statement","id":"Q1866825$D1A76157-2A25-40D9-8EEA-D4F5D9EC40CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd4621fb56372787972727b9509282d42475b766","datavalue":{"value":"W2094496727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866825$727A40FA-CCA9-418D-94D5-3AF3A7AFFDF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"936a1b8a5499b1e0d0904c0522702370a802d846","datavalue":{"value":"10.1007/S000120050166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866825$A3E61735-F2FE-459F-88AE-6A6EBA0F71F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b18d65cc740e69f1c8287b4460cebcfa79835d","datavalue":{"value":{"entity-type":"item","numeric-id":3979085,"id":"Q3979085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12bd0e7b7bc6480a2810eb2fb38acedbddc6a616","datavalue":{"value":{"amount":"+0.8968098163604736","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":"Q1866825$88AC7DF9-07CC-46E4-A12F-F1AD60ADB310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61a9309372619bd54b072a62699e797793a3064","datavalue":{"value":{"entity-type":"item","numeric-id":4011582,"id":"Q4011582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7de8e7001e4e27a600c0f196f49ddc98b50915b","datavalue":{"value":{"amount":"+0.8913745284080505","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":"Q1866825$E2446FE5-6E8D-482D-8E33-C748458DF50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74492113941c8a69934a36c25ed646064e1f7571","datavalue":{"value":{"entity-type":"item","numeric-id":1902556,"id":"Q1902556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271fdf43c1e3dae1527f227f0a43104f5946b928","datavalue":{"value":{"amount":"+0.8514246344566345","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":"Q1866825$D24AC8FF-D741-48FC-8E38-571F001F5418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"171089b79f786c1d2a1c5fd2c5bb105c0253e9ae","datavalue":{"value":{"entity-type":"item","numeric-id":1119670,"id":"Q1119670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e0169970cdaf2505b6622dc7b74d53664f89e1","datavalue":{"value":{"amount":"+0.8504424691200256","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":"Q1866825$384002E7-D76B-4B82-872C-716664F67A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c4b00edc1b6bac4153f8a0a98634d4bc5450150","datavalue":{"value":{"entity-type":"item","numeric-id":3325779,"id":"Q3325779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5b2e26fe46c46c45aa77a9e6fb1e158482e73d","datavalue":{"value":{"amount":"+0.8286486268043518","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":"Q1866825$A23056BF-C45C-4481-BF12-32836EF593B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subdirectly irreducible Ockham chains","badges":[]}}}}}