If $ G = \{g_1, g_2, ..., g_n\}$ is a finite abelian group, then for any $x \in G$, $xg_1 \cdot xg_2 \cdots xg_n = g_1 \cdot g_2 \cdots g_n$ 
Let $G = \{g_1, g_2, \dots, g_n\}$ be a finite abelian group, prove that for any $x ∈ G$, the product $$xg_1 \cdot xg_2 \cdot \cdot \cdot xg_n = g_1 \cdot g_2 \cdot \cdot \cdot g_n.$$ 

I can easily see why $g_1 \cdot g_2 \cdot \cdot \cdot g_n = e$, this follows from the group being abelian and having an inverse for every element. But I can't see why $x^n = e$. We haven't looked at many propositions yet. What I have so far is that if $\operatorname{ord}(x) = k$, that I need to prove $n \bmod k = 0$, from which will nicely follow that $\operatorname{ord}(x)$ divides the group order. 
Edit: changed some notation mistakes in the product.
 A: The elements $xg_1,\ldots ,xg_n$ are again $n$ different elements of $G$, so that they must coincide with elements $g_1,\ldots,g_n$; hence their product also coincides. Indeed, if $xg_i=xg_j$, then multiplying by $x^{-1}$ gives $g_i=g_j$, so that
$$
G=\{g_1,\ldots ,g_n\}=\{xg_1,xg_2,\ldots , xg_n\}.
$$
On the other hand, this is equivalent to $x^n=e$, which we have proved now for all $x\in G$. Note that the product of all elements need not be $e$, as the example of $C_2=\{e,g\}$ with $g^2=e$ shows. It equals $e$ if $G$ is abelian and has odd order, see here.
More generally, we have $x^{|G|}=1$ for all $x$ in a finite group $G$. 
A: Actually, what you said about $g_1g_2\cdots g_n=e$ is only true in general if the group has odd order.
Have you covered Lagrange's Theorem in class? Because it's really just a consequence of that.
The other way to see this is that if you multiply every element of $G$ by $x\in G$, you're really just permuting the group. So the set
$$\{xg_1,xg_2,\dots,xg_n\}$$
is really the same set as
$$\{g_1,g_2,\dots,g_n\}$$
And hence their products are the same. Of course, you have to prove that these two sets are the same.
A: $xg_1, xg_2, \cdots xg_n$ are $n$ elements in $G$.
If $xg_i=xg_j$ then $g_i=g_j$, so the elements $xg_i$ are all distinct, i.e. they are all the elements in $G$ since they are $n$ elements.
In other words you are just multiplying the same set (namely the whole $G$) in a different order, but a group is abelian!
(I'm considering $e=g_1$, we don't need to distinguish it! And $|G|=n$).
