{"entities":{"Q1090346":{"pageid":1101098,"ns":120,"title":"Item:Q1090346","lastrevid":66905730,"modified":"2026-04-12T13:38:36Z","type":"item","id":"Q1090346","labels":{"en":{"language":"en","value":"Matrix relation algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4006310"}},"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":"Q1090346$9BDF05AE-5A16-4471-9059-EB24B70D9954","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2db75a69e88964c6fc6101dba81c596717b69878","datavalue":{"value":{"text":"Matrix relation algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090346$3E707360-63B2-417F-B057-832A7560250F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8bcf23c7317fe96f0da77feff1b2098a19e10e5","datavalue":{"value":"0621.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090346$A1614EE9-0E36-4579-AAA6-8A6B17E9A7C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1410870278e7a515daa1b9d3a249759020ed74e1","datavalue":{"value":"10.1007/BF01138323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090346$496746C6-A906-458F-B0E0-961277762C54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090346$EB9579C8-8663-46D6-9A93-E0F36E8EABA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1090346$5FEBD7CF-B6A1-491E-9FFB-CBD6AA1DC310","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c142102eed89bd5c6eba136d48842be632ab737b","datavalue":{"value":"Let D be a distributive lattice with 0 and 1. Let \\({\\mathbb{M}}_ n(D)=(M_ n;\\vee,\\wedge,\\cdot,',0,I,E)\\) be the universal algebra of all \\(n\\times n\\) matrices over D with pointwise \\(\\vee\\) and \\(\\wedge\\) operations, ''usual'' matrix multiplication \\(\\cdot\\), transposition as ' operation, where \\(0(i,j)=0\\), \\(I(i,j)=1\\), \\(E(i,j)=\\delta_{ij}\\) for i,j\\(\\in D\\). Necessary and sufficient conditions on the distributive lattice S with 0 and 1 and additional operations \\(\\cdot\\), ', E (satisfying some relations) are found in order to be isomorphic to \\({\\mathbb{M}}_ n(S)\\). Using this the author gives a full characterization of \\({\\mathbb{M}}_ n(B)\\), B being a Boolean algebra, among the relation algebra (B;\\(\\vee,\\wedge,\\cdot,',0,I,E)\\) in the sense of \\textit{G. Birkhoff} [Lattice Theory (1967; Zbl 0153.025), section 12, 13 of XIV].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090346$612AC282-40E7-4D56-BDA3-110ED12F5394","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090346$55554896-F0DD-460A-97A7-21B6A4F31B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090346$C9A824B6-EFE5-44CB-88C0-0AE8FB60D718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090346$25528C4C-74F7-46E7-A080-C45BD4776FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0b321fafd33da205994db3b946bd7cfe9a54983","datavalue":{"value":"15A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090346$998EF5F1-781F-4196-BD3A-4B45C9A58D71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef65241d2960b536cbcabb0972922bdf4d2c8c9c","datavalue":{"value":"4006310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090346$55851488-86DB-405B-A445-22657311BAA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"448a394e5ff59edff7ac235facbf4fbe5da397a5","datavalue":{"value":"matrices over lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090346$27887EDE-1F87-4C97-872D-3BA33A6DB0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9949d28f4934478b40fce953398e68e5f7c0561c","datavalue":{"value":"universal algebra of matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090346$D0770C8C-CEF5-4943-8C76-8E936E9735C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090346$E4277A8B-BBF0-4CB3-A370-CB82D2D91B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090346$89D8E113-5EF8-40A6-8614-A6716A6A1C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090346$4C042510-5FC8-4B9A-8C83-949EC53F1BDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"494f4f1e6e7b1df146595cd33ce7474a08108ea3","datavalue":{"value":{"entity-type":"item","numeric-id":2521631,"id":"Q2521631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090346$3C676A2E-4280-44E6-B9D2-F62D43935B9B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e47f1890de08a8bb753968ab80ecae8a536a9f0e","datavalue":{"value":{"entity-type":"item","numeric-id":616132,"id":"Q616132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090346$720CACDF-329C-414C-926C-0E20EA57FF12","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":"Q1090346$0FA4A862-1692-4659-BC9C-BBBE41EEDCE6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e69c2d21b2a4e9a6b7c883246f58486a3267868","datavalue":{"value":{"entity-type":"item","numeric-id":5810602,"id":"Q5810602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090346$A0CDC653-336E-4A8F-B569-DCA790C10FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbc9d6a1236be17e29241f6802ecb226a6602a2","datavalue":{"value":{"entity-type":"item","numeric-id":797616,"id":"Q797616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090346$3975E957-7A9E-48DF-AB71-E4489DBC9F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36a7bb41afdb60617f3a3c9a6a2037590f844926","datavalue":{"value":{"entity-type":"item","numeric-id":3963056,"id":"Q3963056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090346$82970A7B-21BD-4ED5-BCC3-6AEFDF78273B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50bf4f7566cc4e767c669de7e35ca31c0357f20c","datavalue":{"value":{"entity-type":"item","numeric-id":1771950,"id":"Q1771950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22cb92b14b212f4d1d3f3949a16cb7093cdebf0c","datavalue":{"value":{"amount":"+0.8494189977645874","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":"Q1090346$7043E2B0-1769-419B-8718-36E9CE9A0CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0d14b127bd9b679b982b52e21e8782d31d13a7c","datavalue":{"value":{"entity-type":"item","numeric-id":1765885,"id":"Q1765885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb598571803d1240a06f1d0803b51a20ecbbe957","datavalue":{"value":{"amount":"+0.7639991641044617","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":"Q1090346$19B1FDE7-7E4D-461F-919B-A48239C621DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e788e54a8f4ab77ccef0bb4b53ce5e0b9a2244","datavalue":{"value":{"entity-type":"item","numeric-id":1879078,"id":"Q1879078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719d80f6d65026f0ccee73251c61e87058d15ac3","datavalue":{"value":{"amount":"+0.7639116048812866","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":"Q1090346$48A3BBED-E9C4-43FA-929C-746BACB440A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075d73c7c773a4d027e3f40939056981cf46fac3","datavalue":{"value":{"entity-type":"item","numeric-id":1966149,"id":"Q1966149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49ecf4b29951b05fa9e77405b7a7d5d65698921","datavalue":{"value":{"amount":"+0.7636895775794983","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":"Q1090346$88958AC1-9D60-4E2E-882E-B8D83F5B0EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c9f6e8894c1b37f0ba8a899dfccae223608811","datavalue":{"value":{"entity-type":"item","numeric-id":378013,"id":"Q378013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49ecf4b29951b05fa9e77405b7a7d5d65698921","datavalue":{"value":{"amount":"+0.7636895775794983","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":"Q1090346$EE303DE5-3F45-4B49-B97C-1FF7AA1989DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Matrix relation algebras","badges":[]}}}}}