The Margulis-Platonov conjecture for \(\text{SL}_{1,D}\) and 2-generation of finite simple groups.
type: Item
instance of: scholarly article
title: The Margulis-Platonov conjecture for \(\text{SL}_{1,D}\) and 2-generation of finite simple groups.
zbMATH Open document ID: 1101.20027
author: Andrei Rapinchuk
published in: Mathematische Zeitschrift
publication date: 2006-01-23T00:00:00Z
review text: Let \(K\) be a global field, \(G\) a simple simply connected algebraic group defined over \(K\), and \(A\) the set of all nonarchimedean valuations \(v\) of \(K\), such that \(G\) is anisotropic over the completion \(K_v\) of \(K\) with respect to the topology of \(v\). It is known that \(A\) is finite [see e.g. Sect. 9.1 of \textit{V. P. Platonov} and \textit{A. S. Rapinchuk}'s book Algebraic groups and number theory. Moscow: Nauka (1991; Zbl 0732.20027)]. Denote by \(G(L)\) the group of rational points of \(G\) over an arbitrary extension \(L\) of \(K\), and by \(G_A\) the topological group product \(\prod G(K_v)\), indexed by \(A\). Also, let \(\delta\colon G(K)\to G_A\) be the diagonal map. The Margulis-Platonov conjecture states that for any noncentral normal subgroup \(H\) of \(G(K)\) there exists an open normal subgroup \(W\) of \(G_A\) whose pre-image in \(G(K)\) coincides with \(H\); in particular, if \(A\) is empty, then \(H\) does not possess proper noncentral normal subgroups. This conjecture has been proved in a number of cases including the one of \(G=\text{SL}_1(D)\), where \(D\) is a finite-dimensional central division \(K\)-algebra. The proofs of the obtained results rely heavily on the classification of finite simple groups [see \textit{Y. Segev} and \textit{G. M. Seitz}, Pac. J. Math. 202, No. 1, 125-225 (2002; Zbl 1058.20015)]. The paper under review gives a new (considerably shorter) proof of the Margulis-Platonov conjecture, for \(G=\text{SL}_1(D)\), in which the use of this classification is limited to its consequence that finite simple groups are generated by two elements.
reviewed by: Ivan D. Chipchakov
Mathematics Subject Classification ID: 20G30
Mathematics Subject Classification ID: 16K20
Mathematics Subject Classification ID: 20D05
Mathematics Subject Classification ID: 05C25
Mathematics Subject Classification ID: 11E57
Mathematics Subject Classification ID: 16U60
zbMATH DE Number: 5000058
zbMATH Keywords: finite dimensional central division algebras
zbMATH Keywords: global fields
zbMATH Keywords: simple simply connected algebraic groups
zbMATH Keywords: anisotropic groups
zbMATH Keywords: commuting graphs of finite groups
zbMATH Keywords: finite simple groups
MaRDI profile type: MaRDI publication profile
full work available at URL: s00209-005-0854-1
OpenAlex ID: W1988737396
cites work: Q5532660
cites work: Some applications of the first cohomology group
cites work: Multiplicative Subgroups of Finite Index in a Ring
cites work: Q3338360
cites work: On Conjugates in Division Rings
cites work: Q4495794
cites work: The probability of generating a finite simple group
cites work: Subgroup growth.
cites work: Generation of classical groups
cites work: Finiteness of quotient groups of discrete subgroups
cites work: Q4692288
cites work: Strong approximation for semi-simple groups over function fields
cites work: On the group of norm 1 elements in a division algebra
cites work: Normal subgroups of \(SL_{1,D}\) and the classification of finite simple groups
cites work: Valuation-like maps and the congruence subgroup property
cites work: Finite quotients of the multiplicative group of a finite dimensional division algebra are solvable
cites work: The Norm 1 Group of -Adic Division Algebra
cites work: On finite homomorphic images of the multiplicative group of a division algebra
cites work: Some applications of Wedderburn's factorisation theorem
cites work: The commuting graph of minimal nonsolvable groups
cites work: Anisotropic groups of type \(A_n\) and the commuting graph of finite simple groups.
cites work: Multiplicative Subgroups of Finite Index in a Division Ring
Wikidata QID: Q123294101
DOI: 10.1007/S00209-005-0854-1
Recommended article: Q4856122
Recommended article: Normal subgroups of \(SL_{1,D}\) and the classification of finite simple groups
Recommended article: Anisotropic groups of type \(A_n\) and the commuting graph of finite simple groups.
Recommended article: On the structure of algebraic groups over global fields
Recommended article: Generic element in \(SK_ 1\) for simple algebras
Recommended article: Finite quotients of the multiplicative group of a finite dimensional division algebra are solvable
Recommended article: Q3481950
Recommended article: Subnormal subgroups of the groups of rational points of reductive algebraic groups
Recommended article: Finite presentability of \(\text{SL}_1(D)\).
Recommended article: Q4711940
description: scientific article; zbMATH DE number 5000058