{"entities":{"Q1809984":{"pageid":1820726,"ns":120,"title":"Item:Q1809984","lastrevid":73007718,"modified":"2026-04-14T09:21:13Z","type":"item","id":"Q1809984","labels":{"en":{"language":"en","value":"A regularity criterion for complete matrix semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1927788"}},"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":"Q1809984$C3442139-9FD9-476D-9424-57779682D473","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27090244b9e5f6b170e29246daec857f29eeeddb","datavalue":{"value":{"text":"A regularity criterion for complete matrix semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1809984$7B9A555B-3686-4257-9870-698288B8AAA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce48a1eb8efcae5a2550afa25fc4067d38ada76b","datavalue":{"value":"1025.16026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1809984$61025061-851B-4B76-93F8-7E69CA3A8F50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe4107ee3a35806d69602a1cfe6bf6f2aa438078","datavalue":{"value":"10.1023/A:1012391611309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1809984$CEB883B2-7B66-417C-BCE6-DDAA8078AC26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c06f44d4ac07ddfe568713d74fe2cb37630d36b1","datavalue":{"value":{"entity-type":"item","numeric-id":353902,"id":"Q353902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1809984$D8D3E58A-8C46-4BD0-AED2-E644982C8AF1","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":"Q1809984$ADA3CD72-6C2C-49C9-A9EC-4B085FD44403","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5729b7a32c154f3073e7cc4ff690b60c4f52f3d2","datavalue":{"value":{"time":"+2003-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1809984$09A087AE-E75C-4D16-AE9F-FA07534E8172","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"131e7b395ec5fa05ae01263e5478f727b7d353dc","datavalue":{"value":"Let \\((S,+,\\cdot)\\) be an additively commutative semiring with absorbing zero 0. \\(S\\) is regular if for every \\(a\\in S\\) the equation \\(axa=a\\) is solvable in \\(S\\). It is shown, that for \\(n\\geq 3\\) the semiring \\(M_n(S)\\) of all \\(n\\times n\\)-matrices over \\(S\\) is regular iff \\(S\\) is a regular ring. A semiring \\((A,+,\\cdot)\\) with zero 0 is zero sum free if \\(x+y=0\\) implies \\(x=y=0\\). Then the matrix semiring \\(M_2(S)\\) is regular iff \\(S\\) is the direct sum of a ring \\(R\\) and a zero sum free semiring \\(A\\) which satisfies any of the following equivalent conditions: (1) \\(M_2(A)\\) is regular, (2) \\(TXT=T\\) is solvable for every upper (lower) triangular matrix \\(T\\in M_2(A)\\), (3) \\(A\\) is regular and the set \\(E(A)\\) of idempotents of \\((A,\\cdot)\\) is a distributive lattice with zero and relative complements, (4) \\(A\\) is regular, all \\(e\\in E(A)\\) are central, and, for every \\(e\\neq 0\\) in \\(E(A)\\), the ideal \\(eA\\) is a Boolean idempotent arp-semiring, (5) \\(A\\) is regular, for every \\(e\\neq 0\\) in \\(E(A)\\) the semiring \\(eAe\\) is a Boolean idempotent arp-semiring, and \\(\\forall e_1,e_2\\in E(A),\\exists e,f\\in E(A)\\) such that \\(ee_i=e_if=e_i\\). -- By a Boolean idempotent arp-semiring \\((A,+,\\cdot)\\) the author means a regular semiring with identity 1 which is additively idempotent, all \\(e\\in E(A)\\) are central, the elements \\(1+x\\) are invertible and for every \\(e\\in E(A)\\) there is some \\(e'\\in E(A)\\) such that \\(e+e'=1\\) and \\(ee'=0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1809984$0FCB19B7-9069-4536-B3EB-235D0F051774","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1809984$D6652CB7-8276-4ABD-8A88-821AAB306674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7887ac8896f76fb0219bbdc2f1520f3f1a5b3b","datavalue":{"value":"15A09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1809984$A1F8C798-2BF9-4646-B7ED-56FC6BC3EBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"913d3990e83d8adef69305bd4ca0e422b9869252","datavalue":{"value":"16S50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1809984$4221A843-5B4B-467B-AE5A-F7AD2136B8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c88a90ec2c18e1907fc87c29dd979b1151e9199b","datavalue":{"value":"16E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1809984$B6DCA357-2A9A-43C2-B8CC-31762F45F7C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee2672d92607230b4549d98aa5ce36a83da93481","datavalue":{"value":"1927788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1809984$21642CFC-5068-4F8C-9952-F1C3701ECFF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa80f76b2070facc29865a02015478a5329efbda","datavalue":{"value":"regular semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1809984$780B7BDD-0700-48D6-8E2B-D4985E0E255C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adcef7f6921d528563a889bb3aed78c2d0711057","datavalue":{"value":"matrix semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1809984$C6640D0D-C18F-464C-93FB-B437E793691F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddd6bed1d0c4ff6c8edbaf2ffea6b7936776d8d7","datavalue":{"value":"zero sum free semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1809984$8CD3EF47-F3CD-4A97-B32E-E89EFD9BCAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86bdd86df4041cbbcfd2a0359b7b53c43870740b","datavalue":{"value":"regular elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1809984$0DB38136-F20D-4B20-9AB0-96CB3ADF9C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1809984$6D9D67EF-73D4-4B90-A3FC-C5FC411A29FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"175b49008a325fd27af296cb1bf376f9eae78d52","datavalue":{"value":"arp-semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1809984$342B3536-2742-4548-9E6A-B9C846C964ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25d14f9be0f112f56e2e224659a17e1e16a871a7","datavalue":{"value":{"entity-type":"item","numeric-id":213088,"id":"Q213088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1809984$451F3DDF-ECA9-4CB1-95F8-900D83903EBA","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":"Q1809984$20E12611-4258-41C5-9F7D-798E75439BD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d460dbd58f25cd82897a24a027b4c5acd2a8d8c4","datavalue":{"value":"https://doi.org/10.1023/a:1012391611309","type":"string"},"datatype":"url"},"type":"statement","id":"Q1809984$8DE468A2-4839-451A-8D03-7BEECC9E1AFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6607f2e41c51a1f869f57d819d5eac6fe601b9d9","datavalue":{"value":"W86358435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1809984$0E633F3C-5C47-4767-8A6C-3942AB430145","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5768975d2db66b150329663b2a1b39f23af99d79","datavalue":{"value":{"entity-type":"item","numeric-id":3195927,"id":"Q3195927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c9e6eba0c64ec61540513f53e29858ca00011d1","datavalue":{"value":{"amount":"+0.8862531781196594","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":"Q1809984$AAB78A02-8DE6-4997-8819-4D42DF57C311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87238bcbf4be8739af74287beee72ced5f450470","datavalue":{"value":{"entity-type":"item","numeric-id":4872592,"id":"Q4872592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942daf1e1c115c0e731b5ff025327aa1664e24bb","datavalue":{"value":{"amount":"+0.8765809535980225","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":"Q1809984$ACE35D10-ED5D-4218-982D-BB76AFA72405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd8addcc86d9a14d086fd5cb7e05407fb281549","datavalue":{"value":{"entity-type":"item","numeric-id":4931935,"id":"Q4931935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8451a36be22cbd5893f0ce49fda12f0b28b4e89f","datavalue":{"value":{"amount":"+0.8649557828903198","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":"Q1809984$D641454F-D909-40C2-AFCE-4B5BBE075B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9147681a277fb0b97340142b8a12c4daaf220f","datavalue":{"value":{"entity-type":"item","numeric-id":2786885,"id":"Q2786885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e560edd3b67de2d06c4889822b4377b513c4fd5b","datavalue":{"value":{"amount":"+0.838425874710083","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":"Q1809984$76C59AF2-0BDC-4C0C-9ED2-0ABE331F8C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"122ba00acce748801d25262fc9ac34afaf0c2145","datavalue":{"value":{"entity-type":"item","numeric-id":927765,"id":"Q927765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12325354a01e634fea4b9ebd194d16d64e79c602","datavalue":{"value":{"amount":"+0.8111950159072876","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":"Q1809984$9E9FA5EB-DBBF-4BD4-8730-5920367ACA49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A regularity criterion for complete matrix semirings","badges":[]}}}}}