{"entities":{"Q1030253":{"pageid":1032101,"ns":120,"title":"Item:Q1030253","lastrevid":65986989,"modified":"2026-04-12T06:46:15Z","type":"item","id":"Q1030253","labels":{"en":{"language":"en","value":"Constructing algebraic groups from their Lie algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5573850"}},"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":"Q1030253$4E167C61-C8BB-4CA7-9734-CC088DE858B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfb5219e0a645ecf5451a706914d1fb83befedb0","datavalue":{"value":{"text":"Constructing algebraic groups from their Lie algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1030253$126BD34F-9C08-4170-A2C4-9C3651F56923","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20b4e804554b64de29247cc73786a605a239b2d0","datavalue":{"value":"1180.20038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030253$0C392520-20B0-4140-80FC-31BC4B199B08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$B8D98BD4-0DF5-474C-84F9-19CB671F1B58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a53a3c94c25a23f5eea9b080a88a1dd3753babf","datavalue":{"value":{"time":"+2009-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1030253$B967B9FD-DC44-48BF-8DE1-30A6F202ACAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db3ec465af52df928d5b12b8c6699f8bb6a18797","datavalue":{"value":"https://arxiv.org/abs/math/0612557","type":"string"},"datatype":"url"},"type":"statement","id":"Q1030253$BD0F1835-2FD9-45FA-AFBF-419A876CD691","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5088439caf41f692ae5b1b7fcb610dca89a921ae","datavalue":{"value":"Let \\(F\\) be a field of characteristic \\(0\\), with algebraic closure \\(K\\). A connected algebraic group \\(G\\) over \\(F\\) is uniquely determined by its Lie algebra \\(\\mathfrak g\\).   Given an algebraic Lie algebra \\(\\mathfrak g\\) over \\(F\\) (i.e., one which is the Lie algebra of an algebraic group over \\(F\\)), the author gives an algorithm for computing the unique connected algebraic group \\(G\\) with Lie algebra \\(\\mathfrak g\\). Here, \\(\\mathfrak g\\) is given as a set of basis vectors inside \\(\\mathfrak{gl}(n,F)\\) for some \\(n\\). The algorithm then returns a set of defining polynomials for the group \\(G\\). The algorithm may be implemented in a computer algebra system, such as MAGMA.   The algorithm consists of a number of subalgorithms. The first step is to decompose \\(\\mathfrak g\\) into a semisimple part \\(\\mathfrak l\\), a toral subalgebra \\(\\mathfrak t\\), and an ideal \\(\\mathfrak n\\) consisting of nilpotent matrices. Then algorithms are given to construct algebraic groups corresponding to a reductive, a semisimple, a toral, or a nilpotent Lie algebra. The reductive group is not necessarily connected; for the user who does not require connectedness, this algorithm produces a group corresponding to a reductive Lie algebra directly. Finally, the author gives an algorithm for putting the groups corresponding to these subalgebras together to obtain (defining polynomial equations for) the (connected) algebraic group corresponding to an arbitrary algebraic Lie algebra \\(\\mathfrak g\\). In the last section, he describes some of his experiences with the implementation, in particular, the practical performance of the algorithm.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1030253$5149BD77-6AF9-4264-B625-F07345A8FF68","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"79f45dce262efd47dcdb410ef68e1f0c87836a11","datavalue":{"value":{"entity-type":"item","numeric-id":473115,"id":"Q473115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$AC676589-7C80-4315-9ADB-FC9C6FF56D8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5da4673649355244eb9246e0f14ff08374e114","datavalue":{"value":"20G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030253$69C4C17E-C26B-4581-96BE-D80364D90583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f4491b62c8458e495b6eda74e8c6dd751db90c08","datavalue":{"value":"17B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030253$06763452-A783-423B-8C2A-8474CB3F0A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"27a28bc9c51d383d4781c76d41d853a2cb118b94","datavalue":{"value":"17-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030253$FA5F3E40-DD47-45FD-A1E6-972AAF97C2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030253$037395AF-7B24-42A4-842D-ACD7042EBFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6925ce6e2a42d645b2c919a3cc743c54a2693b5e","datavalue":{"value":"17-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030253$816FEEE5-B8B9-4973-8FF5-EF09ACF14966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030253$679542CB-C402-4E20-9991-54A8276927F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80ee7a94b2fc9b47a4389454bcf072872e0b8b9e","datavalue":{"value":"5573850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030253$A78F3A68-727C-4B6E-8A29-061BCA427A20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ee2fbe857d8caf54af962208ddfd46ca232a030","datavalue":{"value":"algebraic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1030253$746A7E5A-24BD-4CEA-A9ED-881529E762F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce68ebafa1b369d9ca67dd0f684259c21f0f9efd","datavalue":{"value":"algebraic Lie algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1030253$7F8416F9-ED08-4CC3-ABB3-F790D5ACBD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16309826446a955d6691c74e7a59d65b73b2f485","datavalue":{"value":"maximal reductive subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1030253$CAF8AA8D-1C45-453F-B833-B3AE9A998765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"414e6843f98551231ed1ba3bc7139db7370e685c","datavalue":{"value":"computational methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1030253$46698580-75AE-4174-8A39-0163F2EA1BAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59021d1bb25768562ccda9d426eda7a7839f61d7","datavalue":{"value":{"entity-type":"item","numeric-id":435963,"id":"Q435963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$851CA912-2331-479B-9FA4-6CFCF0AF6461","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$46AE1533-078B-41BB-A170-79DC65B8E7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$69ED4683-5190-4DD7-9058-C366754EE13F","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":"Q1030253$B847E076-2208-4D52-9A29-7A557D4AA4F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d4e60d965f29f2fbce3e6bc94cbb3df52ead63e","datavalue":{"value":"W1984153235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030253$0EC782EA-F880-4549-A459-5F659F713817","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fa859e65a6822987a1d1bc9e9ef662291ea1ef8f","datavalue":{"value":"Q115345239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030253$7A40D074-75FA-4861-B0A0-3AD7D1E1F316","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5019dfa240e893f8ebed15b9b8cc1f5c1e205492","datavalue":{"value":{"entity-type":"item","numeric-id":5580322,"id":"Q5580322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$9605B860-E148-403A-8B08-580162E031C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0d318899f6d495f4481731f0306e3c8c43504b","datavalue":{"value":{"entity-type":"item","numeric-id":1369784,"id":"Q1369784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$A3919379-22F4-4B74-95AA-7E4E9FEA83AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7953e42d058fbf05926875df76d4eb7fbe2aeeb2","datavalue":{"value":{"entity-type":"item","numeric-id":5825260,"id":"Q5825260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$27DE0B50-B9E1-4170-9F7E-68DD3EBBFB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b4b9eebd36d575b42a03dd7c32101b0c4e5a96","datavalue":{"value":{"entity-type":"item","numeric-id":2456549,"id":"Q2456549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$1401A0E0-A489-44F9-AB80-8816A458A357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d339a215f296c2a5f5090a141adc30fdcae8ffd9","datavalue":{"value":{"entity-type":"item","numeric-id":3091948,"id":"Q3091948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$B45E4CD3-2477-409F-921A-0A60466D2761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5272cb4b7ce864240c844a25e4264d2aa3051484","datavalue":{"value":{"entity-type":"item","numeric-id":4942163,"id":"Q4942163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$D3384A90-A6F6-4AB6-9682-3BDE386C49EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab88fb4e9df0ff6844170026cd86381c1dd17473","datavalue":{"value":{"entity-type":"item","numeric-id":2781760,"id":"Q2781760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$4537C123-7071-4940-AD78-E1BA0048990E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462c28170ae8bdb69b3d4043719ab3891c33e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1150699,"id":"Q1150699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$96ECBE31-3555-4617-A387-B20810EB35F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9a870d6f194da3e45a064e8fd55b475812253b","datavalue":{"value":{"entity-type":"item","numeric-id":4744461,"id":"Q4744461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$46E855E1-650B-4F78-8ABC-5167C6E14958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce828b62e3ce204ab5f0f9b8d8c141b018042f44","datavalue":{"value":{"entity-type":"item","numeric-id":3236704,"id":"Q3236704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$C0C154E9-E6EB-4E2A-BD18-881BDD6369E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac113a0b574f6c299f5ff6d1455571a6350b03d7","datavalue":{"value":{"entity-type":"item","numeric-id":4285784,"id":"Q4285784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$7D5FA0C5-E9EA-4719-80AD-4C22476B8A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4847476f3f79fd61fe6a5d713dd1a3b7686c05d","datavalue":{"value":{"entity-type":"item","numeric-id":5662056,"id":"Q5662056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030253$B4F7C4F1-C865-43FA-B95F-94BDFE1231D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ec9f8667c3524faf9262b821d90eaee7643a383","datavalue":{"value":"10.1016/J.JSC.2008.02.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030253$489148A3-219C-40C0-ABDE-229DC2A7F985","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d22f041623831ac7bb37dd87735b51aab17a24","datavalue":{"value":{"entity-type":"item","numeric-id":875096,"id":"Q875096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bae4b8964dcda341973d53e25d1a0c5d702a699","datavalue":{"value":{"amount":"+0.7814970016479492","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":"Q1030253$09067377-C5CB-45D6-BE4E-2345E4269467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bdd092a457d3652b960df325462388d698f102","datavalue":{"value":{"entity-type":"item","numeric-id":1358916,"id":"Q1358916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be397b2ea9dc762869dcd30c260a12a9cd352fe","datavalue":{"value":{"amount":"+0.780341625213623","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":"Q1030253$0E489AE3-C494-4806-B999-BE09483CE6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a3dba546ee22ffca67f58889dbdb86dc3f9c29","datavalue":{"value":{"entity-type":"item","numeric-id":1930176,"id":"Q1930176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be397b2ea9dc762869dcd30c260a12a9cd352fe","datavalue":{"value":{"amount":"+0.780341625213623","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":"Q1030253$4086D000-004F-4393-9E32-EC95DAC8E8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609aa6624e426be23cd922a4287088ff9271f3c4","datavalue":{"value":{"entity-type":"item","numeric-id":5169651,"id":"Q5169651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baca4d5b4f7f069a73bcb1118017fecd923cecbb","datavalue":{"value":{"amount":"+0.7789093255996704","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":"Q1030253$5E78328D-4872-4AA8-843F-EDAB00BD78EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abddfaf3de44d94bb95415bff8698dab317d8d50","datavalue":{"value":{"entity-type":"item","numeric-id":2967799,"id":"Q2967799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f028a557f175074cc01f6d8af10bcecd2b43ecd","datavalue":{"value":{"amount":"+0.7763718962669373","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":"Q1030253$AE88EFC2-93D4-48A3-8677-1E3F6961A1BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing algebraic groups from their Lie algebras.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructing_algebraic_groups_from_their_Lie_algebras."}}}}}