{"entities":{"Q701375":{"pageid":703224,"ns":120,"title":"Item:Q701375","lastrevid":63633690,"modified":"2026-04-11T14:29:49Z","type":"item","id":"Q701375","labels":{"en":{"language":"en","value":"Elementary theories of completely simple semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1819993"}},"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":"Q701375$A0AB9F85-BAEA-41E1-8A7D-3C9216170852","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9e12c3fd28705549365c799d3e97cf2dfb26f86","datavalue":{"value":{"text":"Elementary theories of completely simple semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701375$F7AD8655-3720-4499-AEBB-7BDEF9B9992A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2b39a7dfd698bd0ef42fb581d984015a959be23","datavalue":{"value":"1011.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701375$A36CC927-DBD9-4F7D-B43A-0F607B7DD22C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a5c7c3acc301db1a6a1d18b33788f3a6d76df9b","datavalue":{"value":"10.1007/BF02785431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701375$12CF5F8B-521E-480D-8F6A-7D76E92E5170","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d241458c967e707c41456a6ad447ddc4115310","datavalue":{"value":{"entity-type":"item","numeric-id":701373,"id":"Q701373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701375$143A9E5D-1252-4B85-8EC6-7EC2EA42346C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701375$987DF28E-5C0E-424D-BDA7-A4E9CEE79AF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e462bdad581f8891fffd08ce3e4284f461170ed","datavalue":{"value":{"time":"+2003-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701375$BA39D848-6DDF-4398-88D0-78C3CAFD6DAE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba735fb2a23d1d5e6e68ebff35a03037e57873ee","datavalue":{"value":"The author investigates the relationship between the elementary theory \\(T(C)\\) of an arbitrary completely simple semigroup, expressed as a Rees matrix semigroup \\(C=M(H,I,J,P)\\), and the theory of the structure group \\(H\\). It is easily seen that if \\(T(H)\\) is undecidable, then so is \\(T(C)\\), each in the signature of multiplication. It is shown that in the case that \\(I\\) and \\(J\\) are finite, then as long as \\(P\\) is normalized, \\(T(C)\\) is decidable if and only if the theory of \\(H\\) is decidable under the signature obtained by adding the distinct matrix entries of \\(P\\) as constants. Without normalization, this need not hold. In the general case, decidability of \\(T(C)\\) is equivalent to the decidability of the elementary theory of every two-sorted system \\(D(i_0,j_0)\\), for \\(i_0\\in I\\), \\(j_0\\in J\\). Such systems are defined in terms of \\(H\\), \\(I\\times J\\) and normalization with respect to the designated row and column of \\(P\\). As an application, it is shown that there is a Rees matrix semigroup over a three-element group whose elementary theory is undecidable. Various other applications are also given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q701375$2B65AE1C-E618-4CFB-B0C4-CB2B6646BA23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701375$2FA08E1B-5773-41D4-A7CE-281AE97D72AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701375$02DAFA77-69AB-42B7-9A47-AA63A9686A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701375$9D815783-D0DE-430D-A1CF-D41EF953901C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb460e102344117735665989c5439bb71c08e929","datavalue":{"value":"1819993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701375$82E45818-E2D3-4952-BAA0-231FFB01248A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"205b8c25bae95cb008cac62096ee72778b2ba69c","datavalue":{"value":"elementary theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q701375$D7C5972F-515B-4CC6-856E-4AE5C09DFABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8315cb3c23e74fc7eed135d59f03cb1280d20e15","datavalue":{"value":"Rees matrix semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q701375$BACFD6B6-8CE7-4791-9613-7CAC90D61867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba4e7c66e506f87a77e4077b5b9d7a726a9040e","datavalue":{"value":"completely simple semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q701375$7F337D49-BDA5-4FEB-98C7-766DAE1757C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q701375$8997A139-35AE-4A75-A26B-CC68D1E97A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q701375$49D5CF45-7364-435C-A412-14AA24B648A8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4385d4dae42e0a5bfb796b12df4f3fcdddf89d5","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701375$5C319AA4-0DB6-464B-837B-949F637B313C","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":"Q701375$9314B9A6-6B24-4F90-ACB5-0381B42AE304","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4941fbc4783d82f34d08a3eaeb82cf3cb84e0d16","datavalue":{"value":{"entity-type":"item","numeric-id":3964538,"id":"Q3964538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701375$787BAFEC-5584-49D6-95C5-B0C48B80B3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27aed5b666ac62679fc53a99331da432fd27c728","datavalue":{"value":{"entity-type":"item","numeric-id":3941602,"id":"Q3941602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701375$D6A6EB1D-70E0-48A7-952D-F997A51470FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790a8ba8852f2971da6478df26379a90331bcab4","datavalue":{"value":{"entity-type":"item","numeric-id":3936910,"id":"Q3936910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701375$66E8D230-C9D1-4E2B-8E45-5AB58F548E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ec0208ef3c9ec149fabfa81c92ed2023179d18","datavalue":{"value":{"entity-type":"item","numeric-id":5682023,"id":"Q5682023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701375$C1974BC3-B58B-4A63-816E-63D32C707C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8902d16fc03f62cc34d7ebe771adade48ee63430","datavalue":{"value":{"entity-type":"item","numeric-id":786931,"id":"Q786931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701375$FEEF51A2-BA47-4161-AB36-FD851198B1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a3cfb3d7b3a2926cb83b99ae0b425e1b5d6abd","datavalue":{"value":{"entity-type":"item","numeric-id":5812176,"id":"Q5812176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701375$302A36BE-9E13-43EB-BEA9-8AE459690E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae0afcdab4bd288e6d1b9962da535a0bc3b06d03","datavalue":{"value":{"entity-type":"item","numeric-id":3812446,"id":"Q3812446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701375$8C91A44B-C6AD-44B8-88CA-2D89134DDE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e39587fbb8dbb3c01c891a726dc59cb26b03db4","datavalue":{"value":{"entity-type":"item","numeric-id":4484922,"id":"Q4484922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701375$FA85C21E-E7E2-4929-91A9-249A019E02C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8441fe38b1b75d684b6579944443b92390f669","datavalue":{"value":{"entity-type":"item","numeric-id":1257104,"id":"Q1257104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701375$552819D8-4C30-4728-908B-B52DB18E3210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc4771c1600c01ff65035031e337992379ab66e","datavalue":{"value":{"entity-type":"item","numeric-id":5904290,"id":"Q5904290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701375$63EDF027-9780-4134-AA6A-20E8B3F20522","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f8a63348b74ed29589d3bdc4338089a2cd2bd70","datavalue":{"value":"https://doi.org/10.1007/bf02785431","type":"string"},"datatype":"url"},"type":"statement","id":"Q701375$4EB379CE-E5DB-41EB-9B1E-E0491B42F12C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb0ecd6434b7af452b0cede9a1c6ba41c4e4c26c","datavalue":{"value":"W2071026227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701375$9C23B5BC-E3A1-48A8-8E2C-0C54A1C9A14D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3b9bb102ae6883874f57ba62333dae8589d6d07","datavalue":{"value":{"entity-type":"item","numeric-id":4785455,"id":"Q4785455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035116ae1e91a19b98dcf722ccc90f4eee0e5f4c","datavalue":{"value":{"amount":"+0.8010104298591614","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":"Q701375$059902BF-3B23-43BC-B154-1EF5C15448E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c0b3e30280343464676a1c50c97274fb9918d9","datavalue":{"value":{"entity-type":"item","numeric-id":3693716,"id":"Q3693716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035116ae1e91a19b98dcf722ccc90f4eee0e5f4c","datavalue":{"value":{"amount":"+0.8010104298591614","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":"Q701375$73A8FD22-D376-449D-B649-426F8B2CFA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60512bd7c445418079532b0d380cc580f71ea612","datavalue":{"value":{"entity-type":"item","numeric-id":3203010,"id":"Q3203010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7bf8caf7959b012c261a7a60399ef71942aad1","datavalue":{"value":{"amount":"+0.7898713946342468","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":"Q701375$7C875BDD-4029-4673-AC28-25CB8940431D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2622c16bf30ff0a377fb65fd9788553d36311434","datavalue":{"value":{"entity-type":"item","numeric-id":800486,"id":"Q800486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c6805ecd98fa729ca8115bcf9bf9fb3bd8df6a","datavalue":{"value":{"amount":"+0.7812860012054443","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":"Q701375$D58E4D36-1883-4DA1-8D17-69845B2CDD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c266ebf301c12ca12ea76598e3bc2e61a0baa41","datavalue":{"value":{"entity-type":"item","numeric-id":920966,"id":"Q920966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0e65a7b45777034159146e5f5905fab8d963dc","datavalue":{"value":{"amount":"+0.775774359703064","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":"Q701375$29E75EAE-E25B-4A53-956A-6C6C2AEA0867","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary theories of completely simple semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_theories_of_completely_simple_semigroups"}}}}}