I know that $\displaystyle Z/nZ \cong Z_n$ but would $\displaystyle (Z \times Z)/<(n,n)> \cong Z_n \times Z_n$?
P.S. Sorry for the bad formatting, trying to learn the LaTeX formatting for this site :-)
Define,
$\displaystyle \phi: \mathbb{Z}\times \mathbb{Z} \mapsto \mathbb{Z}_n\times \mathbb{Z}_n$ as $\displaystyle \phi: (x,y) = \phi([x]_n,[y]_n)$ where $\displaystyle [x]_n$ and $\displaystyle [y]_n$ are the congruence classes of $\displaystyle x$ and $\displaystyle y$ respectively. This is a homomorpism. And clearly $\displaystyle \phi$ is an onto map.
Thus, by the fundamental homorphism theorem,
$\displaystyle \mathbb{Z}_n\times \mathbb{Z}_n\simeq (\mathbb{Z}\times \mathbb{Z})/\ker (\phi)$ but $\displaystyle \ker \phi = \{ kn,jn \} = \left< n \right> \times \left< n \right>$.
So you probabily meant to write,
$\displaystyle (\mathbb{Z}\times \mathbb{Z})/(\left< n\right>\times \left< n \right>)$.
Are you in New York?
This question arose from a question in my text that asked:
Show that $\displaystyle (\mathbb{Z}\times \mathbb{Z})/\left<(2, 2)\right>)$ is not a cyclic group. I was assuming that the quotient group was isomorphic to $\displaystyle \mathbb{Z}_2\times \mathbb{Z}_2$, i.e., the Klein 4-group, which is not cyclic (prob. #21 pg 176 in Beachy's Abstract Algebra)
By, $\displaystyle \left<(n, n)\right>$ I meant the cyclic subgroup generated by (n,n), i.e. { ..., (-2n, -2n), (-n,n), (0,0), (n,n), (2n,2n), ...}
So I think we agree, but just different notation right?
This problem appears in Beachy+Blair problem 21 on section 3.8. It is very possible you go to CCNY and are in the abstract algebra course. However, it was not assignent as a homework problem (I am not in the class but I do know which homework is assigned).
No you are wrong. There is a large difference between $\displaystyle \left< n \right> \times \left< n \right>$ and $\displaystyle \left< (n,n) \right> $. One is a Cartesian product and the other is not.
We can prove that (like you asked that),
$\displaystyle (\mathbb{Z}\times \mathbb{Z})/(\left< n \right> \times \left< n \right> ) \simeq \mathbb{Z}_n \times \mathbb{Z}_n$ for $\displaystyle n>1$.
First, $\displaystyle \left< n \right> \times \left< n \right>$ is a subgroup of $\displaystyle \mathbb{Z}\times \mathbb{Z}$ so it is normal because subgroups of an abelian group are normal.
Okay now the subgroup $\displaystyle \left< n \right> \times \left< n \right>$ is the set $\displaystyle \{ ... , (-n,-n), (0,0), (n,n), ... \}$. The cosets have the form $\displaystyle (x,y) + \left< n \right> \times \left< n \right> = \{..., (x-n,y-n),(x,y),(x+n,y+n),...\}$. Note that is $\displaystyle x_1\equiv x_2 (\bmod n)$ then $\displaystyle (x_1,y)+\left< n \right> \times \left< n \right> = (x_2,y)+\left< n \right> \times \left< n \right>$.* So we can express uniquely everything as $\displaystyle (a,b) + \left< n \right> \times \left< n \right> $ where $\displaystyle 0\leq a,b\leq n-1$. Thus, there are a total of $\displaystyle n\times n = n^2$ elements in this coset. You can prove isomorphism with $\displaystyle \mathbb{Z}_n\times \mathbb{Z}_n$ by defining $\displaystyle \phi: (a,b)+\left< n \right> \times \left< n \right> \mapsto \mathbb{Z}_n\times \mathbb{Z}_n$ and $\displaystyle \phi(a,b) = ([a]_n,[b]_n)$. So your conjecture is true.
So are you in CCNY, everything tells me that you are? Are you afraid that I am going to kill you or something like that.
*)Important side note: This is why this group modulo $\displaystyle \left< (1,1) \right>$ is infinite (problem 20) while $\displaystyle \left< (2,2) \right>$ is actually finite because $\displaystyle x_1=x_2$ for no matter what $\displaystyle x_1,x_2$ you chose because everything is congruent to mod 1. So the cosets behave completely differently if you know what I mean.
Really. That is awesome, I am a student at CCNY also. But I am not taking Algebra. I happen to know the automorphism of the symettric group was assigned as an extra credit problem (it really is an interesting problem). I am a (undergraduate) student, who likes to think I am a professor. Maybe we have seen eachother and never realized it. I am taking Multi-variable Advanced Calculus and Probability Theory.
You have an exam on Tuesday? He did not do a review session as he usually does.
Did you find this site by pure coincidence?
I actually found this site maybe 2 years ago when I was at Cooper Union. I don't remember exactly how I stumbled upon it, but I had a problem in my Analysis on Manifolds class that I could not do - and my professor didn't give me the best explaination either. So I wound up surfing the web (as I do frequently since so many math problems are solved here - usually with good explainations) hoping to find some help.
I am a first year graduate student at CCNY. I am taking topology, real analysis, algebra (as you figured out), and statistics II.
It seems that you are really advanced for an undergrad. I was a chemical engineering major undergrad. I had a decent math background coming to CCNY, but algebra is giving me the most headaches, although it also gives me the biggest satisfaction when I solve a problem as well.
Post #7 was a mistake. Let me try again.
I said that $\displaystyle \mathbb{Z}\times \mathbb{Z}/ (\left< n\right> \times \left< n \right> ) \simeq \mathbb{Z}_n\times \mathbb{Z}_n$ which is absolute garbage. Sorry about that.
Okay here is how it works.
Note that, $\displaystyle \left< n\right> \times \left< n \right> = \{...,(-n,-n), (0,0),(n,n),...\}$.
Now if $\displaystyle x,y$ are integers then $\displaystyle (x,y) + \left< n\right> \times \left< n \right>$ determines the coset $\displaystyle \{ ... , (x-n,y-n),(x,y),(x+n,y+n),...\}$. Note that there is an invariance that exists among all its ordered pairs, namely, the difference from the first entry and the second entry is fixed. This means $\displaystyle (x_1,y) + \left< n\right> \times \left< n \right>$ and $\displaystyle (x_2,y)+\left< n\right> \times \left< n \right>$ can only be the same coset if $\displaystyle x_1 - y = x_2 - y$ (because of this invariance) so $\displaystyle x_1 = x_2$. Thus, two numbers being congruent to each other mod $\displaystyle n$ is not sufficient for them to be the same coset. Now turning the question around we ask if $\displaystyle (x_1,y_1)+\left< n\right> \times \left< n \right>$ and $\displaystyle (x_2,y_2)+\left< n\right> \times \left< n \right>$ such that $\displaystyle x_1-y_1 = x_2 - y_2$ do they determine the same coset? The easiet way to answer this question is to look at a specific example say $\displaystyle n=3$ note $\displaystyle (1,2)+\left< 3\right> \times \left< 3 \right>$ and $\displaystyle (2,3)+\left< n\right> \times \left< n \right>$ have the same difference of their coordinates but these cosets are not the same, namely, the first one has $\displaystyle ...,-2,1,2,...$ among its first member while the second one $\displaystyle ...,-1,2,4,...$ amond its second member. However if $\displaystyle x_1-y_1 = x_2 - y_2$ and $\displaystyle x_1 \equiv x_2 (\bmod n)$ and $\displaystyle y_1\equiv y_2 (\bmod n)$ then this is sufficient for them to be the exactly the same coset. This condition is also necessary, thus, we have completely described all the cosets.
So we can think of this cosets as the following. Let $\displaystyle G$ be a group of $\displaystyle (a,b)$ where $\displaystyle a,b\in \mathbb{Z}$. Define an equivalence relation on $\displaystyle G$ as two elements are equivalent if the first and second members are congruent, and the differences are the same. Define the group operation as basic component addition. This will be a group. The special case is when $\displaystyle n=1$ because everything is congruent to eachother so the only condition is that the difference between the elements is the same to determine the same equivalence class.
So I do not see any "nice" way of describing what this group is when $\displaystyle n>1$, it certainly is not finite.
I think I got a "nice" representation. I haven't had time to check everything properly, but your equilvance relation idea sparked a few ideas in my head. I think it is that case that:
$\displaystyle \mathbb{Z}\times \mathbb{Z}/ \left< (n, n) \right> \simeq \mathbb{Z}_n\times \mathbb{Z}$
Hopefully, I will get a chance later to flush everything out and I will post it there.