Welcome to MathOverflow

Question

3

Given a matrix $A\in GL_n(\mathbb{Q})$. Can it be expressed as a product of two matrices $B,C$ with $B\in GL_n(\mathbb{Z}[1/p])$ and $C\in GL_{n}(\mathbb{Z}_{(p)})$, where $ \mathbb{Z_p}$ denotes the localization of $\mathbb{Z}$ at $(p)$ ?

edited Apr 4 2011 at 12:39

asked Apr 4 2011 at 12:33

HenrikRüping
5,319●5●27

François Brunault · Accepted Answer · 2011-04-04 13:15:31Z UTC

7

Yes, there exists such a decomposition. Multiplying $A$ by a suitable integer, we may assume that $A \in M_n(\mathbf{Z})$ and $\det(A) \neq 0$. By the theory of elementary divisors, we have $A=\gamma_1 D \gamma_2$ with $\gamma_1,\gamma_2 \in SL_n(\mathbf{Z})$ and $D$ is a diagonal matrix with nonzero integral entries. Now the result is true for $D$, and letting $D=M_1 M_2$ with $M_1 \in GL_n(\mathbf{Z}[1/p])$ and $M_2 \in GL_n(\mathbf{Z}_{(p)})$, we see that $B=\gamma_1 M_1$ and $C=M_2 \gamma_2$ work.

answered Apr 4 2011 at 13:15

François Brunault
7,389●1●13●35

NOw I am wondering what happens in the more general version where we want to decompose a matrix in $GL_n(R\otimes S)$ in two matrices over $R$ and $S$ like above? I guess in general this is not possible, right? – HenrikRüping Apr 5 2011 at 8:55

1

It is really impossible, as the matrix $(1,xy;0,1)$ over $\mathbb{Z}[X,Y]\cong \mathbb{Z}[X]\otimes \mathbb{Z}[Y]$ shows. – HenrikRüping Apr 5 2011 at 11:15

@Henrik: indeed, the above proof uses crucially the fact that $\mathbf{Z}$ is principal. I don't know if it still works when the base ring is not principal. – François Brunault Apr 5 2011 at 11:33

Indeed the upper matrix is not even contained in the subgroup spanned by $GL_2(\mathbb{K}[X])$ and $GL_2(\mathbb{K}[Y])$. – HenrikRüping Apr 6 2011 at 10:23

decompositions of matrices over $\mathbb{Q}$

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

1 Answer

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.