{"entities":{"Q2716429":{"pageid":2727168,"ns":120,"title":"Item:Q2716429","lastrevid":79223282,"modified":"2026-05-06T13:25:40Z","type":"item","id":"Q2716429","labels":{"en":{"language":"en","value":"Reductive and semisimple algebraic monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1598943"}},"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":"Q2716429$A1C7B936-473E-4002-90C3-5017FE8F4032","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8e6fef9df3ebf5469ffd06df69ecda92434900f","datavalue":{"value":{"text":"Reductive and semisimple algebraic monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2716429$C836C1B1-5FF9-4192-8AB0-DBB19028B82A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc22b0c36cb71e289bbf8689bf245beff3e63c03","datavalue":{"value":"0976.20047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716429$931E0C43-88CF-40A2-B1D5-B749D8FA9944","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5523f5191eab462bdcb5773dad5ff849f2176a1b","datavalue":{"value":{"entity-type":"item","numeric-id":585730,"id":"Q585730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716429$8813F9AD-59C6-476E-84A7-6EFE621D636D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d052ea9878f7453f8cc5fa5227d90acb57531e2","datavalue":{"value":{"entity-type":"item","numeric-id":254046,"id":"Q254046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716429$795E3C69-BCD1-4BB8-AE36-CFC97BF2736B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1aa702799bba8332feed35d198b58d4c2e376e02","datavalue":{"value":{"time":"+2001-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2716429$0AD5EF4C-ED5E-458B-B73C-9C7460AD8807","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716429$18F3A637-2EBF-4BC5-B65E-57D3D426B822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5da4673649355244eb9246e0f14ff08374e114","datavalue":{"value":"20G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716429$707D107B-E179-4DE3-9788-5BCC0C1113C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716429$158CBF20-2A7B-4530-BAF7-84786D72972B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8899c2572c6906aa61e2c43c891cab7f5a02f21c","datavalue":{"value":"1598943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716429$805B10DA-1063-4ADE-BEF3-AB87DC71977F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0363edb1f0b8fdef8658fc60e1a0305962a9fd7","datavalue":{"value":"irreducible algebraic monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716429$E0320C08-F49D-490F-8A7E-D8DBA4F783B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d242950aeacad73f4b00bbde7d133a4c396f9192","datavalue":{"value":"unit groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716429$2D973A52-D954-41DE-A19E-6BF0465995B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd958945adb8f971e17c53b8b72b99d29ba70053","datavalue":{"value":"kernels","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716429$2AC7EC5A-A0AF-4600-80BD-5B1FE2457890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0287d97ff7af864a100cead5df95f304496a49a4","datavalue":{"value":"reductive monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716429$4A4CFD88-4480-4EA8-BA40-198F11F417EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e7694859b9aa725ac282b524022dc7eef8885b3","datavalue":{"value":"regular monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716429$B1A77FED-65EA-4606-9149-0A831B7C6D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c9f5b14771e767a0cd1e4ab7fd3ecb03de4bc2","datavalue":{"value":"reductive groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716429$6DCBD741-0CD0-47A6-9CEC-D9B8356122FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73fc5258d756e947429997e52e2146c52680894a","datavalue":{"value":"semisimple monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716429$8F909EFA-FB8A-4B9F-81C2-7A5FA89FD6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98a42ed3ac8ae9256772f0ef161a905c94055c2d","datavalue":{"value":"solvable radical","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716429$06C326C1-D937-4293-BC92-9573D7F2FAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5db7b8afc2d77aa84a99e86873dce7200033b801","datavalue":{"value":"semisimple algebraic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716429$387982CA-87D4-46F0-9319-7DF4D63E2284","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":"Q2716429$087D75B1-D122-4C93-A9B9-4D25D2B5192C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6dc9b87be84974dba76222334731578b7e873d8","datavalue":{"value":"https://doi.org/10.1515/form.2001.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2716429$3523F1F3-E7CD-410F-BA00-AAC3B57FF089","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90fd61d738510e40b5a10372c317a43cd24c9167","datavalue":{"value":"W2034611037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716429$5ADD567D-7228-4BC5-87E2-60B9174EC7B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68764a3b5ec74c7aebee70f653efc1fcd03555a","datavalue":{"value":{"entity-type":"item","numeric-id":3999894,"id":"Q3999894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716429$3BCF9E7D-6321-40A9-BE47-BA7AF88A15BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377417c66b3079045db0fe37227227e33611921a","datavalue":{"value":{"entity-type":"item","numeric-id":3717277,"id":"Q3717277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716429$E155BCFF-1A98-4955-824C-DBEBD0D577E2","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":"Q2716429$DC9C3150-9117-488E-87BA-CDB83401E203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690adcbcc150fcc482968d70a808065d0f21877b","datavalue":{"value":{"entity-type":"item","numeric-id":3924381,"id":"Q3924381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716429$D5B22694-192A-4838-8BC8-2E59C1998236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6946d86cd70b1df31472de5e56aa19bc21d785","datavalue":{"value":{"entity-type":"item","numeric-id":3222326,"id":"Q3222326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716429$DD840A00-1BE7-4BEB-BC43-1D8D22A156FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc96016330cf73ac31fe82a81c6ccb79afd67a3","datavalue":{"value":{"entity-type":"item","numeric-id":4858472,"id":"Q4858472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716429$277E7FB1-2B77-4284-9C18-F89E8D05D6A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70561e8c05885f97b0e7a217cf135c14b0b937d3","datavalue":{"value":"10.1515/FORM.2001.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2716429$9D071D97-7406-4187-A626-2546B91485ED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"efc446054fcd2dc282e6fcdbf860b6e51f936263","datavalue":{"value":"Let \\(M\\) be an irreducible algebraic monoid over an algebraically closed field with \\(G=G(M)\\) the unit group. \\(M\\) is said to be reductive (solvable) if so is \\(G\\). One of the most striking results of the theory of algebraic monoids is the Putcha-Renner theorem stating that \\(M\\) is reductive implies \\(M\\) is regular (in the semigroup theory sense), and if \\(M\\) has zero then the converse is also true; if \\(M\\) is regular then \\(M\\) is reductive.NEWLINENEWLINENEWLINEThe main result of the paper (Theorem 2.1) gives a criterion for \\(M\\) to be reductive, no matter whether \\(M\\) has zero or not. It is worth to notice that in this criterion not the ``top'' of \\(M\\) (unit group) but the ``bottom'' of \\(M\\) (the kernel of \\(M\\) denoted by \\(\\text{ker}(M)\\)) is involved (for any semigroup \\(S\\) the kernel \\(\\text{ker}(S)\\) of \\(S\\) is the minimal two-sided ideal of \\(S\\) if it exists). Theorem 2.1 states that \\(M\\) is reductive if and only if \\(M\\) is regular and \\(\\text{ker}(M)\\) is a reductive group. A similar criterion is proved for \\(M\\) to be semisimple. Recall that \\(M\\) is semisimple if and only if \\(M\\neq G\\) and \\(G\\) is reductive with one dimensional center. Theorem 2.4 gives 4 conditions equivalent to the semisimplicity of \\(M\\), we formulate only one such criterion: \\(M\\) is semisimple if and only if the solvable radical of \\(G\\) is one dimensional and \\(\\text{ker}(M)\\) is a semisimple algebraic group.NEWLINENEWLINENEWLINEThe above described occupies Chapters 1, 2. Chapter 3 is devoted to reductive monoids \\(M\\) with \\(\\dim M\\leq 5\\). It is shown that \\(\\dim M\\leq 2\\) implies \\(M\\) is solvable, and \\(\\dim M=3\\) implies \\(M\\) is either solvable or semisimple. The case \\(\\dim M=4\\) is considered in Theorem 3.1: in this case nonsolvable \\(M\\) with \\(M\\neq G\\) must be semisimple. Suppose \\(\\dim M=5\\), \\(M\\) is unsolvable, and \\(G\\neq M\\). Then the following conditions are equivalent: (1) \\(M\\) is reductive, (2) \\(\\text{rank}(G)\\neq 2\\), (3) \\(\\text{rank}(G)=3\\); moreover, if \\(M\\) is reductive then \\(\\dim C(G)=2\\) (\\(C(G)\\) denotes the center of \\(G\\)) (Theorem 3.5).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2716429$A5E24BB6-7350-4F10-954F-BE0B0903487F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce929559c868748088ace439753e6dc3f3bf3ab3","datavalue":{"value":{"entity-type":"item","numeric-id":1434104,"id":"Q1434104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2716429$D5E2EBC9-DD2C-4288-AFCF-E971E17D99CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a15f2c93dc09f42491217da5d52c20b118a30f","datavalue":{"value":{"entity-type":"item","numeric-id":3123640,"id":"Q3123640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9787450a61b6120bf7f4183aede5456f8523df","datavalue":{"value":{"amount":"+0.837307870388031","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":"Q2716429$F375AB4B-D787-4C5A-AE29-DCB31ED07637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a63577eb22c789c4bbf1849e5c1493a82c963f","datavalue":{"value":{"entity-type":"item","numeric-id":3020568,"id":"Q3020568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9787450a61b6120bf7f4183aede5456f8523df","datavalue":{"value":{"amount":"+0.837307870388031","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":"Q2716429$C922A2CE-93D7-42D6-9484-EB392B8D7527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90315431d76c0c3375f1bb94f95e70b30241685b","datavalue":{"value":{"entity-type":"item","numeric-id":1914080,"id":"Q1914080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a36d53725753a9436a10848dd75057d0a9f978","datavalue":{"value":{"amount":"+0.8349727392196655","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":"Q2716429$02A19170-7D5E-48D9-9A35-ED5BD2D45F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c8a04dbebb1ec15a3e3aae56a0216ad337e3de","datavalue":{"value":{"entity-type":"item","numeric-id":3023120,"id":"Q3023120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae296008d61d32c02554352d975a8984d2340ee8","datavalue":{"value":{"amount":"+0.8344237804412842","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":"Q2716429$E54359EF-C45F-4493-9DF8-A261824E3EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9fc51fa7d3a8ba6260590b0964897894299d994","datavalue":{"value":{"entity-type":"item","numeric-id":4243615,"id":"Q4243615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba393c35359e0bd6765f3a05588ac030859d5bcd","datavalue":{"value":{"amount":"+0.8193075656890869","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":"Q2716429$C5826E53-FE6B-4D04-9591-44C082836472","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reductive and semisimple algebraic monoids","badges":[]}}}}}