Register to reply 
The Integers Modulo n 
Share this thread: 
#1
Sep206, 11:54 AM

P: 131

We are currently using Dummit & Foote's Abstract Algebra book in a gradute course of the same name. Recently, I had an issue concerning the additive and multiplicative integer groups mod n, which I brought to the professor's attention. The issue deals specifically with the way these groups are defined in the text.
[tex] \mathbb{Z} / n\mathbb{Z} = \{ \overline{a} \  \ a \in \mathbb{Z}, 0 \leq a < n \} [/tex] Thus, for any Natural Number n, there are exactly n equivalence classes in [tex] \mathbb{Z} / n\mathbb{Z} \ ,[/tex] namely: [tex] \overline{0}, \overline{1}, ..., \overline{n  1} [/tex] This is defined on page 8. Later, on page 10, the group of integers modulo n under multiplication is defined as: [tex] ( \mathbb{Z} / n\mathbb{Z} ) ^x = \{ \overline{a} \in \mathbb{Z} / n\mathbb{Z} \  \ \exists \ \overline{c} \in \mathbb{Z} / n\mathbb{Z} \ [/tex] with [tex] \ \overline{a} \cdot \overline{c} = \overline{1} \}[/tex] So, here's my question. What are the elements of this group when n = 1? I have no problems with the groups for larger n. In each case, you just get the set of equivalence classes in the additive group such that their representative values are relatively prime to n. This is given as a proposition on the same page. It's easy to see that if n is prime, then this group contains n  1 elements. The number of elements for any n can be calculated by Euler's totient function [tex] \varphi(n) [/tex] which gives the number of integers less than or equal to n that are relatively prime to n. Since [tex] \varphi(1) = 1 [/tex] it should be that the group of integers mod 1 under multiplication should contain 1 element. But, if we follow the definition from above, it seems to me that it should, in fact, be empty! The only element in the additive group mod 1 is [tex] \overline{0} [/tex], but this equivalence class fails to meet the requirement for being in the multiplicative group! That is, [tex] \nexists \ \overline{c} \in \mathbb{Z} / n\mathbb{Z} \ [/tex] with [tex] \ \overline{0} \cdot \overline{c} = \overline{1}[/tex] So it would seem that the group is actually empty. So which is it? 


#2
Sep206, 12:11 PM

Sci Advisor
HW Helper
P: 2,586

Why should it be empty by that definition? When n = 1, then:
[tex]\overline{1} = \overline{0}[/tex]. In other words, 0 and 1 belong to the same equivalence class modulo 1. In fact, every integer belongs to the same equivalence class modulo 1. [itex]\mathbb{Z}/1\mathbb{Z} = \{\mathbb{Z}\}[/itex]. 


#3
Sep206, 12:29 PM

P: 131

I thought [tex] \mathbb{Z} / 1\mathbb{Z} = \{ \overline{0} \} [/tex]



#4
Sep206, 12:40 PM

Sci Advisor
HW Helper
P: 2,586

The Integers Modulo n
Yes, and:
[tex]\overline{0} = \mathbb{Z}[/tex] 


#5
Sep206, 12:44 PM

Sci Advisor
HW Helper
P: 2,586

Modulo n, [itex]\bar{c}[/itex] denotes the equivalence class of c, which is {z in Z : n(cz)}. So modulo 1, [itex]\bar{0}[/itex] = {z in Z : 1(0z)} = {z in Z : 1z} = {z in Z} = Z, because 1 divides every integer. That is, if z is any integer, then there exists an integer k such that k x 1 = z, namely choose k = z.



#6
Sep206, 01:01 PM

P: 131

Okay, you've shed some light on the subject for me, but I'm still iffy...
So, what is [tex] ( \mathbb{Z} / 1\mathbb{Z} ) ^x [/tex] ? Are you saying that it contains only one element since every integer is in the same equivalence class? 


#7
Sep206, 01:14 PM

Sci Advisor
HW Helper
P: 2,586

[tex](\mathbb{Z}/1\mathbb{Z})^{\times} = \mathbb{Z}/1\mathbb{Z}[/tex]
These two things are identical as groups. That is, they both have the same underlying set (which, yes, has only one element) but also have the same operation. Although we look at the thing on the left and call its operation multiplication (mod 1) and we look at the thing on the right and call its operation addition (mod 1), they are technically the same operation in this special case. Just for additional information, and to be entirely clear, the underlying set for this group is: [tex]\{\mathbb{Z}\} = \{\overline{0}\} = \{\overline{1}\} = \{\overline{125853}\} = \{\overline{823}\}[/tex] 


#8
Sep206, 01:24 PM

Sci Advisor
HW Helper
P: 2,586

Also, why wouldn't you put this thread in the Linear and Abstract Algebra forum instead of in the Calculus and Analysis forum, which this thread has nothing to do with?



#9
Sep206, 04:03 PM

P: 131

Oh whoops. Ha ha... I know why I did that. Because I've been taking analysis courses all year and I'm just used to coming to this link. Sorry.
I do understand it now, though. I think it finally hit me while I was at the store today. The key was realizing that these equivalence classes can have different names, and that, most importantly, when n = 1 only, 0 and 1 are in the same equivalence class (as you already stated). So, for example, [tex] \mathbb{Z} / 2\mathbb{Z} = \{ \overline{0}, \overline{1} \} [/tex] But, I could also call it [tex] \{ \overline{6}, \overline{3} \} [/tex] or [tex] \{ \overline{50}, \overline{2001} \} [/tex] or, in general [tex] \{ \overline{2k}, \overline{2m+1} \} [/tex] for integers k and m. When n = 1, all of the integers are in the same equivalence class. So, like you said, it doesn't matter which integer I use to represent it. Thanks for your help and patience. I diserve to be ridiculed for this given its simplicity and where I put the post, but you did a great job. 


#10
Sep206, 05:17 PM

Sci Advisor
HW Helper
P: 2,586

You're very welcome, glad I could help!



Register to reply 
Related Discussions  
Inverse modulo  Calculus & Beyond Homework  3  
Modulo...  Calculus & Beyond Homework  4  
Factoring Modulo  General Math  1  
Integers Modulo n  Linear & Abstract Algebra  4  
Integers Modulo  Linear & Abstract Algebra  2 