Set theory. What does this mean?

  • Thread starter omoplata
  • Start date
  • #1
omoplata
327
2
If [itex]\mathbb{Z}[/itex] is the set of integers, what does [itex]\mathbb{Z/2Z}[/itex] mean?
 

Answers and Replies

  • #2
henry_m
160
2
It is the integers modulo 2.

[itex]\mathbb{Z}[/itex] is the set of integers, and [itex]2\mathbb{Z}[/itex] is the set of even integers, and [itex]\mathbb{Z}/\mathbb{2Z}[/itex] is the set of integers modulo the ideal of even integers.

The notation A/B crops up all over the place in many different contexts, so here's a general explanation of roughly what it means:

A is some structure (in this case a ring, but it could be a group, a Lie algebra, a topological space...) and B is some special substructure of A (or in some contexts sometimes an equivalence relation on A). A/B is what you get when you regard the members of B as being equivalent. The exact definition depends somewhat on context. So in this case, we regard all the even integers as equivalent and by extension all the odd integers as equivalent, leaving just two elements in [itex]\mathbb{Z}/(2\mathbb{Z})[/itex]: the set of odd integers and the set of even integers (the equivalence classes).

More generally, we could take the set [itex]\mathbb{Z}/(n\mathbb{Z})=\{[0],[1],\ldots,[n-1]\}[/itex], where the square brackets mean 'equivalence class of', so [itex][k] = \{\ldots, k-2n, k-n,k,k+n,k+2n,\ldots\}[/itex] as the integers modulo n.

Hope that's useful; it's hard to know what level to pitch it at. If you want more details or less jargon I'll be happy to rephrase.
 
  • #3
micromass
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
22,178
3,305
Hi omoplata! :smile:

That is actually a notation from abstract algebra. You probably know that [itex]2\mathbb{Z}[/itex] is all the multiples of 2 (thus all even numbers).

Now, on [itex]\mathbb{Z}[/itex], we can put the following equivalence relation:

[itex]x\sim y~\Leftrightarrow~x-y\in 2\mathbb{Z}[/itex]

Then [itex]\mathbb{Z}/2\mathbb{Z}[/itex] is simply the quotient of this equivalence relation (thus the set of all equivalence classes).

It is easy to see that

[tex]\mathbb{Z}/2\mathbb{Z}=\{2\mathbb{Z},2\mathbb{Z}+1\}[/tex]

thus the set contains two elements. We can easily put an addition and multiplication on this set and this gives us a field with two elements.

I hope that is clear!
 
  • #4
omoplata
327
2
I get it now. Thanks a lot.
 
  • #5
HallsofIvy
Science Advisor
Homework Helper
43,021
970
Note that although henry_m and Micromass are using different words, they are saying the same thing!
 
  • #6
omoplata
327
2
Note that although henry_m and Micromass are using different words, they are saying the same thing!

Well, yeah. I understood that.
 

Suggested for: Set theory. What does this mean?

  • Last Post
Replies
8
Views
432
  • Last Post
Replies
9
Views
813
Replies
9
Views
1K
Replies
14
Views
778
  • Last Post
Replies
4
Views
46
  • Last Post
Replies
1
Views
762
Replies
6
Views
951
Replies
20
Views
791
  • Last Post
Replies
1
Views
982
  • Last Post
Replies
1
Views
329
Top