{"entities":{"Q995369":{"pageid":997217,"ns":120,"title":"Item:Q995369","lastrevid":50155790,"modified":"2026-01-13T07:14:05Z","type":"item","id":"Q995369","labels":{"en":{"language":"en","value":"Finite presentability of \\(\\text{SL}_1(D)\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5186243"}},"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":"Q995369$975EC5F6-57D8-41EA-B10E-E7DD5CE99656","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c307411e251afa018e9be9fd16bee953a936f90d","datavalue":{"value":{"text":"Finite presentability of \\(\\text{SL}_1(D)\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q995369$C1EAF414-FDCD-42C4-93FC-1E92F0FCC121","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8af3637eaf906cdf5825b473d20d7ef8386ee72","datavalue":{"value":"1125.20034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995369$186594E7-6CF5-4C51-81F6-1B2C811BD941","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995369$526513B0-D16B-4B9D-B34E-6C159ECC2809","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q995369$EBEDD792-E000-48B4-B6A2-85115895D8DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fd27a70180edc5fac5f7f05eeace6ef287bf0ce0","datavalue":{"value":"Let \\(E\\) be a local field of nonzero characteristic \\(p\\), and let \\(D\\) be a (finite-dimensional) central division \\(E\\)-algebra. It is known that the (multiplicative) group \\(\\text{SL}_1(D)\\) of elements of \\(D\\) of reduced norm \\(1\\) (over \\(E\\)) has the following two properties: (i) \\(\\text{SL}_1(D)\\) is compact and totally disconnected, or equivalently, it is profinite; (ii) \\(\\text{SL}_1(D)\\) possesses an open subgroup that is a pro-\\(p\\)-group (these subgroups are necessarily of finite indices).   The purpose of the paper under review is to prove that \\(\\text{SL}_1(D)\\) is finitely presented as a profinite group. As explained by the author, his main result settles the last open case of a question posed by Y. Barnea. Thereby, it completes the proof of the theorem which states that if \\(G\\) is a connected, simply connected (absolutely almost) simple algebraic group defined over a local field \\(F\\) of arbitrary characteristic, then every compact open subgroup \\(U\\) of the group \\(G(F)\\) of \\(F\\)-rational points of \\(G\\) is finitely presented as a profinite group.   The proof of the main result is rather involved and technical which does not allow us to discuss it here. Its starting point is the fact that finite presentability is a commensurability invariant; also, it is equivalent to the finiteness of the continuous cohomology group \\(H^2(G,\\mathbb{F}_p)\\) of some open pro-\\(p\\)-subgroup \\(G\\subseteq\\text{SL}_1(D)\\) with coefficients in a field \\(\\mathbb{F}_p\\) with \\(p\\) elements. This amounts to saying that \\(G\\) has finitely many equivalence classes of elementary extensions, and significantly, this means that the depths of all elementary covers of \\(G\\) are uniformly bounded. When \\(G=\\{g\\in\\text{SL}_1(D):v(g-1)>0\\}\\), where \\(v\\) is the standard valuation of \\(D\\), the paper shows that the depth of any elementary cover of \\(G\\) does not exceed \\(100p^3d\\) (\\(d\\) being the Schur index of \\(D\\)). The proof relies on certain relations between cohomology of pro-\\(p\\)-groups and associated graded Lie algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q995369$33957585-603D-48A8-8C16-6B110D9D195C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ae26c396284ffac307162f7102c7003d7e21626","datavalue":{"value":{"entity-type":"item","numeric-id":590112,"id":"Q590112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995369$D25A78C7-956A-4D8F-A77C-B67C681C1383","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a81e7f52880124a03aeb729e15811ac144dff90","datavalue":{"value":"20G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995369$82094F24-4C82-4BBF-9D75-4BEFCF8F37A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995369$306BFC61-16F9-435E-A9A6-E4E6648B8B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995369$5B6311BC-C2CB-4335-BF62-FE1E18FFC556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef5ea71dbaa3d6172153d0b00dd5eee68cb9a11b","datavalue":{"value":"12E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995369$13F4142E-423A-49C5-BC00-96DB6C12BDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"656bce73d97ec53ad000afd2904966a257ee2148","datavalue":{"value":"16K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995369$25426699-632A-49BD-9262-57690726AB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa9d719128900a6c3d3bf2a958dc19cfff7f4536","datavalue":{"value":"20J06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995369$F423CC24-0AF0-492B-BD69-42FFA210698B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f4491b62c8458e495b6eda74e8c6dd751db90c08","datavalue":{"value":"17B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995369$DFEC7CF7-903D-4A5A-9378-3535F8124CBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d9945442242085a7ebdd259de62a9038b581abc","datavalue":{"value":"5186243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995369$B9DA5CA7-03BE-41A4-902F-F293E0F49A34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f60a0a024567fdc5533cd7e52365d063836f9f52","datavalue":{"value":"local fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q995369$0323AF0E-1F83-4880-B7E5-F88BEF358BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ec947f255e54c2548a062cd856c96f7dca15a8b","datavalue":{"value":"finitely generated profinite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q995369$8243CC49-D901-4B8A-8D06-8757041B5C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad6f0d8667a7a9695141fce8c68236e52fbca579","datavalue":{"value":"finitely presented profinite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q995369$7F4570F7-2061-4EA3-89E2-6FCE845DE2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"681341db8b376429b4cc9f8c22521ae8e7bdfecd","datavalue":{"value":"covers of pro-\\(p\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q995369$64445D78-73C1-4228-B187-E6E6F7F68229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8688dde11fb796309ad4e2e34c9de8ab34123634","datavalue":{"value":"elementary covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q995369$692F26C9-9481-4EB8-956D-F4F3FCF17A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5661b413f789d32d860aa0956e4835f54c0b859a","datavalue":{"value":"depths of normal covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q995369$E57C3ED3-3C47-4843-A543-9E2AF98A07F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d0b440a86e83776bfdeccf032240a69aae4a61","datavalue":{"value":"filtrations of pro-\\(p\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q995369$FDDD0CD0-61AE-416C-8C20-4E1D40219A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca9fefa3eccb2a1877d488f1f007c4c3b5e3ec8a","datavalue":{"value":"graded Lie algebras associated with filtrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q995369$B4D28BAD-164D-4098-A8F4-7917F843E637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922f84d5f21101c2986250d8ddc9299406910338","datavalue":{"value":"elementary extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q995369$50BA1885-9A03-434D-BB67-DF331D721D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235e92096d60ff280c98d964806d859c99a0ef59","datavalue":{"value":"integrable extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q995369$1AF0012F-16E2-459E-84CC-4331E9366EEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0784c8dee928e244c015a86d12bbc363eb337ff","datavalue":{"value":{"entity-type":"item","numeric-id":664235,"id":"Q664235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995369$BAF82EF9-604C-49CA-A31C-756A42B959F2","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":"Q995369$7DF63F36-88A7-4597-A40C-C04B52CB9657","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa011bee7e95e0cff09b5fa5a97c388b190a33f4","datavalue":{"value":"https://doi.org/10.1007/s11856-007-0015-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q995369$F7F8D64A-4384-472F-8945-C5D17B79794B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a66ba13c698688382e7e48963684f48249aa6a7","datavalue":{"value":"W2033172988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995369$695708B8-C68B-4C5A-B880-A2DBCC8A83F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b1de6e4616c2ef3d749a945dd3e80638cd6845","datavalue":{"value":{"entity-type":"item","numeric-id":5927542,"id":"Q5927542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995369$6F00FBEA-8F94-4294-B2E4-C74AC60FB70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4298f896049148482ef03946f59c42a16b7e17","datavalue":{"value":{"entity-type":"item","numeric-id":1400979,"id":"Q1400979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995369$956DBF3B-3D3A-4244-A358-8838AB987424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0c79df92bc350c1392749f32215a0a6fb09551","datavalue":{"value":{"entity-type":"item","numeric-id":4264394,"id":"Q4264394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995369$F65F94DB-4B82-4C2E-B6E0-8D6C3597FD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19862099c5154fb5076ce643ca5924aab4ea20ba","datavalue":{"value":{"entity-type":"item","numeric-id":4677847,"id":"Q4677847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995369$7ADDCC04-7F53-4BE4-BF56-8103E3A93177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74b4b74749e02ef39f684249f7a4e37ba29c8573","datavalue":{"value":{"entity-type":"item","numeric-id":4544915,"id":"Q4544915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995369$B9D066E7-1881-46D2-B357-56E37FFE1914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ba3a5cab6be3325c5532c21dd3bcaa7a6908c2","datavalue":{"value":{"entity-type":"item","numeric-id":5945130,"id":"Q5945130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995369$941F9D73-4A59-421C-903D-9BFE50EB66F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ef7cda1ffce5d43269ddebd520a8954dd61feb","datavalue":{"value":{"entity-type":"item","numeric-id":2471435,"id":"Q2471435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995369$ECDC75E1-0D4B-4719-AF2D-A6DCABEE073E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b43af387156bacce52beeecedf5f8ed8e6f04fa","datavalue":{"value":{"entity-type":"item","numeric-id":913949,"id":"Q913949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995369$6B27C1A0-2543-493E-AAB4-448A52FD5890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f329e393f43cb0d09a83a695cf437f1e1c9d234e","datavalue":{"value":{"entity-type":"item","numeric-id":5597659,"id":"Q5597659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995369$EBC3AAF8-C32F-48E5-9578-3B333946A4A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32ed9baa553e0485d18ed579c93d5469779d8704","datavalue":{"value":"10.1007/S11856-007-0015-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995369$82FAEDDF-7FDA-4036-AD8D-0F72B065BF8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69cdee24435891178f2ef25c1c3684e0499342e","datavalue":{"value":{"entity-type":"item","numeric-id":2471435,"id":"Q2471435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab55e9a7c8e95a226cdb0b13e3cfe237ead17ab","datavalue":{"value":{"amount":"+0.8270200490951538","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":"Q995369$BCE0CAE6-1517-4DBC-9FB0-6E6CC5012CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b603ecca11070f9f6d3c8ba8ec4ada1056e12e97","datavalue":{"value":{"entity-type":"item","numeric-id":913949,"id":"Q913949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6073fb405488a25df279fc70f565f6672e8b08c","datavalue":{"value":{"amount":"+0.7501848936080933","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":"Q995369$CDD8B343-6AB5-43E5-A96B-56F29435B5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a9de5da2db5c1c500531b9924b5ecedf5fe540","datavalue":{"value":{"entity-type":"item","numeric-id":3746017,"id":"Q3746017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b41438c64861dc28106f9d8189e57873d37e985a","datavalue":{"value":{"amount":"+0.737247884273529","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":"Q995369$7B7A3831-6941-4B5C-9D41-B7D135A729BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f291b43fa5bfc38f26e58de010c0cc769719d8af","datavalue":{"value":{"entity-type":"item","numeric-id":1196328,"id":"Q1196328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2b7a6c94862c397f36fc93c60a5ff63bfe5ff9","datavalue":{"value":{"amount":"+0.7336013317108154","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":"Q995369$B1D46EEE-87F7-49ED-A314-134BFB3B3F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8938a19b8f202ad9600621cbfd08666c5a976e5f","datavalue":{"value":{"entity-type":"item","numeric-id":3754813,"id":"Q3754813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ae6e3e514420f065700bce3ea3dbbe8cc48ba1","datavalue":{"value":{"amount":"+0.7329012751579285","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":"Q995369$4320CD12-FA1D-458C-845C-37A45886C1A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:995369","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:995369"}}}}}