{"entities":{"Q751680":{"pageid":753529,"ns":120,"title":"Item:Q751680","lastrevid":49440970,"modified":"2026-01-07T04:07:33Z","type":"item","id":"Q751680","labels":{"en":{"language":"en","value":"Direct decompositions of orthomodular lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4177127"}},"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":"Q751680$13AE614C-EA6A-46AF-B99E-7488DCFDA392","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0c85bf331893d8b73a2c19b7d923755d9d755ac","datavalue":{"value":{"text":"Direct decompositions of orthomodular lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q751680$9203B1B1-B1B4-4E7C-A1D4-7B8FE7C5D9D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5840d08da83bce8d8a90b2362aca1985d323cc88","datavalue":{"value":"0715.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751680$3D4682EC-2E2A-40C4-AF43-8AEF7AD888F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e668e42b152537ee589b4bd1fd7428f1661e10d","datavalue":{"value":"10.1007/BF01188994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751680$BDBDDDF9-4117-440B-AFAC-C841D2F4F883","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00374f30c0d501a725bdc504ef2d507f94437d34","datavalue":{"value":{"entity-type":"item","numeric-id":751678,"id":"Q751678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$8B59ABCA-9214-4025-830B-FE3292ADC6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bee5ff5e9a1672e38df78f0def181269ca559ba7","datavalue":{"value":{"entity-type":"item","numeric-id":685155,"id":"Q685155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$F4B25692-B64A-48D9-8CE7-494C03E275AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fed6b6f9f0a0066e47376c865e82767484c3671","datavalue":{"value":{"entity-type":"item","numeric-id":751679,"id":"Q751679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$B68DC9CB-7BAF-4EA3-80A2-6318E19CC399","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":"Q751680$49382DBC-D26F-4018-8074-F9E7FC527B39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q751680$5A6070EC-A1B6-4B15-B901-E7E5496B4977","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aedc88d6d2a165d97c3c7d1b595d153a0d4afaa3","datavalue":{"value":"The authors characterize orthomodular lattices of the form \\(D_ 1:\\) \\(B\\times L_ 1\\) (B Boolean, \\(L_ 1\\) without nonzero Boolean factor), \\(D_ 2:\\) \\(B\\times \\prod_{j\\in J}L_ j\\) (B Boolean, \\(L_ j\\) simple, non-Boolean), \\(FD_ 2\\subseteq D_ 2:\\) all the \\(B\\times L_ 1\\times...\\times L_ n\\), n finite. Let L be an orthomodular lattice. Assume \\(M\\subseteq L\\), \\(C(M)=C(L)\\), \\(m=\\bigvee \\{c(F)|\\) \\(F\\subseteq M\\) finite\\(\\}\\), exists, then L is of the form \\(D_ 1\\). Here, c(F) is Pulmannova's commutator. If L is complete, then L is of the form \\(D_ 2\\) iff every p-ideal of L which contains some c(F)\\(\\neq 0\\) contains an atom of C(L). L is of the form \\(FD_ 2\\) iff every p-ideal of L generated by a set of commutators is principal. These results are used to show that the class of orthomodular lattices with non-zero modular homomorphic image is axiomatizable, closed under inverse homomorphic images, subalgebras and products. Some interesting examples and applications are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q751680$2298C3AF-B2A8-419B-B528-FD36C9D1E61E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751680$0C9DCECF-E91D-4436-AD6E-3721C47F6A41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df9ea4a32967ee28212c78b5e657c7cb8dd4a3b4","datavalue":{"value":"4177127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751680$5D3625FA-0B77-40A1-A708-77FE1037E187","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"996628469ea79034701e603f7307c4ba3e309067","datavalue":{"value":"direct decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q751680$CE3C5CFD-3B95-4745-95C3-366672079BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad1424a50ac850a1b5fe7be5cf1eeff5554541c1","datavalue":{"value":"axiomatizable class","type":"string"},"datatype":"string"},"type":"statement","id":"Q751680$5DA7DDCC-F1DC-4552-8649-22E331B46EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"422b726cb3c9e6918fc7a706baece16c7416b63b","datavalue":{"value":"orthomodular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q751680$ECC987C3-FCA6-46DF-A3ED-E7CC14BBDE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd24e8bf559ee1fe0693ff1ccf1466e0fdd3657","datavalue":{"value":"Pulmannova's commutator","type":"string"},"datatype":"string"},"type":"statement","id":"Q751680$ED3FC3EE-8865-4038-BD4C-2813B59AF15B","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":"Q751680$3B001A19-DB47-4FF3-83AC-98C04CAEDA9F","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":"Q751680$C101D2D9-6DC2-47A8-89CF-9F3AAD3CBAD8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"982ba958211b9a7036d7637f3f11fd51d858c758","datavalue":{"value":{"entity-type":"item","numeric-id":3880882,"id":"Q3880882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$7D3D43E2-B3EF-4952-961F-11DD61E9946C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8426399063b747f6e6f31d06a38536b5fd60b22a","datavalue":{"value":{"entity-type":"item","numeric-id":3222894,"id":"Q3222894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$483B0761-CDB9-4CF3-97DD-8D10FBA45B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3792a67c1c8de1deff1f2a4dce46ed565a614e8","datavalue":{"value":{"entity-type":"item","numeric-id":4163277,"id":"Q4163277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$FB59E8F2-78CF-45CA-937C-48F3FECE1FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6591feba168e3813aa3b20834a76d54a00a76461","datavalue":{"value":{"entity-type":"item","numeric-id":3041254,"id":"Q3041254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$D93BA2CE-5C4E-4F10-80F8-1ACF0F379AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf062c490ae937b34e8d26bf039276f12200ae7","datavalue":{"value":{"entity-type":"item","numeric-id":3689226,"id":"Q3689226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$A1F34A00-9345-42F6-9A30-B73099996FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27776775dd7d1e4760d2d1e4f9dd6df3fccb474e","datavalue":{"value":{"entity-type":"item","numeric-id":1263605,"id":"Q1263605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$A3B54FB1-23A7-433D-94CE-30B6C3EF47F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb1fb28222b049c981185d94c325c3ff636d443","datavalue":{"value":{"entity-type":"item","numeric-id":3663352,"id":"Q3663352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$95619D8F-77AB-4F9A-9267-E184AEF63451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b7fecd1fe27952bb955df687a1597e8860cd9d","datavalue":{"value":{"entity-type":"item","numeric-id":801951,"id":"Q801951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$564BEB19-C014-4683-98B8-392DD56E1E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e742cb8c61560384b461170b8d95de083b1c8fc1","datavalue":{"value":{"entity-type":"item","numeric-id":5562610,"id":"Q5562610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$7E749446-12BA-4DEF-B64C-147B028176FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a954c3a631bb9c7058f5ae74fed48e231c32838","datavalue":{"value":{"entity-type":"item","numeric-id":3227853,"id":"Q3227853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$77FECB42-A975-4864-BF14-942D3D1CA1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01c2a7c29b2744cb77ba478e88bcb4cbd05f2d1","datavalue":{"value":{"entity-type":"item","numeric-id":3229441,"id":"Q3229441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$7BE4AF1B-0377-4BF3-A4C5-BCBFA67BD75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5602dbf0d9782858bfc1261a45dea29e3646379f","datavalue":{"value":{"entity-type":"item","numeric-id":3289044,"id":"Q3289044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$CD599D22-7129-453F-9C6F-8BC3BDF24BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a253c7564bee4919395d174d4ba15fb75ec618c","datavalue":{"value":{"entity-type":"item","numeric-id":2551476,"id":"Q2551476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$A52FD63A-B921-4F99-A4FE-75F40D58C5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f99f0da2cdfa975b7c4fb87c5284e9477b25300","datavalue":{"value":{"entity-type":"item","numeric-id":4100556,"id":"Q4100556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$58A9AFAA-4DF5-4743-AB4E-E56426FE8545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"217f35d4a7cb369226fc6c7335f87bdd46587d70","datavalue":{"value":{"entity-type":"item","numeric-id":3718766,"id":"Q3718766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$70854612-8993-437C-B5FF-F213DA45F421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396728b7578ae64dd4232a077f20dd82a0c25d30","datavalue":{"value":{"entity-type":"item","numeric-id":5547619,"id":"Q5547619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$F0653F80-8881-43F2-A458-C9D8BE47A53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0b5b8f6a89a29aec3f9e6f9b81744f093a7093f","datavalue":{"value":{"entity-type":"item","numeric-id":798344,"id":"Q798344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751680$DBAC1F26-2CE8-40EC-8912-1289E909DBD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22bc7689581e05d6e7776405a906ac9405aedb3e","datavalue":{"value":"https://doi.org/10.1007/bf01188994","type":"string"},"datatype":"url"},"type":"statement","id":"Q751680$5CDFCAAE-5C5D-4A81-B1B9-B65027215484","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60ff68c24f726c511d9851b90f1e0513e5ae91a5","datavalue":{"value":"W2094217368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751680$01782DCA-A6C9-497B-A3E0-4747AFA57311","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d54fa030d2b74b35b2deac25f82f154c617851a","datavalue":{"value":{"entity-type":"item","numeric-id":1263605,"id":"Q1263605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ac3ed1dec43715d9d7614b199972b70813da07","datavalue":{"value":{"amount":"+0.8660295009613037","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":"Q751680$59773798-81F8-41FE-977B-FB4A67D19804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0e16efa30abc3bafaacc48c0978c221b3880a3","datavalue":{"value":{"entity-type":"item","numeric-id":3689226,"id":"Q3689226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccc9bd6a0ec15abe61831ffa2d12a55f8591f19b","datavalue":{"value":{"amount":"+0.864352822303772","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":"Q751680$451C9479-A016-41DF-B462-AF8E9372C04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad3ba84190b5c5c51d8d06004c468cf0ef53e759","datavalue":{"value":{"entity-type":"item","numeric-id":3974152,"id":"Q3974152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1bafb491e93af20f72cdbffa7226465d38352d","datavalue":{"value":{"amount":"+0.8265575170516968","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":"Q751680$2F3395CF-D65C-478B-87A9-60BDE7721DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b5d4c8f25065e9cbfb93caefe5b64df30dcb7f","datavalue":{"value":{"entity-type":"item","numeric-id":3297040,"id":"Q3297040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1bafb491e93af20f72cdbffa7226465d38352d","datavalue":{"value":{"amount":"+0.8265575170516968","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":"Q751680$57DDC2FF-3C6B-409B-A8A4-3045BFF1DABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3eac8f81468e185653a3932ce97bea1dfce13b6","datavalue":{"value":{"entity-type":"item","numeric-id":801951,"id":"Q801951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79f58f45f3363749a9660b982421332000f80ef2","datavalue":{"value":{"amount":"+0.7916989922523499","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":"Q751680$B0E3A844-BBA3-435F-A956-B708CE4AC2C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:751680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:751680"}}}}}