Register to reply

The Integers Modulo n

by BSMSMSTMSPHD
Tags: integers, modulo
Share this thread:
BSMSMSTMSPHD
#1
Sep2-06, 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?
Phys.Org News Partner Science news on Phys.org
Scientists develop 'electronic nose' for rapid detection of C. diff infection
Why plants in the office make us more productive
Tesla Motors dealing as states play factory poker
AKG
#2
Sep2-06, 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].
BSMSMSTMSPHD
#3
Sep2-06, 12:29 PM
P: 131
I thought [tex] \mathbb{Z} / 1\mathbb{Z} = \{ \overline{0} \} [/tex]

AKG
#4
Sep2-06, 12:40 PM
Sci Advisor
HW Helper
P: 2,586
The Integers Modulo n

Yes, and:

[tex]\overline{0} = \mathbb{Z}[/tex]
AKG
#5
Sep2-06, 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|(c-z)}. So modulo 1, [itex]\bar{0}[/itex] = {z in Z : 1|(0-z)} = {z in Z : 1|-z} = {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.
BSMSMSTMSPHD
#6
Sep2-06, 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?
AKG
#7
Sep2-06, 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]
AKG
#8
Sep2-06, 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?
BSMSMSTMSPHD
#9
Sep2-06, 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.
AKG
#10
Sep2-06, 05:17 PM
Sci Advisor
HW Helper
P: 2,586
You're very welcome, glad I could help!
Quote Quote by BSMSMSTMSPHD
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.
Yup, you seem to get it now. Just note one thing: when you write Z/2Z, it's implied you're talking about a group, that is, a set WITH an operation. When you write {6~, 3~} (the tildes denote overlines) that denotes a set consisting of two equivalence classes, and it would be the underlying set of the group Z/2Z. Of course, if the context is right, then you can refer to a group by its underlying set, so you will get away with writing Z/2Z = {6~, 3~} 99.99% of the time. I would assume you know this already, but I'm covering all bases just to be safe.


Register to reply

Related Discussions
Inverse modulo Calculus & Beyond Homework 3
Modulo, congruences and primes - the love story Calculus & Beyond Homework 4
Factoring Modulo General Math 1
Integers Modulo n Linear & Abstract Algebra 4
Integers Modulo Linear & Abstract Algebra 2