Welcome to MathOverflow

Question

1

Hello! In a paper I read that $\mathrm{Comm}(\mathbb{Z}^n)\cong \mathrm{GL}(n,\mathbb{Q})$. Why is that true? How can I find an isomorphism of this groups?

I know that $\mathrm{Aut}(\mathbb{Z}^n)\cong\mathrm{GL}(n,\mathrm{Z})$.

Definition of the abstract commensurator of a group $G$:

Let $G$ be a group. Consider the set $\Omega(G)$ of all isomorphisms between subgroups of finite index of $G$. Two such isomorphisms $\phi_1:H_1\to H_1'$ and $\phi_2:H_2\to H_2'$ are called equivalent, written $\phi_1\sim\phi_2$, if there exists a subgroup $H$ of finite index in $G$ such that both $\phi_1$ and $\phi_2$ are defined on $H$ and $\phi_1\mid_{H}=\phi_2\mid_{H}$. For any two isomorphisms $\alpha:G_1\to G_1'$ and $\beta:G_2\to G_2'$ in $\Omega(G)$, we define their product $\alpha\beta:\alpha^{-1}(G_1'\cap G_2)\to \beta(G_1'\cap G_2)$ in $\Omega(G)$. The factor-set $\Omega(G)/\sim$ inherts the multiplication $[\alpha][\beta]=[\alpha\beta]$ and is a group, called the abstract commensurator of G and denoted by $\mathrm{Comm}(G)$.

Thanks for help!

flag	asked May 23 2012 at 13:13 Peter 23●2

1

Does abstract commensurator have a universal property? If it does, you may want use it to prove the claim. – Vahid Shirbisheh May 23 2012 at 13:27

2

A subgroup of ${\mathbb Z}^n$ of finite index contains a basis of ${\mathbb Q}^n$. So an isomorphism of two such subgroups maps a basis to a basis. Being additive, it is ${\mathbb Z}$-linear, so after tensoring with $\mathbb Q$, it is $\mathbb Q$-linear so it defines an element of $P{\rm GL}(n,{\mathbb Q})$. – anton May 23 2012 at 13:30

I mean ${\rm GL}(n,{\mathbb Q})$. – anton May 23 2012 at 13:31

2

Conversely, if the denominators of a matrix $A$ are $\le D$, then the matrix takes the subgroup $D!\mathbb{Z}^n$ to another subgroup of finite index of $\mathbb{Z}^n$, hence belongs to the commensurator. – Mark Sapir May 23 2012 at 13:44

1

@Peter: Any basis of a subgroup of finite index of $\mathbb{Z}^n$ is a basis of $\mathbb{Q^n}$ (because it contains $n$ elements by the strocture theorem of finitely generated Abelian groups) and is linearly independent over $\mathbb{Z}$, hence over $\mathbb{Q}$. In fact the structure theorem (or the theorem about the structure of modules over PIDs) gives that for every subgroup $H$ of finite index there exists a basis $e_1,...,e_n$ of $\mathbb{Z}^n$ and numbers $k_1 >0,...,k_n>0$ such that $H$ is generated by $k_1e_1,...,k_ne_n$. This is the basis of $H$ you are looking for. – Mark Sapir May 23 2012 at 14:57

show 2 more comments

Jim Belk · Answer 1 · 2012-05-24 18:35:27Z UTC

First, it is easy to see that $\mathrm{Comm}(\mathbb{Z}^n)$ must be isomorphic to a subgroup of $\mathrm{GL}(n,\mathbb{Q})$. In particular, every finite-index subgroup of $\mathbb{Z}^n$ is an $n$-dimensional lattice, so any isomorphism between two such subgroups extends uniquely to an isomorphism $\mathbb{Q}^n\to\mathbb{Q}^n$. Note that two isomorphisms of $\mathbb{Q}^n$ that agree on an $n$-dimensional lattice must be equal, so it really does work to think of elements of $\mathrm{Comm}(\mathbb{Z}^n)$ as matrices.

All that remains is to show that every element of $\mathrm{GL}(n,\mathbb{Q})$ corresponds to some element of $\mathrm{Comm}(\mathbb{Z}^n)$. This is fairly easy: if $A\in\mathrm{GL}(n,\mathbb{Q})$, then there exists a positive integer $k$ so that the $n\times n$ matrix for $kA$ has integer entries. In this case, $A$ maps the finite-index subgroup $k\,\mathbb{Z}^n$ (of index $k^n$) isomorphically to another finite-index subgroup of $\mathbb{Z}^n$. The image subgroup has finite index since it spans $\mathbb{Q}^n$, and is therefore an $n$-dimensional lattice.

Edit: As Mark points out, this is essentially the same answer given in the comments above.

Igor Rivin · Answer 2 · 2012-05-23 13:49:02Z UTC

2

This is shown (with no claim to originality) by Jonathan Hillman in "Commensurators and Deficiency" (Theorem 7)

answered May 23 2012 at 13:49

Igor Rivin
31.2k●3●37●71

	Thanks. In the proof, what is meant with the $\alpha m=\alpha\mid_{m\mathbb{Z}^n}\circ m$ What does the $\circ$ mean? Is it composition? If so, which map is meant by $m$? – Peter May 23 2012 at 14:30
	$m$ is multiplication by $m.$ – Igor Rivin May 23 2012 at 15:18
	Ah okay. Thank you. – Peter May 23 2012 at 15:28
	Sorry. But I don't see, why this map is an injectic endomorphism. I know that $m\mathbb{Z}^n\leq H$ because $[G:H]=m$ and so the we can restrict $\alpha$ to this subgroup. But how is this map defined on the other elements $\mathbb{Z}^n\backslash m\mathbb{Z}^n$. And if we multiply with $m$, we imagine $\alpha$ as matrix with integers in $\mathbb{Q}$, right? – Peter May 23 2012 at 17:37
	I am puzzled by your question. The map $\alpha$ is only defined on $H.$ The map $\alpha \circ m$ is given by $\alpha \circ m (x) = \alpha(m x).$ Since $m x \in H$ you are good. – Igor Rivin May 23 2012 at 17:46

show 1 more comment

Abstract Commensurator Group of $\mathbb{Z}^n$ $Comm(\mathbb{Z}^n)\cong GL(n,\mathbb{Q})$?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.