8
$\begingroup$

I am trying to show the isomorphism

$$\mathbb Z^n/\langle (a,...,a) \rangle \cong \mathbb Z^{n-1} \oplus \mathbb Z/\langle a \rangle.$$

I've tried to define $\psi:\mathbb Z^n \to \mathbb Z^{n-1} \oplus \mathbb Z/\langle a \rangle$ an epimorphism with $\ker(\psi)=\langle (a,...,a) \rangle$ so to apply the first isomorphism theorem, but I couldn't come up with an appropiate morphism. Any hints or suggestions would be greatly appreciated.

$\endgroup$
9
$\begingroup$

If you want to use the first isomorphism theorem, then define $\psi:\mathbb Z^n \to \mathbb Z^{n-1} \oplus \mathbb Z/\langle a \rangle$ by $\psi(x_1,\dots,x_n)=(x_2-x_1,\dots,x_n-x_1,\bar x_1)$. Check that $\psi$ is a surjective homomorphism and $\ker\psi=\langle (a,\dots,a) \rangle$.

$\endgroup$
9
$\begingroup$

The following: $$(1,0,\dots,0), (0,1,0,\dots,0), \dots, (0,\dots,0,1,0), (1,1,\dots, 1)$$ is a basis of $\mathbb{Z}^n$ and $(a,\dots,a)$ corresponds to $(0,\dots,0,a)$ in this new basis. Your group is thus the isomorphic to the quotient: $$\mathbb{Z}^n / \langle (0, \dots, 0, a) \rangle \cong \mathbb{Z}^{n-1} \oplus \mathbb{Z}/(a).$$

$\endgroup$
5
$\begingroup$

$\mathbb{Z}^n/\langle (a,\dotsc,a)$ is an abelian group with the presentation $\langle e_1,\dotsc,e_n : a e_1 + \cdots + a e_n = 0\}$. Observe that $e_1,\dotsc,e_{n-1},e_1+\cdots+e_n$ is also a generating system and $a(e_1+\cdots+e_n)=0$. Hence, we obtain a homomorphism from $\langle f_1,\dotsc,f_n : a f_n = 0 \rangle$. One then constructs its inverse.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.