Bézout's identity in higher dimensions? I have an invertible rational matrix $C\in\text{GL}(n,\mathbb{Q})$ which works on lattice $\mathbb{Z}^{n}$. Can I write the resulting set in the following form
$$C\cdot \mathbb{Z}^{n}=X\cdot \mathbb{Z}^{n}+\{U,V,\ldots\}$$
where $X$ a diagonal matrix with rational coefficients and $U,V,\ldots \in\mathbb{Q}^{n}$? The reasoning below tells me you can, but I can't find an expression for $X,U,V,\ldots$:


*

*For each $i\in\{1,\ldots n\}$ we can write
$$C_{i1}\mathbb{Z}+\ldots+C_{in}\mathbb{Z}=\frac{1}{m}(a_{1}\mathbb{Z}+\ldots+a_{n}\mathbb{Z})$$
where $a_{1},\ldots,a_{n}\in\mathbb{Z}$ and $m=\text{LCD}(C_{i1},\ldots,C_{in})$ the least common denominator. ($C_{i*}$ is the i'th row of $C$)

*Using Bézout's identity this can be written as
$$a_{1}\mathbb{Z}+\ldots+a_{n}\mathbb{Z}=x\mathbb{Z}$$
where $x=\text{GCD}(a_{1},\ldots,a_{n})$ the greatest common divisor.

*Finally we find that
$$C_{i1}\mathbb{Z}+\ldots+C_{in}\mathbb{Z}=\frac{x}{m}\mathbb{Z}=x\mathbb{Z}+\{0,\frac{x}{m},\ldots,\frac{(m-1)x}{m}\}$$
Do this for all $i$ and make all possible combinations of the resulting sets and one would find an expression for $C\cdot \mathbb{Z}^{n}$ as given above. However one can not do (1-3) for all i independently. Therefore the resulting set should be stricter and the above reasoning should be done in dimension n:


*

*Analogue to (1) above but not for each row separately
$$C\cdot \mathbb{Z}^{n}=\frac{1}{m}(A_{*1}\mathbb{Z}+\ldots+A_{*n}\mathbb{Z})$$
where $m$ the least common denominator of $C$ and $A_{*j}$ the columns of integer matrix $A$

*Analogue to (2): higher dimensional analogue to Bézout's identity?
$$A_{*1}\mathbb{Z}+\ldots+A_{*n}\mathbb{Z}=?\quad X'\cdot \mathbb{Z}^{n}+\{U',V',\ldots\}$$
where $X'$ diagonal.
 A: This is too long to be a comment. But I want to start a dialogue as to why you want to do this, and what you hope to achieve with this, so I type it as an answer instead. If this is totally off, just say so, and I will delete.
I am getting a vibe that you want to get good control of the free abelian group $C\cdot \mathbb{Z}^n$. More precisely, I cannot shake the feeling that the Smith normal form of an integer matrix might prove to be helpful to you. In this case it would give you the following. Let $m$ be the smallest positive integer such that $mC$ has integer entries. Smith normal form tells you that there exist matrices $U,V\in GL_n(\mathbb{Z})$ (i.e. matrices with integer entries such that the inverses of these matrices also have integer entries) such that
$$
mC=U\pmatrix{d_1&0&0&\cdots&0\cr0&d_2&0&\cdots&0\cr0&0&d_3&\cdots&0\cr
\vdots&\vdots&\vdots&\ddots&\vdots\cr0&0&0&\cdots&d_n}V,
$$
where the integer of the diagonal are the invariant factors and can be arranged to satisfy the divisibility criteria $d_1\mid d_2\mid d_3\cdots\mid d_n$.
Because $V^{-1}$ also has integer entries, we have $V\cdot\mathbb{Z}^n=\mathbb{Z}^n$. Dividing the above equation by $m$ gives us thus
$$
C\cdot \mathbb{Z}^n=U\pmatrix{d_1/m&0&0&\cdots&0\cr0&d_2/m&0&\cdots&0\cr0&0&d_3/m&\cdots&0\cr
\vdots&\vdots&\vdots&\ddots&\vdots\cr0&0&0&\cdots&d_n/m}\mathbb{Z}^n.
$$
In other words, we get something resembling what you wanted. On the plus side you don't have that messy set of fractional parts in the end. On the minus side you have that extra matrix $U$ sitting there in front of the desired diagonal matrix with rational entries.
I don't see a way of getting rid of that $U$ factor in the general case. It may not be needed, if $C$ is of some special form, but I don't think that is very likely. You could absorb that $U$ to the matrix $C$ (multiply the last equation by $U^{-1}$ from the left), or you could state that the possible "fractional parts" of the vectors in $C\mathbb{Z}^n$ are all the integral linear combinations of the columns of $U$ multiplied by $d_i/m$ (use that factor with the $i^{th}$ column of $U$).
Does this look at all like what you need?
