3
$\begingroup$

If $G$ is a linear group over a ring $R$, is every homomorphic image of $G$ again a linear group?

  • 3
    What exactly do you mean by "linear group over a ring"? A subgroup of the endomorphisms of $R^n$?2012-08-24
  • 0
    $G$ islinear if it is a subgroup of $GL(n,R)$ for some $n$ and some ring $R$.2012-08-24
  • 2
    You mean "commutative ring". Because every group $G$ is a subgroup of $GL_1(\mathbf{Z}G)$, where $\mathbf{Z}G$ is its group algebra.2012-08-25

2 Answers 2

6

No. For example, the free groups $F_{\infty}$ on countably many elements is a subgroup of $F_2$, which is linear (over $\mathbb{C}$ for example), so $F_{\infty}$ is linear. Its quotients are all countably-generated groups. It is straightforward to write down countably-generated groups which are not linear over a particular commutative ring, but to get one not linear over any commutative ring seems to require slightly more work.

Lemma: Let $A_{\infty}$ denote the group of alternating permutations (fixing finitely many elements) of $\mathbb{N}$. Then $A_{\infty}$ is simple.

Proof. Let $N$ be a normal subgroup and let $\rho : A_{\infty} \to A_{\infty}/N$ be the corresponding quotient. $A_{\infty}$ is the union of a chain of distinguished subgroups $A_n \subset A_{\infty}$ which are simple for $n \ge 5$; consequently their image in $A_{\infty}/N$ is either trivial or all of $A_n$ for $n \ge 5$, and if $A_n$ has nontrivial image then so does $A_m$ for all $m \ge \text{max}(n, 5)$ (by simplicity) and for all $m \le \text{max}(n, 5)$ (since these are contained in a sufficiently large $A_m$), hence for all $A_m$. Hence the image of all of $A_{\infty}$ is either trivial or all of $A_{\infty}$, so $N$ is either all of $A_{\infty}$ or trivial. $\Box$

Claim: $A_{\infty}$ is not linear over any commutative ring $R$.

Proof. Let $\rho : A_{\infty} \to \text{GL}_n(R)$ be a homomorphism. For any prime ideal $P$ of $R$, the image of $A_{\infty}$ in $\text{GL}_n(R/P)$ is either trivial or all of $A_{\infty}$ by the lemma. If the image is all of $A_{\infty}$ for some prime ideal $P$, then by passing to the fraction field of $R/P$ we may assume WLOG that $R$ is a field. Suppose $R$ has characteristic $p$. Since $A_{\infty}$ contains $S_n$ as a subgroup for every positive integer $n$, it contains every finite group as a subgroup, so in particular it contains $(\mathbb{Z}/q\mathbb{Z})^n$ as a subgroup for some prime $q \neq p$ and every positive integer $n$. By passing to the algebraic closure we may simultaneously diagonalize the action of such a group, and then taking $n$ sufficiently large gives a contradiction.

If no prime ideal $P$ has the above property, then $A_{\infty}$ is contained in the intersection of the kernels of the maps $\text{GL}_n(R) \to \text{GL}_n(R/P)$; consequently it is contained in the group of matrices congruent to $I \bmod N(R)$ where $N(R)$ denotes the nilradical. But this group has a filtration by normal subgroups consisting of the matrices congruent to $I \bmod N(R)^k$ for positive integers $k$, and all of the corresponding quotients are solvable (by inspecting where the commutators land). $A_{\infty}$ necessarily has nontrivial image in one of these quotients, which is a contradiction. $\Box$

  • 0
    It easy indeed to write down, but your countable direct sum doesn't work, as it is is linear over a field of characteristic 2.2012-08-25
  • 0
    @Yves: my apologies; I'm used to "linear" meaning "linear over $\mathbb{C}$." I no longer know an easy example which works over an arbitrary commutative ring; what did you have in mind?2012-08-25
  • 0
    Your example is great, but in a different direction, any finitely generated, non-residually-finite group works (a certain Baumslag-Solitar group, for example).2012-08-25
  • 0
    @Steve: the proof I know that a f.g. non-r.f. group is not linear works over a field. Does the result generalize to linear over an arbitrary commutative ring?2012-08-25
  • 0
    @QiaochuYuan: depends on what proof you know! a f.g. ring is such that the intersection of its maximal ideals is trivial. So a nonidentity element $x$ in $GL(n,R)$ is such that $x-I$ will miss some maximal ideal $m$, then you can push it down to $GL(n,R/m)$, which is over a (finite) field; the finite part needs the Nullstellensatz I think.2012-08-26
  • 0
    Whoa, sorry, I am assuming you are working over a domain above. I thought I knew a proof for the general case, but I have to think about it.2012-08-26
  • 2
    Yes, it's correct that every f.g. commutative ring (not necessarily a domain) is residually finite (more generally, any noetherian ring is residually Artinian). Therefore any f.g. group linear over a commutative ring is residually finite.2012-08-28
2

In a somewhat different category, a meaningful (counter-) example is the quotient of (one form of) the Heisenberg group $N$ of upper-triangular nilpotent 3-by-3 real matrices by the subgroup of those with integer entries in the upper right corner and 0's immediately superdiagonal. (The Lie algebra did not change, etc.)

  • 0
    So I presume that for Lie-theoretic reasons this quotient has no faithful finite-dimensional representations over $\mathbb{C}$ as a _topological_ group. Is it clear that it has no faithful finite-dimensional representations over an arbitrary commutative ring $R$ as an _abstract_ group? (Or is this what you meant by "different category"?)2012-08-25
  • 0
    Right, the Lie algebra is (still) nilpotent, finite-dimensional. I've not thought about how this group might behave in other "categories" of linear groups over other rings...2012-08-25
  • 0
    Indeed you don't need continuity, because $G=\text{Heis}_3(\mathbf{Q})/\mathbf{Z}$ is not linear over any field. Proof: you can suppose the field alg. closed so any rep is triangulable on a finite index subgroup of $G$; since $G$ has no proper finite index subgroup, this is $G$ itself. So the derived subgroup maps to unipotent matrices. But certainly $\mathbf{Q}/\mathbf{Z}$ has no faithful unipotent representation over any field.2012-08-28
  • 0
    @Yves: very good.2012-08-28