- #1
binbagsss
- 1,254
- 11
Homework Statement
##\Omega = {nw_1+mw_2| m,n \in Z} ##
##z_1 ~ z_2 ## is defined by if ##z_1-z_2 \in \Omega ##
My notes say ##z + \Omega## are the cosets/ equivalence classes , denoted by ##[z] = {z+mw_1+nw_2} ##
Homework Equations
above
The Attempt at a Solution
So equivalance classe form a partition, i.e. two elements that are equivalent are within the same equivalence class,
But if I consider ##\Omega ## with basis ##w_1 = i ## ##w_2 =1 ##
##z_1 = 1/2 + i/2 ##, ##z_2 = 1/2-i/2##
Then ##z_1 - z_2 = i \in \Omega ## , ##(m=1, n=0)##
And so ##z_1 ~ z_2 ## so these two are in the same equivalent class right?
However my notes say that ##[z_1]## and ##[z_2]## are each equivalence classes, or is this definition not ##\all z \in C##, what is an efficient way to look, from the basis, which ##z \in C## are equivalent so how many equivalence classes there will be?
thanks in advance
- also a notation question:
Say ##~## is defined by the difference between ##x \in Z## being ##2##, then equivalence classes are odd and even numbers, and we use the notation ##[1],[7],[3]..## represent the same element for ##Z/\~##
Can you equally use the notation ##[1]=[7]## (mod 2) ?
So above I can either say:
- ##[z_1]=[z_2] ## (mod ##\Omega##)
OR
- ##[z_1],[z_2] ## represent the same element for ##C/\Omega##
and these mean the same thing?