Let $\Lambda \subseteq \mathbb{Z}^n$ be a full rank sublattice. We find an upper triangular basis matrix $B \in \mathfrak{ut}(\mathbb{Z},n)$ of $\Lambda$. Is $B$ unique up to the right action of $\mathfrak{ut}(\mathbb{Z},n) \cap GL(\mathbb{Z},n)$ (unimodular upper triangular matrices)? **EDIT:** my aim was to define a binary operation $$\cap :\mathfrak{ut}(\mathbb{Z},n) \times \mathfrak{ut}(\mathbb{Z},n) \to \mathfrak{ut}(\mathbb{Z},n) $$ corresponding to the intersection of lattices. It should be well-defined if we mod out the above action. By using Bezout, in $2$ dimensions I figuered out the following very ugly formula for the representative: $$A\cap B= \begin{pmatrix} lcm(a_{11},b_{11}) & lcm(a_{11},b_{11})(1-xy) \\ 0 & x \end{pmatrix},$$ where $$x=\frac{a_{22}b_{22}gcd(a_{11},b_{11})}{gcd(gcd(a_{11},b_{11})gcd(a_{22},b_{22}),a_{22}b_{12}-b_{12}a_{22})}\\ y=\frac{a_{12}b_{12}}{lcm(lcm(a_{11},a_{12})a_{22}b_{12},lcm(b_{11},b_{12})b_{22}a_{12})}$$ Do you see anything familiar here? I would like to generalize this, but I have no idea how to start for higher dimensions..