{"entities":{"Q1100285":{"pageid":1111037,"ns":120,"title":"Item:Q1100285","lastrevid":49148647,"modified":"2026-01-06T16:25:22Z","type":"item","id":"Q1100285","labels":{"en":{"language":"en","value":"An elementary account of Selberg's lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4042158"}},"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":"Q1100285$8768E421-52B8-4B0B-9780-6CAEAE479C16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43fa40bb63d8faff647df9231cd003e479a67ec9","datavalue":{"value":{"text":"An elementary account of Selberg's lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1100285$C08234D1-C6CD-4FE2-9591-49D87A62282A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15fbeb1637f5203d8c70bada6367145da2486fee","datavalue":{"value":"0639.20030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100285$8DB5B913-E851-4198-9677-8B43ECDAB228","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38f553f02f16ba88a09b4af770ab0057febf94d1","datavalue":{"value":{"entity-type":"item","numeric-id":196760,"id":"Q196760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100285$635745A6-4AE6-4C54-B6C5-56AF062B596C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"190f08128b991df2a0ad2bbf0d84e95f751f56d1","datavalue":{"value":{"entity-type":"item","numeric-id":246266,"id":"Q246266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100285$5783C793-03F8-4ED6-B8A7-1D9C516B374D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1100285$B1A8F756-5735-48C4-9675-7CDF8DED0D23","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ddcffcce0b57c3c6110a2d856492a935f26f140","datavalue":{"value":"The author offers proofs of the following known results. Let G be a subgroup of GL(n,R), where R is a finitely generated integral domain of characteristic \\(p\\geq 0\\). a) G is residually finite. b) If \\(p=0\\) then G is torsion-free by finite. c) If \\(p>0\\) then G is a finite extension of a group whose finite elements are all unipotent.    a) is due to \\textit{A. I. Mal'cev} [Mat. Sb., Nov. Ser. 8, 405-422 (1940; Zbl 0025.00804) = Transl., II. Ser., Am. Math. Soc. 45, 1-18 (1965)], b) appears in \\textit{A. Selberg} [Contrib. Function Theory, Tata Inst. Bombay 1960, 147-164 (1960; Zbl 0201.366)], effectively in \\textit{Yu. I. Merzlyakov} [Algebra Logika 3, No. 4, 49-59 (1964; Zbl 0244.20048)] and in \\textit{M. I. Kargapolov} [Algebra Logika 6, No. 5, 17-20 (1967; Zbl 0252.20042)] and the obvious variant c) of b) in \\textit{V. P. Platonov} [Dokl. Akad. Nauk BSSR 12, 492-494 (1968; Zbl 0228.20018)] and the reviewer [Proc. Lond. Math. Soc., III. Ser. 20, 101-122 (1970; Zbl 0188.062)].    a) is an easy consequence of Hilbert's Nullstellensatz (which can be dressed up as field theory of course) and b) and c) of the Krull intersection theorem. Here the author presents `field theoretic' proofs of these results. The basic trick is to reduce to R being a suitable localization of a polynomial ring, a trick that essentially also appears in Mal'cev's original 1940 paper. This reduction looses information about the group G and hence usually needs to be avoided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100285$51C0DDFE-8F54-41D2-BD82-80E76B2540BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8956ec5919d2fde3791b5b5f171aaf7f5f62031","datavalue":{"value":"20H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100285$6488C4ED-1DC8-4848-AC0B-B0137F85A27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afe0dc0c0736bb69fa09cc63d89cf0239c70ef90","datavalue":{"value":"20E26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100285$14D8901F-0D04-4FCF-84EA-BD5C7BEC7AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"954cf5edae008665ff61d1308e5316d0138e153a","datavalue":{"value":"20G35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100285$2D4EEA72-5E95-4A06-B95F-998F9649FB34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3a6618ef3f6520252a03ed7b39d830e9451f59c","datavalue":{"value":"4042158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100285$3731A56A-05DE-44AD-BB43-47535892EDF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c4dc0ebe015d71accaab0086205b1325cf57e0f","datavalue":{"value":"subgroup of GL(n,R)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100285$079D77EE-14B6-4ED3-BD9C-521E0033E015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0816f3fcf229baf9309e127d4aabf0cecedb93c","datavalue":{"value":"finitely generated integral domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100285$57B5D5B2-E2C5-4ACB-8B2E-971624661242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a6ed73bfc727b1c3fccd856b5680795101a78a8","datavalue":{"value":"residually finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100285$C5D3FDE6-9B11-4788-8461-60EC8BF4D286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18dd3aedde2bc06fec4f7f0013f10b679674aacb","datavalue":{"value":"torsion-free by finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100285$3219C400-CAAF-4CAC-9598-AA5152744F06","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":"Q1100285$022F8127-F7EE-4CFA-A639-9F6DB999BCFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"952891de0914a181a7e82f2491fd0018da6a1c81","datavalue":{"value":{"entity-type":"item","numeric-id":1916882,"id":"Q1916882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73014932e2438a12355c02241977edd736fb1665","datavalue":{"value":{"amount":"+0.7334883809089661","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":"Q1100285$8584DA64-6EFB-475D-AAA2-121E7A629C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1c1d2dadc66158243d39b7946f92629912864e","datavalue":{"value":{"entity-type":"item","numeric-id":1322371,"id":"Q1322371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2bafed2cd3c06c959b8d683c54b3e83f28cc7d3","datavalue":{"value":{"amount":"+0.7260386943817139","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":"Q1100285$743F633D-C9FF-469C-8E28-C33A0A60EA2B","rank":"normal"},{"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":"f4f8b9d9a2248b45e1a5d4724ead038029434d18","datavalue":{"value":{"amount":"+0.7252973914146423","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":"Q1100285$1F28EAC4-C8CA-45F4-A22A-20BE22272A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"633f068382e71b60e6110872b01b638631c46d70","datavalue":{"value":{"entity-type":"item","numeric-id":3478617,"id":"Q3478617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81b6297339173d4243802ba52decd5032e15a5dc","datavalue":{"value":{"amount":"+0.7190447449684143","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":"Q1100285$C263A290-56F1-4746-8554-C546C40A3AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5401f028d2213bbafd6b8de616dffd62e42a54fe","datavalue":{"value":{"entity-type":"item","numeric-id":5167326,"id":"Q5167326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9bb5ea027aa6031ed8b348489470efced98a27","datavalue":{"value":{"amount":"+0.7157325148582458","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":"Q1100285$E005AD0F-DD50-4B57-B96E-E9FBEE9EAB14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1100285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1100285"}}}}}