Quote (feanur @ Dec 12 2013 01:08am)
Well, you probably already noticed that [[ 1 m ] [ 0 1 ]] x [[ 1 n ] [ 0 1 ]] = [[ 1 m+n ] [ 0 1 ]]
Now the bijection ( = injection and surjection) is quiete obvious :
(Z,+) ----> (G,x)
n ----> [[ 1 n ][ 0 1 ]]
since, to each element of G, corresponds 1 and 1 only integer n.
Thank you, that makes sense and makes me feel like my brain is fried right now.
I think I need some sleep, lol.