{"entities":{"Q6862615":{"pageid":20672311,"ns":120,"title":"Item:Q6862615","lastrevid":84247154,"modified":"2026-05-14T04:08:55Z","type":"item","id":"Q6862615","labels":{"en":{"language":"en","value":"Unipotent normal subgroups of algebraic groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8156007"}},"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":"Q6862615$3F947F39-A2A1-4DD9-86E3-6D457331980F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"405c539bb4345070d4684074a3958b4df106fdb6","datavalue":{"value":{"text":"Unipotent normal subgroups of algebraic groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6862615$752F6257-C7DE-460E-A6FF-E928DB64BD83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71a997b500d003bbd4bb67a7d8d1a4a7e8b13a8b","datavalue":{"value":"10.1016/J.JALGEBRA.2025.10.058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862615$63A54D1A-4EB1-4527-9357-5D12CBB154A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de396b6307bfdb24df34660e763e52bde559f1fd","datavalue":{"value":{"entity-type":"item","numeric-id":2057576,"id":"Q2057576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862615$5DBC5EEC-BFAB-4C19-954B-381B0D7CCF23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862615$1FBF769A-48EF-41EE-92A7-99DC99C7508A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc57803b76bc19bf04798b0b41d601913e68dca7","datavalue":{"value":{"time":"+2026-02-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":"Q6862615$18A8A57D-9392-41B8-B7AF-F24EE2DEA426","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bbbae3ea4ba3cb868413ea3cc5a8a65227866761","datavalue":{"value":"Any affine algebraic group over a field contains a largest smooth connected unipotent normal subgroup - its unipotent radical. The paper begins by obtaining an analogue of this fact in the following form.\\N\\NLet \\(k\\) be a field and \\(G\\) be an affine algebraic \\(k\\)-group. There exists a largest unipotent normal subgroup \\(\\mathrm{Rad}_u(G)\\) of \\(G\\) (Theorem~1.1).\\N\\NNext, it is shown that \\(\\mathrm{Rad}_u(G)\\) contains all unipotent subgroups of \\(G\\) if at least one of the following holds: (i) \\(G\\) is trigonalisable over an algebraic closure \\(\\overline{k}\\) of \\(k\\); (ii) \\(G \\cong \\overline{G}/Z(\\overline{G})\\), for some nilpotent connected algebraic \\(k\\)-group \\(\\overline{G}\\) (Theorem~1.2).\\N\\NIt turns out that in many important situations the fact that \\(G\\) contains no non-trivial unipotent subgroups implies that \\(G\\) is commutative. More precisely, the following is true (Theorem~1.3).\\N\\NLet \\(G\\) be a connected affine algebraic \\(k\\)-group. Suppose \\(G\\) contains no non-trivial unipotent subgroups. Then \\(G\\) is commutative in each of the following cases: (a) \\(k\\) is algebraically closed; (b) \\(k\\) is perfect and \\(G\\) is solvable; (c) \\(G\\) is trigonalisable over \\(\\overline{k}\\).\\N\\NTheorems~1.2 and 1.3 are illustrated with several examples of affine algebraic \\(k\\)-groups which contain no non-trivial unipotent subgroups and yet are neither nilpotent nor trigonalisable over \\(\\overline{k}\\). A number of consequences of these theorems are then investigated. In particular, it is shown that if \\(G\\) is a solvable smooth connected affine \\(k\\)-group then \\(\\mathrm{Rad}_u(G)\\) contains all unipotent subgroups of \\(G\\) (Corollary~1.4).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862615$6D1869D5-70BA-4060-8579-BC55A098904D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"399bdd254583d6a99df54e8c932b005397b828d2","datavalue":{"value":{"entity-type":"item","numeric-id":944042,"id":"Q944042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862615$154AEEC9-37E2-4DE6-B9B7-1A6ADB0A6AA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5da4673649355244eb9246e0f14ff08374e114","datavalue":{"value":"20G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862615$12A213BA-470E-4B59-B30D-10C9969D5E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"931d440d81bc36bd995d55315147f8320cad5b38","datavalue":{"value":"20G07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862615$224A11BF-E443-47E9-8812-EBFE50B57221","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"140b037106db026988956d251273a93fc03ede1d","datavalue":{"value":"8156007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862615$3C97423C-F84C-4DF4-A701-CAE52CA9C4A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e13ecc45e63343a92654ba45aacbf0663f8a663b","datavalue":{"value":"unipotent","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862615$42D149ED-A894-4213-9F7D-70F48676C50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d862d6e87c0f2c58f71494862d8493aa105d9fcd","datavalue":{"value":"normal","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862615$462E0DCC-9160-42DA-8494-FA9CE0360C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8832fd629af511c3fc3901b72424e4b39c4b31a6","datavalue":{"value":"subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862615$31B997DD-831B-4875-833B-8581CC5DE3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33c40d8e439e5a2553421ae9bdacebaf7991be17","datavalue":{"value":"affine","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862615$7D12884B-A7FA-4F17-8E52-D6DBDF5D97A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c0ea2d21c604772b68800fa32f69986da7a01e6","datavalue":{"value":"algebraic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862615$D2FA07A5-75DC-43C4-B22E-CDD642B00DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffa2562cdcda6f2d37a86e2e286fdaac2949a96","datavalue":{"value":"groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862615$A06832C1-1E42-4D13-ACA4-AF9E4AA8723D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7f6ea46881a12d484c6f690dd0a1c7ba35dc4f1","datavalue":{"value":"schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862615$EE1BC4D0-D0A9-463E-88D1-143666AC1393","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":"Q6862615$0567D398-AA65-4F56-8566-7856015805DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b244c3e92729c4b7077b17d971fe91d0f751087","datavalue":{"value":{"entity-type":"item","numeric-id":4177760,"id":"Q4177760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862615$292BF2FF-DD18-435E-8F51-B02472C0FD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb2039b414ce70020cef4f2f9c6749e7a72e460","datavalue":{"value":{"entity-type":"item","numeric-id":5390081,"id":"Q5390081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862615$5012F6B1-16CB-41EA-BDBB-01FA37B2E5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc43018e9c17ea85cfc1390d2f30dd90e290254","datavalue":{"value":{"entity-type":"item","numeric-id":4982247,"id":"Q4982247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862615$47F61A4F-3B7F-4104-8667-DF3A17CB7B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4648c68f41a8b6ca0241871b1136d0b03352c90","datavalue":{"value":{"entity-type":"item","numeric-id":3450048,"id":"Q3450048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862615$E844AF8F-A5CA-48CA-8CAC-CA5AADC50A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1196e145a71841b693893b7197fa7ee1fc2a937","datavalue":{"value":{"entity-type":"item","numeric-id":4636126,"id":"Q4636126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862615$6EBC1895-0FB0-4179-9009-3CDC206FC1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab29f083e8bcdd5c461a09542346cda05ccd9efb","datavalue":{"value":{"entity-type":"item","numeric-id":5602064,"id":"Q5602064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862615$DF90A80E-620C-4629-A394-A7E3A698EFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5754c960fd987d09077a8a253fcb8bb69972a2c","datavalue":{"value":{"entity-type":"item","numeric-id":4039778,"id":"Q4039778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862615$CD48371E-E9B6-4B6E-B2C4-92F676704513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4eeccd8da607b638bcb88cc05df426ca99c578a","datavalue":{"value":{"entity-type":"item","numeric-id":5559307,"id":"Q5559307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862615$9842671C-E062-45C6-85F5-61705DE717E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82a011583a4595938e921b7ae9e013c6b79eb539","datavalue":{"value":{"entity-type":"item","numeric-id":2981940,"id":"Q2981940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862615$DFD6523F-A1AA-476E-81CF-54C959D63EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8509212ef1c37c3a4a5ed8fd064d92dbbd798df3","datavalue":{"value":{"entity-type":"item","numeric-id":3429776,"id":"Q3429776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862615$510577B0-6437-4DC1-91F3-BC067B2F900E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7674aa3cee90c3fe5b49e32a2035c48fc60fa27","datavalue":{"value":{"entity-type":"item","numeric-id":3092538,"id":"Q3092538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862615$4700F873-AC8A-4743-AE9E-E7C0425DADF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb5e12c55d5005e5d202bb3909a5e886bdf707f9","datavalue":{"value":{"entity-type":"item","numeric-id":2487992,"id":"Q2487992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862615$A36B601E-ED18-427C-ABA1-6BC2B4008493","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unipotent normal subgroups of algebraic groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unipotent_normal_subgroups_of_algebraic_groups"}}}}}