{"entities":{"Q2585220":{"pageid":2595963,"ns":120,"title":"Item:Q2585220","lastrevid":44408085,"modified":"2025-11-22T18:00:44Z","type":"item","id":"Q2585220","labels":{"en":{"language":"en","value":"A characterisation of Boolean lattices and rings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2504870"}},"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":"Q2585220$01740513-8516-42DB-8A59-5C0A694588E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e10f42a5ed4afd120dba8d439ac28d4141b62322","datavalue":{"value":{"text":"A characterisation of Boolean lattices and rings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2585220$8F5070F9-4447-4417-A9CA-E394ED7B4C48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"796b200d95703e95b8a40298a06a4091f46a43ef","datavalue":{"value":"67.0978.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585220$3B3DD80A-BFE4-4528-AD11-CAEF0082A45A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402cbda02b0b5a40586fa8e95c9ba2c274e5be6","datavalue":{"value":{"entity-type":"item","numeric-id":563171,"id":"Q563171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585220$2C5C3233-58D5-4B2B-91BB-283FCE85A1EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0e8e2f16e5044e38a454384839ea1083db5e26c0","datavalue":{"value":{"entity-type":"item","numeric-id":559407,"id":"Q559407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2585220$70690C3C-2ACC-4495-AFC6-9730B1EA1625","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-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":"Q2585220$08957C10-C585-45CD-9F76-712AA5F541E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76fc4896040bb8f401fe7619a71a2ae3b8f8e948","datavalue":{"value":"\\(B\\) sei ein System von Elementen, f\u00fcr das eine eindeutige Vereinigung \\(a\\cup b\\) und ein eindeutiges Produkt \\(ab\\) erkl\u00e4rt ist. \\(B\\) hei\u00dft \\textit{distributiv}, wenn stets \\(a(b\\cup c)=ab\\cup ac\\) und \\((b\\cup c)a=ba\\cup ca\\) es gilt, idempotent, wenn f\u00fcr alle \\(a\\) \\(aa=a\\) gilt. Ein Element \\(x\\) hei\u00dft eine \\textit{Null}, wenn \\(x\\cup a=a\\cup x=a\\) f\u00fcr alle \\(a\\) gilt, eine \\textit{Eins}, wenn \\(xa=ax=a\\) f\u00fcr alle \\(a\\) gilt. Gilt \\(x\\cup a=a\\) f\u00fcr alle \\(a\\), so hei\u00dft \\(x\\) eine \\textit{Linksnull}. Zwei Elemente 0 und l hei\u00dfen ein \\textit{extremes Paar}, wenn f\u00fcr jedes \\(a\\) die Gleichungen \\(x\\cup a=1\\) und \\(xa=0\\) wenigstens eine L\u00f6sung haben.  Ist nun \\(B\\) distributiv und idempotent und ist das Element 0 wenigstens eines extremen Paares eine Linksnull, so ist \\(B\\) die direkte Vereinigung eines Booleschen Verbandes \\(B_1\\) und eines nichtassoziativen Booleschen Ringes \\(B_0\\) mit Einheitselement. \\(B_1\\) besteht aus allen ungeraden Elementen von \\(B\\), d.~h. den \\(a\\), f\u00fcr die \\(a\\cup a=a\\) gilt, \\(B_0\\) aus allen geraden, d.~h. solchen \\(a\\), f\u00fcr die \\(a\\cup a\\) eine Linksnull ist. Dann und nur dann ist \\(B\\) ein Boolescher Verband, wenn \\(B\\) die obengenannten Eigenschaften besitzt und nur ungerade Elemente enth\u00e4lt. Dann und nur dann ist \\(B\\) ein nichtassoziativer Boolescher Ring mit Einheitselement, wenn \\(B\\) distributiv, idempotent, ungerade ist und wenigstens ein extremes Paar enth\u00e4lt. Um auch noch die Assoziativit\u00e4t von \\(B_1\\) zu erhalten, gen\u00fcgt es, noch die Forderung \\(a(bb)=(ab)b\\) f\u00fcr die geraden Elemente hinzuzunehmen. Eine genaue Untersuchung \u00fcber die Unabh\u00e4ngigkeit der angegebenen Eigenschaften mit vielen Beispielen beschlie\u00dft die Arbeit.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2585220$C0C92746-6CEE-41AD-9008-EB3353D002EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18216a5d0fe1b5d57cbb9136b2ffa7cf3601b8e6","datavalue":{"value":"2504870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585220$4E55FE39-1C1A-444B-B33C-1B6FAA52CB9E","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":"Q2585220$BEE5804A-8855-4215-8589-E1143F47FB0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ddbae804975afd5ee4bebf88b7fc298358c2482","datavalue":{"value":"https://doi.org/10.1112/jlms/s1-16.4.256","type":"string"},"datatype":"url"},"type":"statement","id":"Q2585220$FE0A699B-46BA-4906-A7F2-A785A64DC277","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3821d716fc1c0dfca319422a1a17a3c021334396","datavalue":{"value":"W2091241022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585220$DE3B6994-28E3-4A84-91F7-E9C660FB1EFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c77835a4b7eca9acee34d4eb33512b23d804f82","datavalue":{"value":"10.1112/JLMS/S1-16.4.256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2585220$2145FCCF-F770-491F-BC3A-AFEB7B76CC94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2585220","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2585220"}}}}}