{"entities":{"Q687637":{"pageid":689486,"ns":120,"title":"Item:Q687637","lastrevid":63615477,"modified":"2026-04-11T14:22:01Z","type":"item","id":"Q687637","labels":{"en":{"language":"en","value":"Goldie's theorem for semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 436437"}},"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":"Q687637$5255A6CF-17FF-4778-A016-EA12204C11BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2abecf678bf57753a9850fa196922d665baf90c5","datavalue":{"value":{"text":"Goldie's theorem for semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q687637$4A8E64D4-F228-415E-8615-67225B005287","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6b83f119874232216c47e65c300ba85c15c4062","datavalue":{"value":"0791.20082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687637$491A3EE0-D147-4CBF-B806-FBA2E3EC59E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83d3d2cb8f78c00632dfb6be87f6482fa6d52c89","datavalue":{"value":"10.1007/BF02573755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687637$FAB7D30A-C35D-43FC-99DA-186904A14490","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76eba4510bc2c525d79a00561b38363360467d50","datavalue":{"value":{"entity-type":"item","numeric-id":392598,"id":"Q392598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687637$0DF5EA94-06CA-4E1D-AB16-43432CA858D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687637$C8A270E7-FA52-4D84-BD78-3D8552FE829F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e0ca02281deeb50fcc6e30611ef7dd5e6d4bdaf","datavalue":{"value":{"time":"+1994-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q687637$B70434E9-1F91-4B28-B958-D59CE9273D59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0fc55d5890d8fd8b4b1e0fa41bcc71f2e6d58a1","datavalue":{"value":"https://eudml.org/doc/135268","type":"string"},"datatype":"url"},"type":"statement","id":"Q687637$E39A783B-1921-4044-94B3-FE4FB3C86BB0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a44885a0d75776bcd54c30ca2b0fa664a007de61","datavalue":{"value":"Let \\(S\\) be a semigroup with 0. A subsemigroup \\(S \\subseteq Q\\) is a called a left order of \\(Q\\) and \\(Q\\) is called a classical left quotient semigroup of \\(S\\) if every cancellable element in \\(S\\) is a unit of \\(Q\\) and for each \\(q \\in Q\\) there exist \\(a,b \\in S\\) such that \\(a\\) is cancellable in \\(S\\) and \\(q = a^{-1}b\\). In analogy to the Artin-Wedderburn-Theorem stating that simple artinian rings are matrix rings over a division ring, the author considers row monomial matrix monoids \\(M_ n(G^ 0)\\) over \\(G^ 0\\), a group \\(G\\) with zero 0. It is well known that they are isomorphic to the endomorphism monoid of \\(n\\)-dimensional free \\(G^ 0\\)-systems (\\(G^ 0\\)- acts). An \\(S\\)-system \\(M\\) is called finite dimensional if it cannot be decomposed into an infinite coproduct of subsystems. Now the number of components in the finest possible decomposition of \\(M\\) is called the Goldie dimension \\(\\dim_ S(M)\\) of \\(M\\). A semigroup \\(S\\) is called left Goldie if it is as a left \\(S\\)-system of finite Goldie dimension (which is trivial if \\(S\\) is a monoid) and satisfies acc on left and on right equalizer congruences, where \\(\\rho \\subseteq S\\times S\\) is a left equalizer congruence if for some left \\(S\\)-system \\(M\\) one has \\((a,b) \\in \\rho\\) iff \\(am = bm\\) for all \\(m\\in M\\).   The main theorem characterizes semigroups \\(S\\) which have the classical left quotient semigroup \\(Q = M_ N(G^ 0)\\) by three conditions one of which being \\(S\\) is an \\(n\\)-dimensional left Goldie semigroup.","type":"string"},"datatype":"string"},"type":"statement","id":"Q687637$D803ED88-DC85-46BD-AEB9-F941E2878444","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"85e4af3c816f7ac40605750dbfec22d9e5ba7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":207731,"id":"Q207731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687637$5CFADB20-D37E-4141-99BF-623E4CB746A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687637$0B3195BF-52F4-4C1A-98CB-1A35D0C98C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687637$AFFE483D-21BD-49C1-B3E9-51E00CEDADBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"647e495fa96a47b89168eb9013257b480e0fe64b","datavalue":{"value":"436437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687637$5D3EB818-0CB5-4609-95B8-41BD024B8FEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6812657f04f3216038deee8d6b0ff41e86a570c","datavalue":{"value":"\\(G^ 0\\)-acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q687637$3AE7DD6C-D792-4819-91D5-4E44E871F9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4550710f0320e8b8d0f96a534d8887e192d2458","datavalue":{"value":"left order","type":"string"},"datatype":"string"},"type":"statement","id":"Q687637$E99A3FF2-D58A-4DE8-A28A-EB06CE3AECCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bfd1dbc13fb208a4833c48418d55b0a1c981b08","datavalue":{"value":"classical left quotient semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q687637$000BA8EB-E91D-44AA-BDCE-CF31643C7FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd5218e41862dc5f19251ec8c33a0338462a0107","datavalue":{"value":"cancellable element","type":"string"},"datatype":"string"},"type":"statement","id":"Q687637$1B5E9118-9836-4310-B51D-5B579D185FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7fac8626d55ca50f50f68a21f4d65d5585dd742","datavalue":{"value":"Artin-Wedderburn-Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q687637$627AFF1B-5CEE-40C5-85D9-8458B24C4A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"786c82b5028c8fe6b11abbc202fb783277679783","datavalue":{"value":"matrix monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q687637$4E171EFB-DE95-4CFC-A8E0-28A03A60B66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e86038b670025220fd28eec2af67f76172dada4","datavalue":{"value":"endomorphism monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q687637$A40B6318-DCF8-41AD-A166-C70A9FF31F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8e21361d3baa01ddd5de8403729c1841f79317d","datavalue":{"value":"free \\(G^ 0\\) systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q687637$AE332B8F-3ECC-410C-9AA7-FC2E02420C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bcd1d213e3915b72e53513f4205e04b28de7ebd","datavalue":{"value":"\\(S\\)-system","type":"string"},"datatype":"string"},"type":"statement","id":"Q687637$882D0AC5-7939-4824-981C-1802C944EED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec6e88cb4df05517721f55f7e232cb7be4630b1f","datavalue":{"value":"Goldie dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q687637$6833D7F4-F2E4-4413-BEA4-E70C546B10F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q687637$29C908D7-277C-4E26-B49C-4A123A9DC738","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":"Q687637$A4B72ED5-7B94-4C5F-961B-6C0B7891FF5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687637$2C5A376E-7AD9-4D6B-B621-66572C9D6313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356a3d4fa4dd3bc41f61d247da4d54bb12c9901","datavalue":{"value":{"entity-type":"item","numeric-id":1073921,"id":"Q1073921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687637$CD37052F-D9F2-42A6-B4B3-57BB93FA3608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687637$49C7E8EE-EA7E-4F1F-924B-11685FCB102A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8348625dfe05edb6f560ddc106445d795618cc","datavalue":{"value":{"entity-type":"item","numeric-id":5726760,"id":"Q5726760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687637$4934C9B3-6AD1-480D-8586-33CE12A31509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07bf14d3232e7001abe438c5a6263193f9b4c90","datavalue":{"value":{"entity-type":"item","numeric-id":4071958,"id":"Q4071958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687637$FC7326A4-7BFE-4D61-A214-4A24994836E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a51526215ccbc9f3dbdcf78e41a7b01e29cae81","datavalue":{"value":{"entity-type":"item","numeric-id":5465066,"id":"Q5465066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970e2d665425e4899ebc46ebbc9d8eb237557cb2","datavalue":{"value":{"amount":"+0.8766544461250305","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":"Q687637$A2946BDD-9623-4AB4-8C59-3C246F5C1580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd58074dbbce7dc03dc1f75f1390fd3d277c8572","datavalue":{"value":{"entity-type":"item","numeric-id":1111704,"id":"Q1111704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9250876d00e6222e0dc10f6a3195f40fe6aca8","datavalue":{"value":{"amount":"+0.798613965511322","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":"Q687637$9B6B4B39-76B2-4942-B0AC-733623A79F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"521949c88a2786be46b22938861cd3013c160e82","datavalue":{"value":{"entity-type":"item","numeric-id":351099,"id":"Q351099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4fe170e5981c163d62dc58d6ad884bb56ea3aa","datavalue":{"value":{"amount":"+0.7533102631568909","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":"Q687637$C7D46B17-AA88-47FE-A324-3ED28CF44A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baed41a931bdb5971d6872fa02f5fc85064081a3","datavalue":{"value":{"entity-type":"item","numeric-id":4205651,"id":"Q4205651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857cb3d6f44b33dc19764e92088d500699ab6df6","datavalue":{"value":{"amount":"+0.7498145699501038","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":"Q687637$3E710B45-B662-47BE-B62F-84F9C596F2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d501466a010060fa9204e92ea282235f9df9f0fb","datavalue":{"value":{"entity-type":"item","numeric-id":1073921,"id":"Q1073921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab226b7549fb2341ee94171f5f4f77e7b2765c8","datavalue":{"value":{"amount":"+0.7493935823440552","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":"Q687637$56A3D9CD-C044-4BC4-B221-B4B8D68023F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Goldie's theorem for semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Goldie%27s_theorem_for_semigroups"}}}}}