{"entities":{"Q2580415":{"pageid":2591158,"ns":120,"title":"Item:Q2580415","lastrevid":44396505,"modified":"2025-11-22T15:48:27Z","type":"item","id":"Q2580415","labels":{"en":{"language":"en","value":"Relatively complemented algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2500171"}},"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":"Q2580415$E54FF04D-FA47-49E7-AC12-0B75EABD1848","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef1d6221c0ff0eb0ecb5691087457969feba9cfa","datavalue":{"value":{"text":"Relatively complemented algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2580415$09B43F78-F268-4B8F-A445-5EBD776FCA64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01ffe22c26a33689029793020b0dbebc59391247","datavalue":{"value":"68.0046.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580415$10C9167E-EBC0-4D08-BBA1-15E36A98F042","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":"Q2580415$8A2D2256-A906-4F35-B8EB-CC81B7EED9DF","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":"Q2580415$0DC66A6C-3B5A-46EA-B681-F0C36652AE18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6e8d5cfa941f0abf28997ed7977dfb1ee35cd2f","datavalue":{"value":{"time":"+1942-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":"Q2580415$EE3EA965-994C-4553-BB00-4ECF2422197B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7522ad2de908a2d06076c076a8e3b9d7a1fd4bc4","datavalue":{"value":"Fortsetzung einer fr\u00fcheren Untersuchung (J. London math. Soc. 16 (1941), 20-28; F. d. M. 67). Es werden Systeme mit doppelter Verkn\u00fcpfung betrachtet, Vereinigung \\(\\cup\\) und Produkt. Ein Element \\(x\\) hei\u00dft ein \\(b\\)-Komplement von \\(a\\) relativ zu \\(o\\), wenn \\(x\\cup a=b\\), \\(xa = o\\) gilt. Ein Element \\(b\\) hei\u00dft ein rechts-\\(\\omega\\), wenn zu jedem \\(a\\) ein \\(b\\)-Komplement relativ zu \\(o\\) existiert, falls \\(ab = a\\) ist. Ein Element \\(b\\) hei\u00dft eine Majorante zu \\(a\\), wenn \\(ab = a\\) gilt. Ein Element \\(a\\) hei\u00dft ungerade, wenn \\(a\\cup a = a\\) ist, gerade, wenn \\(a\\cup a\\) eine Linksnull ist, d. h. \\((a\\cup a)\\cup b = b\\) f\u00fcr alle \\(b\\).  Es wird bewiesen: Ein System mit doppelter Verkn\u00fcpfung ist dann und nur dann ein verallgemeinerter Boolescher Verband (definiert als ein distributiver Verband mit einem rechts-\\(\\omega\\)), wenn das distributive Gesetz gilt, alle Elemente idempotent (\\(aa = a\\)) und ungerade sind, ein rechts-\\(\\omega\\) existiert, und wenn je zwei Elemente eine gemeinsame Majorante besitzen.  Wird vorausgesetzt, da\u00df das distributive Gesetz gilt, jedes Element idempotent ist, da\u00df \\(a(bb) = (ab) b\\) gilt, und da\u00df ein rechts-\\(\\omega\\) und ein links-\\(\\omega\\) existiert, so l\u00e4\u00dft sich zeigen, da\u00df das System \\(A\\) die direkte Vereinigung eines verallgemeinerten Booleschen Verbandes \\(A_1\\) und eines Booleschen Ringes \\(A_2\\) ist, definiert als ein distributives System, in dem jedes Element idempotent und gerade ist, in dem eine Rechtsnull existiert und die Vereinigung und das Produkt assoziativ sind. Umgekehrt hat jedes solche System die angef\u00fchrten Eigenschaften. \\(A_1\\) ist das Teilsystem der ungeraden, \\(A_2\\) das der geraden Elemente aus \\(A\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580415$CCAB1D77-96C5-4A46-9ABB-793EF37F79A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f4528e0ca5ea923709baf0549604c3b2be5cdc8","datavalue":{"value":"2500171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580415$1EDA0444-3ECD-4812-BDA5-94BEB6BD4752","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":"Q2580415$5EEB6A48-3000-4552-B43E-9557EAFA2728","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7bbaa99fbef1a528c2e3dc432b8a87ed4634f91","datavalue":{"value":"https://doi.org/10.1112/jlms/s1-17.1.34","type":"string"},"datatype":"url"},"type":"statement","id":"Q2580415$041CEFA1-2D54-468F-9FB6-65B41EF490D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04d9a857039ca5431f1f2d824ac4d7a10651a6ff","datavalue":{"value":"W1987860475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580415$792FE2D4-7C56-4AE2-B9EA-FB10CCD11683","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee90f0d780d5f7d6728ba4d188de408bd0b4236d","datavalue":{"value":"10.1112/JLMS/S1-17.1.34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580415$1359C57E-553E-485B-B48C-4DCA54EF3900","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2580415","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2580415"}}}}}