{"entities":{"Q791615":{"pageid":793463,"ns":120,"title":"Item:Q791615","lastrevid":64452072,"modified":"2026-04-11T19:57:52Z","type":"item","id":"Q791615","labels":{"en":{"language":"en","value":"Matrix rings and linear groups over a field of fractions of enveloping algebras and group rings. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3851318"}},"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":"Q791615$40FF2D0E-90FC-4F8C-B2BE-EA0BC67A3760","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0cf3bef446733584f929d3b8da95333a3a2517a","datavalue":{"value":{"text":"Matrix rings and linear groups over a field of fractions of enveloping algebras and group rings. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q791615$797BC076-FEB1-40B2-82EB-768783771DF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16fa474d9e3fac95fa040f0aac1b8a8bc295547f","datavalue":{"value":"0536.16023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791615$EBDFEE03-69B2-47A2-B983-DE54F335EE50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8d45248d0f718023ebea83fe38e5d2493222a18","datavalue":{"value":"10.1016/0021-8693(84)90087-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791615$B4A01D04-B749-46D3-AF89-894F4301D269","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9b2d73142d8dabcfc972c8ea21bb9480abda923","datavalue":{"value":{"entity-type":"item","numeric-id":308134,"id":"Q308134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791615$CBBCFB08-8140-480D-AEAF-28303CDC23C3","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":"Q791615$661F2CF0-049A-488E-B435-CBFBD997A9C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q791615$C60E8825-75B8-4DB2-8190-055773FEC591","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81654767af15b2628396cc00f733128853839b85","datavalue":{"value":"The goal here is to show that the ring \\(D_ n\\) of \\(n\\times n\\) matrices over the division ring of fractions D of a universal enveloping algebra enjoys properties similar to that of a PI-algebra over a field. Let H be a Lie algebra over the field K, let U(H) be its universal enveloping algebra and let D be the ring of fractions of U(H). The main result is as follows.    Theorem A. Suppose that H satisfies one of the three conditions: i. U(H) is an Ore ring and \\(\\cap^{\\infty}_{m=1}H^ m=0\\). ii. H is solvable of class 2. iii. H is finite dimensional over K. Then \\(D_ n\\) satisfies: 1. The Jacobson radical of any finitely generated subring of \\(D_ n\\) is nilpotent of index \\(\\leq n.\\)    2. If V is any finitely generated subring of \\(D_ n\\) such that any element of V is a sum of nilpotent elements of V, then \\(V^ n=0.\\)    3. Any noncentral normal subgroup of \\(GL_ n(D)\\) contains a noncyclic free subgroup.    4. Any periodic subgroup of \\(GL_ n(D)\\) is locally finite.    5.If \\(char K=0\\) then any periodic subgroup of \\(GL_ n(D)\\) contains an Abelian normal subgroup of index \\(\\leq \\rho(n)\\) where \\(\\rho\\) is the Jordan function.    It is also shown that if H is solvable with \\(\\cap^{\\infty}_{n=1}H^ n=0\\), then any nilpotent subgroup of \\(D^*\\) is Abelian. Moreover, when \\(char K=0,\\) then any nilpotent-by-finite subgroup of \\(D^*\\) is Abelian.    Finally the paper considers division rings of fractions of group rings. Let G be a solvable residually torsion free nilpotent group or a torsion free polycyclic-by-finite group. If D is the division ring of fractions of KG, then \\(D_ n\\) also satisfies the conclusions of Theorem A.","type":"string"},"datatype":"string"},"type":"statement","id":"Q791615$FC2214BB-B8F9-4464-B17B-3F4017FA5A4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6b1af0e8691636438a9004bceeb257d1f1d452e7","datavalue":{"value":"16Kxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791615$DFB6008A-88C4-4546-8A98-E175B6A0DA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ba521b58bfbedda1bfb786f9a40dafbfa7fed44","datavalue":{"value":"17B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791615$6D1C4CA1-2964-4C4F-950F-BE4468325169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"913d3990e83d8adef69305bd4ca0e422b9869252","datavalue":{"value":"16S50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791615$3BA7F9A1-8D35-44E9-A5E4-318EBF97C45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37f17b3e9849dd0379a45db8d24729a21e1aaa17","datavalue":{"value":"20H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791615$BBEC56FC-510E-4E28-B05C-B0CA249C2EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791615$90748CFB-7281-45B9-8214-BF561A35F149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"973eb9e9b2fb866226b5fdd4d46835fa9f7955d9","datavalue":{"value":"20F18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791615$3272C3B3-2404-4A54-AE50-1D02126703A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"64c891c8db113a89f5535e38d0fdd8c3bd61e10c","datavalue":{"value":"20E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791615$8D333741-C835-4B2A-9200-1EB06DC5E386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9c4f2e96df33812ed51b71d54c47fd2e7d056bd","datavalue":{"value":"16P50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791615$54B0AAF9-B33B-408B-9947-C7A461CC9592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78561816a36336f990925c0d7d4e291f6baa24cd","datavalue":{"value":"16S34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791615$F169F94B-013F-4C6F-B772-47200A2EF785","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f70bfd48b075f9006a7cab1e50bb84b349662d1","datavalue":{"value":"3851318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791615$EC4C78FD-1F3F-4F01-81D3-9ED679EADB53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580d807b2215725577df2aa1fb23ac7800970e1a","datavalue":{"value":"universal enveloping algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q791615$4F8FFB8A-8105-4536-8C9D-AC78BEC87261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05dfba108fc21274cee7491eb210861821bd761","datavalue":{"value":"PI-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q791615$4E617F79-F938-411A-86DC-20677990A599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"394a8ca59bb381943e71acbc2ab4b8012f88b06e","datavalue":{"value":"Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q791615$873DC623-9D4B-4FAF-9C80-0301064195AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d7a60dacbd1a1bee42bc32f0ffaf3d5bbadf7fd","datavalue":{"value":"Ore ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q791615$C02EDE40-7CC5-44AC-8503-AD9F5387BC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3b283f0f5d695cbc62e5a2a3fb4823e6800e4b","datavalue":{"value":"Jacobson radical","type":"string"},"datatype":"string"},"type":"statement","id":"Q791615$4757F0CA-F15E-4F3D-8471-31697C181714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50c186cd1460e62c52f38a8afa3026d09db025a3","datavalue":{"value":"finitely generated subring","type":"string"},"datatype":"string"},"type":"statement","id":"Q791615$3C0DDBA6-C908-40EE-ACB7-D841F0791155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43686f6616abc42dcaff95a1e6f355f048fb20bc","datavalue":{"value":"sum of nilpotent elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q791615$1EA72DFB-B618-46EE-B05E-956ABA39D453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b988fbef4766d3068feaf0d7b43447812003ed98","datavalue":{"value":"noncentral normal subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q791615$F3DB9CEE-5077-4144-9EA2-560BF54C6F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b57cb97c90653ba0d7a8fc542ba99c8bf7543a","datavalue":{"value":"noncyclic free subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q791615$084F22F9-EB07-48A4-8569-703FDB34A04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37853c528ef1959f1fe80a48dde404c339e99a9e","datavalue":{"value":"Jordan function","type":"string"},"datatype":"string"},"type":"statement","id":"Q791615$D53E641A-124E-4186-9BE0-3A087A2C76CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca4ebdcce694d02836c60702fe9a48f2d730eae8","datavalue":{"value":"nilpotent-by-finite subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q791615$2232BDD7-4BC7-41DC-ABE5-778C39D15C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32eab088de63059948f341bd4b87c09f0a7952cf","datavalue":{"value":"division rings of fractions of group rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q791615$05181E71-0D42-45B2-834C-4871D3CE585F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6d7a1f303990c9fcead0533da98ff449ddc46c1","datavalue":{"value":"solvable residually torsion free nilpotent group","type":"string"},"datatype":"string"},"type":"statement","id":"Q791615$825DC847-EFD9-4ABF-946B-F2FEB4C100B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"690d01c5c42c034204f19cbd00113a825464b7a0","datavalue":{"value":"torsion free polycyclic-by-finite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q791615$C1A5BFB5-3173-4E33-9E2C-0D4BE3D82569","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db4b1f459cac3d67e88f2e0e7ab9d96a027afbff","datavalue":{"value":{"entity-type":"item","numeric-id":585764,"id":"Q585764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791615$C47BA2F1-922A-4416-A4D3-42DC2E49D7D6","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":"Q791615$0FF89BB6-421A-4726-A7D6-56D94C182B19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca6f6c212d5a5a806cdab9dbf5eb988d30e8f345","datavalue":{"value":"https://doi.org/10.1016/0021-8693(84)90087-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q791615$2CB6E6B3-2BFE-40B4-A111-D7C6718EC793","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7214cd3506009899f5c35f2cab3f57cf6738a5f","datavalue":{"value":"W2015767405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791615$B7398478-6660-48CA-A1C4-5E4C541365DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714d9746e2449900ee2cdd896e261245208f5d94","datavalue":{"value":{"entity-type":"item","numeric-id":796613,"id":"Q796613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7686e586c02d4f7a540ba4fe1ac257866c2901a1","datavalue":{"value":{"amount":"+0.9282254576683044","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":"Q791615$6168A96C-41BA-4468-A04D-295E18F88032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a48fc2e38078a0e65aae3e0b8801152b9e7d0d99","datavalue":{"value":{"entity-type":"item","numeric-id":3483472,"id":"Q3483472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a712bdd45955d64eb7f9743d725f2abf5a2a3d","datavalue":{"value":{"amount":"+0.8840556740760803","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":"Q791615$73CC5BB9-EB37-4780-A388-90FF39966648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"575ebabd38907375752d8cb84b778763394f248e","datavalue":{"value":{"entity-type":"item","numeric-id":1109855,"id":"Q1109855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4253557f8b92a0716ff699f8dbb6daaf370a319d","datavalue":{"value":{"amount":"+0.8504629135131836","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":"Q791615$E4C96F6D-B741-4117-8ECD-C926416B52E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2923b740a03fb1b402c0dc8d084cedc794d95c","datavalue":{"value":{"entity-type":"item","numeric-id":1083548,"id":"Q1083548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba1c8d22d67bae39c867733a7e673a846aa5821","datavalue":{"value":{"amount":"+0.8405584692955017","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":"Q791615$1D58367F-1DB0-4A02-9F6D-8860BE3901B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fede5c6a57cd7e728489ad38116576ee7fc7e15","datavalue":{"value":{"entity-type":"item","numeric-id":1118696,"id":"Q1118696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70d484a8325b1349d82f8af2875c5fa672aa39b2","datavalue":{"value":{"amount":"+0.8266897201538086","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":"Q791615$ACFCD6E2-2FC1-4723-89CE-C9B99682816E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Matrix rings and linear groups over a field of fractions of enveloping algebras and group rings. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Matrix_rings_and_linear_groups_over_a_field_of_fractions_of_enveloping_algebras_and_group_rings._I"}}}}}