{"entities":{"Q1328446":{"pageid":1339196,"ns":120,"title":"Item:Q1328446","lastrevid":68612634,"modified":"2026-04-13T00:55:16Z","type":"item","id":"Q1328446","labels":{"en":{"language":"en","value":"Semigroups of finite matrices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 611115"}},"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":"Q1328446$E1D8BE78-5915-438C-9A4E-5AA2BC3887E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"accc6fba162b659a6c1176430ec3327d25cfda6b","datavalue":{"value":{"text":"Semigroups of finite matrices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1328446$239230DF-CF62-4229-9F5C-67BB7FF28690","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df235958928126b8818a1835887714c8454e05fd","datavalue":{"value":"0818.22002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328446$C944CF32-33E5-4F5C-9CB7-41852B0AD6DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bbf31611ad3e7770efb5059b6b22b0c6a498807","datavalue":{"value":"10.1007/BF02573471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328446$CBF0C112-3DAE-41EF-A4B7-74B1ABB81049","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":"Q1328446$D4C39FEC-1FA0-4C08-BE09-F8B407A266EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"715720f561aea0eab4b625798722468837096427","datavalue":{"value":{"time":"+1995-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1328446$37DDCF38-753E-4D8D-8553-1D35C81F8A01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b72980d2a6f0ca39a4eac795abddece84e90df60","datavalue":{"value":"https://eudml.org/doc/135334","type":"string"},"datatype":"url"},"type":"statement","id":"Q1328446$C04CCB07-BAA9-4EBC-9F32-C25052D832FC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"946907aeeb516d219f8e6f287b18253bfa7a8dd7","datavalue":{"value":"In any compact topological semigroup \\(S\\), the monothetic subsemigroup \\(\\Gamma (s)= \\overline {\\{s, s^ 2, \\dots\\}}\\) contains a unique idempotent \\(e\\), and \\(M(S)\\cap eSe= M(eSe)\\) contains an idempotent \\(f\\). If \\(S\\subseteq \\text{End } V\\) where \\(V\\) is a finite dimensional real or complex vector space, then \\(\\text{rank } f\\leq \\text{rank } e\\leq \\text{rank } s\\), and if \\(\\text{rank } s\\) is minimal in the set \\(\\text{rank } S\\), then \\(\\text{rank } f= \\text{rank } e=\\text{rank } s\\) and thus \\(e=f\\). The real or complex Jordan decomposition plus the minimality of the rank yields \\(se= es= s\\). Thus \\(s\\in M(S)\\) follows. Since the elements in \\(M(S)\\) do have minimal rank we have that \\(M(S)= \\text{rank}^{-1} \\{\\min \\text{ rank } S\\}\\). If the ground field is real and \\(S\\) is convex, then the groups in the minimal ideal, being compact convex as linear retracts of the form \\(eSe\\), \\(e\\in E(M(S))\\), are singleton (well known for all compact affine semigroups).    If we fix an isomorphism \\(V\\cong \\mathbb{R}^ n\\) we may set \\(V^ +\\cong (\\mathbb{R}^ +)^ n\\) and call \\(s\\in \\text{End } V\\) positive if \\(sV^ + \\subseteq V^ +\\). Suppose now that \\(S\\) is a compact semigroup of positive elements. The author notes that an idempotent \\(e\\in E(S)\\) of rank \\(m\\) is a sum \\(e= \\sum_{j=1}^ m v_ j \\otimes \\omega_ j\\) of positive rank one operators, \\(v_ j\\in V^ +\\), \\(\\omega\\in (V^ +)^*\\), where \\((V^ +)^*\\) is the dual cone in \\(V^ +\\). The \\(v_ j\\) are linearly independent. If \\(e\\in E(M(S))\\) then the group \\(eSe\\) is finite effectively permuting the \\(v_ j\\). If it acts transitively, then the minimal ideal of the convex hull of \\(S\\) consists of rank one operators. More details on the structure of the minimal ideal \\(S\\) are given. (The structure of completely simple matrix groups in general is known by Munn's work, see, e.g. \\textit{A. H. Clifford} and \\textit{G. B. Preston} [The algebraic theory of semigroups I (Am. Math. Soc. 1961; Zbl 0111.03403)]; cf. also \\textit{K. H. Hofmann} and \\textit{A. M. Skryago} [Semigroup Forum 28, 199-234 (1984; Zbl 0526.22002)]).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328446$9285C9BE-CD8A-4395-A1D9-6E160EADB24B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17ae5f342de87580aa61d1b6acefb14fd1a8e3b2","datavalue":{"value":{"entity-type":"item","numeric-id":581558,"id":"Q581558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328446$32EA1EA6-5490-4D2D-83C7-F639A9550B54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328446$F46E3210-0CED-43C8-BD98-7AC898E651AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328446$54B02819-B6E6-46C3-A8D0-52000CEC4FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379993e49d6b3bf4f928ea97a76d4470fec7f1af","datavalue":{"value":"15B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328446$DDDF6F57-792E-4781-BEFC-C385814C514A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0b321fafd33da205994db3b946bd7cfe9a54983","datavalue":{"value":"15A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328446$D2FE0E63-767F-4659-B777-275C3A222932","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b37b7004b2ed6e66e1492a76ad4e11d42b588b35","datavalue":{"value":"611115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328446$B9DFDC6C-4227-412D-B1BB-E8CC11DB7098","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42cc45f2ba510f11890cff0e341afc380a723a3","datavalue":{"value":"compact topological semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328446$41027189-DA0D-4C66-96AB-9D7A3EBDD9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328446$AABE0299-779E-434E-82A3-39F5D985A45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"250d468a8aa1c0d4c7831ed2beb564c74b0016aa","datavalue":{"value":"Jordan decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328446$268751A8-A041-4546-BA5E-4314B95EEC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de1b2abef35827c6028fd37c7a4d1ba2e1e14115","datavalue":{"value":"minimal rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328446$F0ADD597-857B-4EB2-BEC1-D24795243BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b728b8ab4a2c5706368cbbd2dcbc0893cd2bc236","datavalue":{"value":"minimal ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328446$B7BDC205-3449-4FB3-B2F6-CA22F136B4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5531fd777bba086f7cdb95831e607318fe4830ce","datavalue":{"value":"compact semigroup of positive elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328446$EAB47659-0F40-4346-9283-818445A9559A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6139bbefa19d74226ae8c0748649ef03ab99c580","datavalue":{"value":"positive rank one operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328446$73237774-D1E2-4722-B520-57E4399CB00C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"688ae86ecc288500619ac74ed9ba5fdbfe8e54b1","datavalue":{"value":{"entity-type":"item","numeric-id":773219,"id":"Q773219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328446$35342449-D965-4AD4-B240-C1C7B8EF2C8F","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":"Q1328446$0BF77C36-C310-429C-9CA3-FB9E722FB8DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c03ec8f74551e63159995ecdd3eb0e6c24f9dc","datavalue":{"value":{"entity-type":"item","numeric-id":4013404,"id":"Q4013404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328446$192508EB-32CC-4B32-B452-A7584873353F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611b9627b9b3fee6a4b0bfcc0fe2dacfce12e601","datavalue":{"value":{"entity-type":"item","numeric-id":5843471,"id":"Q5843471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328446$B60EBD5B-6D7A-4271-877C-AC39ABC62368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d601597348c4eaeef99976dca28fd049a4918b","datavalue":{"value":{"entity-type":"item","numeric-id":5572921,"id":"Q5572921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328446$5228915F-BDCA-440E-BB51-227E955ACF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa0339e243d1bbc96d06df4546e3739e8731b9c","datavalue":{"value":{"entity-type":"item","numeric-id":5545552,"id":"Q5545552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328446$61609B53-7084-469F-8D4A-A3811B20E7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67518ed21582b53b6e55f572bb3300c505e59eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5341863,"id":"Q5341863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328446$D8902A09-6B5C-4E4D-BB62-0E6E5C416D3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628410bce0a5d70bd276dc1dab3dae217348b0f0","datavalue":{"value":{"entity-type":"item","numeric-id":809161,"id":"Q809161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce19023698b9f0f01b392191b28e18a2049246d9","datavalue":{"value":{"amount":"+0.8028964996337891","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":"Q1328446$A7979120-499E-4C35-BD04-4AA9A9ECF07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cba0ef8891ceed1a84836e20bb2d144e63c24fa","datavalue":{"value":{"entity-type":"item","numeric-id":4013315,"id":"Q4013315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9076e59a6ed59a03b6b9e71ad44a47f7c8f693","datavalue":{"value":{"amount":"+0.77370685338974","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":"Q1328446$6D9B778D-293E-46C2-AF0D-1EA900018B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f393a1fa45a0b758e3f817851aac715da9cfa9e2","datavalue":{"value":{"entity-type":"item","numeric-id":3357747,"id":"Q3357747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9076e59a6ed59a03b6b9e71ad44a47f7c8f693","datavalue":{"value":{"amount":"+0.77370685338974","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":"Q1328446$E410BDE3-6363-4E59-92E5-A4C9FDF2867D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad85660c770aa8070c60de456208fc120115f94b","datavalue":{"value":{"entity-type":"item","numeric-id":4508672,"id":"Q4508672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf6c0a07cea2cffe98f98a496417855e1bb6c9e4","datavalue":{"value":{"amount":"+0.765602171421051","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":"Q1328446$DD3EA468-D7D0-4B4A-8A10-796D0DF92DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9bc21edb0510e9ccce25ce7b945876844f6082","datavalue":{"value":{"entity-type":"item","numeric-id":655978,"id":"Q655978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61cee3fae8408bf0496b5443ecf93042051d2e84","datavalue":{"value":{"amount":"+0.7630115151405334","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":"Q1328446$9CD6134B-A157-4971-946A-95C1F5A705B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semigroups of finite matrices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semigroups_of_finite_matrices"}}}}}