1
$\begingroup$

I have just learned about cosets and meet with the following question.

Find all left cosets of the subgroup generated by $\overline a$ in $\mathbb Z_{12}$. I know $\mathbb Z_{12} = \{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11\}$. I would like to know (for example if $a=2$). What does $\overline a$ mean here? Thanks.

  • 1
    I see. It seems like Brad's answer should clear things up, then. Just a note: later on you'll learn that $\mathbf Z_{12}$ is the (quotient) group formed by the cosets of $12\mathbf Z$ in the group $\mathbf Z$, so you're looking at cosets of cosets here!2011-12-18

1 Answers 1

2

The elements of $\mathbb{Z}_n$ are not really integers, but rather equivalence classes of integers. The equivalence class of an integer $a$ is often denoted $\bar a$. It is the set of all integers of the form $a+nk$, where $k$ is an integer. Using this notation,

$\mathbb{Z}_n = \{\bar 0, \bar 1, \ldots, \overline{n-1}\}.$ For example, in $\mathbb{Z}_{12}$, we have $\overline{12} = \bar 0$ and $\overline{21} = \bar 9$. However, we often abuse notation and write things like "21 = 9" in $\mathbb{Z}_{12}$ instead.

  • 0
    okay, thank u very much,may God bless u all2011-12-18