I Understanding zero divisors & ##\mathbb{Z_m}## in Ring Theory

  • I
  • Thread starter Thread starter chwala
  • Start date Start date
  • Tags Tags
    Ring Theory Zero
chwala
Gold Member
Messages
2,825
Reaction score
413
Homework Statement:: See attached
Relevant Equations:: Ring Theory

Trying to go through my undergraduate notes on Ring Theory ( in appreciation to my Professor who opened me up to the beautiful World of Math)...anyways see attached...

1649563582139.png

I need some clarity on the zero divisor. I am aware that we may have a left or right zero divisor where ##a## is an element in a ring ##R## and there exists a non zero ##x## in ##R## such that,
##ax=0##, now looking at the above example, 2.2.2 we have ##(a,0)⋅(0,b)=(a⋅0, 0⋅b)=(0,0)##, since product is equal to ##(0,0)## then we conclude that the elements are zero divisors. Now my question is, using the definition, ##ax=0##, and given that ##a,b## are elements in ##R##, then what would be our ##x?##
or are we supposed to say, consider ##(a,0)## as our ##a## and ##(0,b)## as our ##x##...cheers

I think i get it, ##(a,0)## is an element in ##R## and ##(0,b)## is the non zero element in ##R##. Right, let me continue with looking at the literature, i will ask questions in areas of doubt.
 
Last edited:
Physics news on Phys.org
Hello kindly i need insight here, on the highlighted part...and how they arrived at the conclusion whereas we have many values that satisfy the integer modulo ##m=4##.
I think i understand the concept applied i.e
Let ##m>0##, we define the integer ##b##,

##b=\left\{x:x≡b \mod m\right\}##

I need clarity or rather reasons as to why they picked the indicated values...
1649569155591.png


1649569275909.png


From my own analysis, for ##\mathbb{Z_4}## we shall have
##[a_0]= ...-4, 0, 4, 8, 12, ...##
##[a_1]= ...-3, 1, 5, 9, 13, ...##
##[a_2]= ...-6,-2, 2, 6, 10, 14, ...##
##[a_3]= ...-5,-1, 3, 7, 11, 15, ...##

Is there any particular reason as to why they picked ##8,5, -6## and ##11## or we could pick any values from the sets?
 
Last edited by a moderator:
  1. Difficult to follow. Please try to express yourself more concisely. If necessary, highlight the part in your posts that contain the questions.
  2. This is not a homework question.
 
OK before i proceed i would like to know if it is allowed to explore 'difficult'concepts here or it is only homework questions which are allowed. My opening remarks was to try and familiarise with some areas on Ring theory. If this is not allowed do let me know...having said that i was looking at;

1649592769232.png

Do note that we are looking at Ring of Integers Modulo m...for the posts 2 to 4.

From the attachment (in post 4), i noted that they used, ##[a] =[a_2]## and
b=##[a_3]## ...now are my steps correct? if i would say use,

##[a_0]=15## and ##[a_4] = 24## to realize,
##[15]##+##[24]## = ##[39]##
##[15]⋅ [24]##=##360## to therefore have,
##[15]##+##[24]## = ##[4]##
##[15]⋅ [24]##=##0##. Thanks
 
Last edited:
nuuskur said:
  1. Difficult to follow. Please try to express yourself more concisely. If necessary, highlight the part in your posts that contain the questions.
  2. This is not a homework question.
Noted ...the part circled by myself in red is the area of interest in post 2. Note that,
##8∈[a_0]##my question is could we as well have picked any other values in ##[a_0]## to satisfy the conclusion made or is there a specific reason as to why ##8## was picked? ##[a_0]## has other elements like indicated i.e
##[a_0]= ...-4, 0, 4, 8, 12, ...##
 
The computations are carried out in ##\mathbb Z_m##, not ##\mathbb Z##. So, the same conclusion follows if you use arbitrary representatives from the respective congruence classes.

For example in ##\mathbb Z_{7}##, ##[3] + [2] = [5] ## is equivalent to ## [17] + [-5] = [26] ##.

It is not true that ##[a_0] = \ldots -4, 0,4\ldots##. It is true that ##[a_0] = \{\ldots, -4,0,4\ldots\} = \{a\in\mathbb Z \mid a\equiv a_0 \pmod{m}\} ##.
 
  • Like
Likes chwala
nuuskur said:
The computations are carried out in ##\mathbb Z_m##, not ##\mathbb Z##. So, the same conclusion follows if you use arbitrary representatives from the respective congruence classes.

For example in ##\mathbb Z_{7}##, ##[3] + [2] = [5] ## is equivalent to ## [17] + [-5] = [26] ##.

It is not true that ##[a_0] = \ldots -4, 0,4\ldots##. It is true that ##[a_0] = \{\ldots, -4,0,4\ldots\} = \{a\in\mathbb Z \mid a\equiv a_0 \pmod{m}\} ##.
Thanks I just missed out on the bracket...but my intention is of course what you have indicated... I will endeavour to be careful with the notations though.. thanks @nuuskur.
 
Imagine you're dealing with a money system based on cents, so that 100 cents equals one unit. Then 100 becomes your new 0. So does every multiple of 100. Then:
25(4)=50(2)=100=0.
 
  • Like
Likes chwala
nuuskur said:
The computations are carried out in ##\mathbb Z_m##, not ##\mathbb Z##. So, the same conclusion follows if you use arbitrary representatives from the respective congruence classes.

For example in ##\mathbb Z_{7}##, ##[3] + [2] = [5] ## is equivalent to ## [17] + [-5] = [26] ##.

It is not true that ##[a_0] = \ldots -4, 0,4\ldots##. It is true that ##[a_0] = \{\ldots, -4,0,4\ldots\} = \{a\in\mathbb Z \mid a\equiv a_0 \pmod{m}\} ##.
##\mathbb Z_{7}##, ##[3] + [2] = [5] ## is equivalent to (in terms of ##[a_m]## notation);
##[a_3]+[a_2]= [3] + [2] = [5] ##
##[a_{17}]+[a_2]= [17] + [-5] = [26] ##
 
Last edited:
  • #10
chwala said:
OK before i proceed i would like to know if it is allowed to explore 'difficult' concepts here or it is only homework questions which are allowed. My opening remarks was to try and familiarise with some areas on Ring theory. If this is not allowed do let me know...having said that i was looking at;

View attachment 299690
A moderator moved this thread from "Calculus & Beyond" Homework to this Forum, so this thread is allowed here.

Try to be more focused with your questions. That's not always easy when you are somewhat confused about the topics you're unclear about.
 
  • Like
Likes chwala
  • #11
SammyS said:
A moderator moved this thread from "Calculus & Beyond" Homework to this Forum, so this thread is allowed here.

Try to be more focused with your questions. That's not always easy when you are somewhat confused about the topics you're unclear about.
Noted Sammy. Cheers.
 
  • #12
Still progressing with study, i want to to be certain am getting this right. Consider the example below;
1649673946762.png

1649673982880.png
The steps are pretty straightforward to me. The thing to note is that for isomorphism ( The ring homomorphism has to be a 1-1 and onto). with the condition,
##f(x+y) = f(x)+f(y)##
##f(xy)=f(x)f(y)##, ∀x,y∈##\mathbb{R}##

Now allow me create my own question here following the above example but for (mod 4).

×##1####w####w^2####w^3##
##1####1####w####w^2####w^3##
##w####w####w^2####w^3####1##
##w^2####w^2####w^3####1####w##
##w^3####w^3####1####w##
##w^2##​
+ (mod 4)##0####1####2####3##
##0####0####1####2####3##
##1####1####2####3####0##
##2####2####3####0####1##
##3####3####0####1####2##

##f(1)=0## , ##f(w)=1##, ##f(w^2)=2##, ##f(w^3)=3## thus is an isomorphism.
Also,
##f(w^3⋅w^2)=f(w)=1=[3]+[2]=f(w^3)+f(w^2)##... just sharing in case of any feedback...meanwhile i will continue studying on this...really interesting area...
 
Last edited:
  • Like
Likes nuuskur
  • #13
1649677437868.png


I think text has mistake on highlighted part, it ought to be,
##[272][x]=[1]## then as they say using trial and error method .There could be a better way of solving such equations ...i would need to check...the residue class ##[5]## has ##\{\ldots, -4,5,14,23, \ldots\}## any of the values would satisfy the congruence equation.

...unless they applied mod 9 on both sides of equation to then end up with the equation##[2][x]=[1]## ...if that is the case then the equation would hold...
 
Last edited:
  • #14
chwala said:
View attachment 299736

I think text has mistake on highlighted part, it ought to be,
##[272][x]=[1]## then as they say using trial and error method .There could be a better way of solving such equations ...i would need to check...the residue class ##[5]## has ##\{\ldots, -4,5,14,23, \ldots\}## any of the values would satisfy the congruence equation.

...unless they applied mod 9 on both sides of equation to then end up with the equation##[2][x]=[1]## ...if that is the case then the equation would hold...
No mistake in the text. (However, your graphic image is barely readable .)

Mathematically the term (as in terminology) "mod" has more than one meaning, The meanings are related and depend on context. The concept is also related to the term "modulo".

As a mathematical operator/function you might say: 272 mod 9 = 1 .
Basically this gives the remainder of integer division for 272 divided by 9 as being 1 .

What you're referenced text refers to is somewhat different.

(Added in Edit: After zooming in on the graphic I see that indeed an equivalence sign is used there, so I am changing this post consistent with this. )
For the statement:
##272x\equiv 901 \text{ mod } 9## , ( Edited )
you might say ##272## times ##x## is congruent to ##901## mod ##9## . Often you will see the "equivalent sign", ##\equiv##, used rather than an "equal sign".

Of course, with residue classes this is written as: ##[272x]=[901]##

I must make the observation that you have this thread jumping all over the place - topic-wise.

You have noted somewhere above that ##[a+b]=[a]+[ b]## .
In a ring, a similar result holds for the multiplication operation: ##[a\cdot b]=[a]\cdot [ b]##.

Therefore, it is correct to say that it follows that:

##[272][x]=[901]##

So of course for residue classes mod 9 we have, ##[2][x]=[1]##
 
Last edited:
  • Like
Likes chwala
  • #15
Thanks Sammy...I think way forward is for me to have new posts (open new threads) to avoid ' mixing up' the posts in question...well noted.
 
  • Like
Likes SammyS
  • #16
Speaking of residue classes modulo 9:

What are the zero divisors in the ring ##\mathbb{Z}_{~9} ~ ?##
 
  • #17
SammyS said:
Speaking of residue classes modulo 9:

What are the zero divisors in the ring ##\mathbb{Z}_{~9} ~ ?##
If i understand your question we are looking for ##xy≡0 mod 9## with the condition that ##x≠0 mod 9##and ##y≠0 mod 9##,
Now we have,
##[a_0]##=##\{\ldots, -9,0,9,18,27 \ldots\}##
##[a_1]##=##\{\ldots, -8,1,10,19,28 \ldots\}##
if we pick ##[a_0]##=##9## and ##[a_1]##=##1##, then ##[a_0]⋅[a_1]=9⋅1=0 mod 9##

just a minute i check ##1## cannot be a zero divisor in any ring!

Second attempt.

##[a_0]##=##\{\ldots, -9,0,9,18,27 \ldots\}##
##[a_2]##=##\{\ldots, -7,2,11,20,29 \ldots\}##
if we pick ##[a_0]##=##9## and ##[a_2]##=##2##, then ##[a_0]⋅[a_2]=9⋅2=0 mod 9## therefore ##9## and ##2## are zero divisors.
 
  • #18
@chwala Few golden rules to remember in modular arithmetic.
  1. Any non-zero element in a finite ring is either a zero divisor or invertible.
  2. An element ##[a]\in\mathbb Z_m## is invertible if and only if ##\mathrm{gcd}(a,m)=1##.
 
  • Like
Likes chwala and WWGD
  • #19
nuuskur said:
@chwala Few golden rules to remember in modular arithmetic.
  1. Any non-zero element in a finite ring is either a zero divisor or invertible.
  2. An element ##[a]\in\mathbb Z_m## is invertible if and only if ##\mathrm{gcd}(a,m)=1##.
Maybe add that for ##p## prime, every element in ##\mathbb Z _p## is invertible and the ring is a Field.
 
  • Like
Likes chwala
  • #20
nuuskur said:
@chwala Few golden rules to remember in modular arithmetic.
  1. Any non-zero element in a finite ring is either a zero divisor or invertible.
  2. An element ##[a]\in\mathbb Z_m## is invertible if and only if ##\mathrm{gcd}(a,m)=1##.
Thanks @nuuskur...with no zero divisors we can look at this in terms of integral domain. Right?
 
  • #21
chwala said:
Thanks @nuuskur...with no zero divisors we can look at this in terms of integral domain. Right?
I am not entirely sure, what you mean. Integral domains are commutative rings with identity that contain no zero divisors, i.e, ##xy=0## implies either ##x=0## or ##y=0##. For example, any field is an integral domain.
 
  • #22
nuuskur said:
I am not entirely sure, what you mean. Integral domains are rings with identity that contain no zero divisors, i.e, ##xy=0## implies either ##x=0## or ##y=0##. For example, any field is an integral domain.
I meant that if a Ring has no zero divisors then the Ring is an Integral domain...unless i am getting it wrong ...still familiarising on the literature.
 
  • #23
chwala said:
unless i got Sammy wrong, i think what he meant was,
##[272 mod 9] [x]≡ 901 mod 9##
##[272 mod 9] [x]≡ 1##
We know that ##272 mod 9 =2##
then we shall therefore have ##[2][x]=[1]##
Ah, my bad. Sorry to both, misread.
 
  • #24
chwala said:
I meant that if a Ring has no zero divisors then the Ring is an Integral domain...
I slipped up. Has to be a commutative ring. And no, a ring need not have a multiplicative identity. It has to be a commutative ring with identity.
 
  • #25
nuuskur said:
I slipped up. Has to be a commutative ring. And no, a ring need not have a multiplicative identity. It has to be a commutative ring with identity.
Thanks let me read more on this...i am more inclined towards applied Maths...but i find pure Math quite interesting...let me read more on this..a different world altogether.
 
  • #26
chwala said:
Thanks let me read more on this...i am more inclined towards applied Maths...but i find pure Math quite interesting...let me read more on this..a different world altogether.
An example of a non-commutative ring with identity is that of the nxn matrices over the Reals ( using entries on a field to simplify). They're not an integral domain.
 
  • Like
Likes chwala
  • #27
Imagine the group of rotations. Then the trivial rotation is by 0 degrees. What happens if you do four rotations by $$ \pi/2=90^0$$ degrees? Or 6 rotations , each by $$ 2pi/6=60^0$$ degrees?
 
  • #28
WWGD said:
Imagine the group of rotations. Then the trivial rotation is by 0 degrees. What happens if you do four rotations by $$ \pi/2=90^0$$ degrees? Or 6 rotations , each by $$ 2pi/6=60^0$$ degrees?
Hey @WWGD are we looking at cyclic groups or what? Just mention the area then i will check this up...
 
  • #29
chwala said:
##f(1)=0## , ##f(w)=1##, ##f(w^2)=2##, ##f(w^3)=3## thus is an isomorphism.
Also,
##f(w^3⋅w^2)=f(w)=1=[3]+[2]=f(w^3)+f(w^2)##... just sharing in case of any feedback...meanwhile i will continue studying on this...really interesting area...
You're right!
chwala said:
if we pick ##[a_0]##=##9## and ##[a_2]##=##2##, then ##[a_0]⋅[a_2]=9⋅2=0 mod 9## therefore ##9## and ##2## are zero divisors.
Good try! But modulo 9, ##[9]=[0]## is the zero element so these are not examples of zero divisors. Try again!
 
  • Like
Likes chwala
  • #30
chwala said:
Hey @WWGD are we looking at cyclic groups or what? Just mention the area then i will check this up...
Although I understand why you react this way, rotations in 2D do happen to be cyclic groups.
 
  • #31
chwala said:
I think text has mistake on highlighted part, it ought to be,
##[272][x]=[1]## then as they say using trial and error method .

...unless they applied mod 9 on both sides of equation to then end up with the equation##[2][x]=[1]## ...if that is the case then the equation would hold...
Your unless statement is right on the mark. The idea is that modulo 9 any representative of one of the equivalence classes ##[0]## up to ##[8]## is the same element. So ##[272]=[2]=[11]=[-7]=...##. Writing ##[272]x=[901]## is therefore equivalent to ##[2]x=[1]## since ##272=2## and ##901=1## modulo 9.
 
  • Like
Likes chwala
  • #32
chwala said:
Hey @WWGD are we looking at cyclic groups or what? Just mention the area then i will check this up...
Actually, no, these are cyclic subgroups of the group of all rotations. This group of all rotations is uncountable and uncountable groups cannot be cyclic.
 
  • #33
Maarten Havinga said:
Although I understand why you react this way, rotations in 2D do happen to be cyclic groups.
Not sure what you mean. Say you have a circle in the plane. Then you can rotate it by any of the uncountable many amounts in $$[0, 2\pi]$$. This is an uncountable set and thus the group cannot be cyclic.
 
  • #34
Maarten Havinga said:
You're right!

Good try! But modulo 9, ##[9]=[0]## is the zero element so these are not examples of zero divisors. Try again!

Maarten Havinga said:
You're right!

Good try! But modulo 9, ##[9]=[0]## is the zero element so these are not examples of zero divisors. Try again!

Ok, i see your point we cannot pick any item in ##\left [a_0\right]##, in that case we ought to have;

##[6]⋅[3]= 0 mod 9##
##[3]⋅[6]= 0 mod 9##
##[6]⋅[6]= 0 mod 9##

I can also see that,
##[2]⋅[5]= 1 mod 9## implying that ##[2]## is an inverse of ##[5]##, same to ##7## and ##4##...
 
  • Like
Likes Maarten Havinga
  • #35
WWGD said:
Not sure what you mean. Say you have a circle in the plane. Then you can rotate it by any of the uncountable many amounts in $$[0, 2\pi]$$. This is an uncountable set and thus the group cannot be cyclic.
That's a matter of definition IMO. But you're technically right.
If we include exponentials in generated groups ofgenerator sets and allow limits of fractional exponentials if they're in the group, your circle is generated by a single rotation.
 
  • #36
WWGD said:
Actually, no, these are cyclic subgroups of the group of all rotations. This group of all rotations is uncountable and uncountable groups cannot be cyclic.
Let me check on this...
 
  • Like
Likes WWGD
  • #37
chwala said:
Let me check on this...
And rotation group is a nice example of infinite groups having finite subgroups and having " torsion": Nonzero elements A with ## A^n =0##, which seems counterintuitive. Notice the ring of countable integers being ( very) finitely generated by $$\{1,-1\}$$
 
  • #38
chwala said:
⋅⋅Ok, i see your point we cannot pick any item in ##\left [a_0\right]##, in that case we ought to have;

##[6]⋅[3]= 0 mod 9##
##[3]⋅[6]= 0 mod 9##
##[6]⋅[6]= 0 mod 9##

I can also see that,
##[2]⋅[5]= 1 mod 9## implying that ##[2]## is an inverse of ##[5]##, same to ##7## and ##4##...
Your idea is correct, but your notation is incorrect.

You can state that in ##\mathbb{Z_9}## , the Ring of Integers Modulo 9: ##~ [6]⋅[3]=[18]=[0]## . This is written in terms of the residue classes mod 9., which are the actual elements of the ring.
Added in Edit:​
I should have also explicitly enumerated the elements (members) of this ring.
They are: [0], [1], [2], [3], [4], [5], [6], [7], [8] .
Thus ##\displaystyle \mathbb{Z_9}=\left\{[0],\,[1],\,[2],\,[3],\,[4],\,[5],\,[6],\,[7],\,[8]\right\}## .
end of Edit.​

Or as a congruence, you can state that ##~ 6⋅3\equiv 0 \mod 9## .

Or with modular arithmetic: ##~ 6⋅3=0 ## modulo ##9## .

Using the mod operation (a function) you could write: ##~~ (6⋅3) \!\!\!\mod9=0##.

For LaTeX: when writing mod, precede it with a back-slash as in \mod .

##2⋅5=1\mod9## gives ##2⋅5=1\mod9##

##2⋅5=1mod9## gives ##2⋅5=1mod9##
 
Last edited:
  • Like
Likes chwala
  • #39
WWGD said:
And rotation group is a nice example of infinite groups having finite subgroups and having " torsion": Nonzero elements A with ## A^n =0##, which seems counterintuitive. Notice the ring of countable integers being ( very) finitely generated by $$\{1,-1\}$$
I am familiarising with literature to respond amicably to the question, i would like clarification on the highlighted and i also hope that i am looking at the 'correct' literature;

Link
http://campbell.mcs.st-and.ac.uk/~john/MT4521/Lectures/L3.html
1651788147349.png
Now on the complex number ##e^{iθ}## this to my understanding is another representation of ##cos θ + i sin θ##. They basically used the conversion from the cartesian coordinates to polar form. We know that ##e^{iθ}=cos θ + i sin θ##. (Euler's equation)
Now on the second part where they indicate that the rotation in a unit circle has determinant of ##1##...this is dependant (in my thinking) on the direction of rotation;
if the direction is say ##90^0## anticlockwise then our matrix of rotation would be;

##\begin{pmatrix}
1& 0\\
0 &1\end {pmatrix}##

if the rotation is say ##270^0## anticlockwise then our rotation matrix would be;
##\begin{pmatrix}
1& 0\\
0 &-1\end {pmatrix}##
giving us determinant values of ##1## and ##-1## respectively. I hope i am getting this right.
 
Last edited:
  • #40
To me, typical examples of zero divisors occur in product rings, like ZxZ, where (1,0) x (0,1) = (0,0).

Note also that although in Z/6Z, we have 2.3 = 6 = 0, in fact Z/6Z ≈ Z/2Z x Z/3Z, via the map sending 1 to (1,1), and that 2 and 3 in Z/6Z correspond under this isomorphism to (0,2) and (1,0).
 
  • Like
Likes chwala and Maarten Havinga
  • #41
mathwonk said:
To me, typical examples of zero divisors occur in product rings, like ZxZ, where (1,0) x (0,1) = (0,0).

Note also that although in Z/6Z, we have 2.3 = 6 = 0, in fact Z/6Z ≈ Z/2Z x Z/3Z, via the map sending 1 to (1,1), and that 2 and 3 in Z/6Z correspond under this isomorphism to (0,2) and (1,0).
Nice to read this...i think i will try and go through the whole link then get more insight so as to deal with post ##27##.
 
  • #42
The insight for me here comes from geometry. If a space S is composed of two pieces, X and Y, then in the ring of functions on S, two functions f and g, such that f vanishes on X, and g vanishes on Y, will have a product that vanishes on all of S. The connection with the previous remark is that this ring of functions on S, is a subring of the product of the ring of functions on X and the ring of functions on Y. Namely a function on S is identified with a pair of functions (f,g), where f is a function on X, g is a function on Y, and f and g agree on the intersection of X and Y. So in algebraic geometry, an algebraic set which is "irreducible", i.e. consists of only one piece, like the x axis, has a ring of functions with no zero divisors, namely just polynomials in X. But a space composed of more than one piece, like the union of the x and y axes, has a ring of functions which does have zero divisors, namely the polynomials in both X and Y, but where the product XY, and any monomial containing XY, is set equal to zero.
 
  • #43
I guess it is even simpler when viewed algebraically, as quotient rings. I.e. in a quotient ring, something is set equal to zero, and it just depends on whether or not the thing you set equal to zero is or is not a prime. The ring of functions on the x-axis in the plane, can be viewed as the polynomial ring in X and Y where Y is set equal to zero, and Y is prime. The ring of functions on the union of x and y axes, is the polynomial ring in X and Y, but with the non prime product XY set equal to zero. The ring Z/6Z is the ring Z but with the non prime product 6 = 2.3 set equal to zero, while Z/7Z is Z with the prime 7 set equal to zero. When a product AB is set equal to zero, of course the elements A and B become zero divisors in the quotient ring.
 
  • #44
chwala said:
If i understand your question we are looking for ##xy≡0 mod 9## with the condition that ##x≠0 mod 9##and ##y≠0 mod 9## .
Notice that if you use a back-slash ( \ ) with 'mod', the above sentence is rendered as follows:

If I understand your question we are looking for ##xy=0\mod 9## with the condition that ##x≠0\mod 9## and ##y\ne0 \mod 9## .

Now onto my primary reasons for making this reply ...
Now we have,
##[a_0]##=##\{\ldots, -9,0,9,18,27 \ldots\}##
##[a_1]##=##\{\ldots, -8,1,10,19,28 \ldots\}##
if we pick ##[a_0]##=##9## and ##[a_1]##=##1##, then ##[a_0]⋅[a_1]=9⋅1=0 mod 9##

just a minute i check ##1## cannot be a zero divisor in any ring!

Second attempt.

##[a_0]##=##\{\ldots, -9,0,9,18,27 \ldots\}##
##[a_2]##=##\{\ldots, -7,2,11,20,29 \ldots\}##
if we pick ##[a_0]##=##9## and ##[a_2]##=##2##, then ##[a_0]⋅[a_2]=9⋅2=0 mod 9## therefore ##9## and ##2## are zero divisors.
It is improper to state things such as ##[a_0]##=##9## , ##[a_2]##=##2## , etc.
Presumably, by what you have stated early in the quoted post (Post #17), ##a_0## is some integer multiple of ##9## .
Similarly ##a_2## is one of the integers in the set ##\{\dots\, -7,\,2,\,11,\,20,\, \dots \}## . In fact you can say that ##a_2 \in[2]## meaning that
##a_2=9k+2## for some integer, ##k## .

You can pick ##a_0## to be ##9## . That makes ##[a_0]=[9]## . This refers to a set, not an individual integer.

That leads me to mention another misconception you seem to have. There is nothing special about ##a_0,\,a_1,\,a_2,\,a_3,\ ## etc. That is not any sort of general or widely accepted notation. The author of one of the attachments in Post #2, was simply picking a member from one of the residue classes, and using an index (in a subscript) to indicate from which class the pick was made. The point being made was that any particular class can be labeled using any of its members.

One last caution:
Be careful when referring to the ##1## or the ##0## of a ring. Those are, generically speaking, the multiplicative identity and the additive identity, respectively.

For the ring ##\mathbb{Z}_9## , the "1" is ##[1]##, This is not the integer ##1##.

Similarly, the zero of this ring is ##[0]##. This is not the integer ##0##.
 
  • Informative
Likes chwala
  • #45
SammyS said:
Notice that if you use a back-slash ( \ ) with 'mod', the above sentence is rendered as follows:

If I understand your question we are looking for ##xy=0\mod 9## with the condition that ##x≠0\mod 9## and ##y\ne0 \mod 9## .

Now onto my primary reasons for making this reply ...

It is improper to state things such as ##[a_0]##=##9## , ##[a_2]##=##2## , etc.
Presumably, by what you have stated early in the quoted post (Post #17), ##a_0## is some integer multiple of ##9## .
Similarly ##a_2## is one of the integers in the set ##\{\dots\, -7,\,2,\,11,\,20,\, \dots \}## . In fact you can say that ##a_2 \in[2]## meaning that
##a_2=9k+2## for some integer, ##k## .

You can pick ##a_0## to be ##9## . That makes ##[a_0]=[9]## . This refers to a set, not an individual integer.

That leads me to mention another misconception you seem to have. There is nothing special about ##a_0,\,a_1,\,a_2,\,a_3,\ ## etc. That is not any sort of general or widely accepted notation. The author of one of the attachments in Post #2, was simply picking a member from one of the residue classes, and using an index (in a subscript) to indicate from which class the pick was made. The point being made was that any particular class can be labeled using any of its members.

One last caution:
Be careful when referring to the ##1## or the ##0## of a ring. Those are, generically speaking, the multiplicative identity and the additive identity, respectively.

For the ring ##\mathbb{Z}_9## , the "1" is ##[1]##, This is not the integer ##1##.

Similarly, the zero of this ring is ##[0]##. This is not the integer ##0##.
Thanks @SammyS noted...
 
  • #46
SammyS said:
Notice that if you use a back-slash ( \ ) with 'mod', the above sentence is rendered as follows:

If I understand your question we are looking for ##xy=0\mod 9## with the condition that ##x≠0\mod 9## and ##y\ne0 \mod 9## .

Now onto my primary reasons for making this reply ...

It is improper to state things such as ##[a_0]##=##9## , ##[a_2]##=##2## , etc.
Presumably, by what you have stated early in the quoted post (Post #17), ##a_0## is some integer multiple of ##9## .
Similarly ##a_2## is one of the integers in the set ##\{\dots\, -7,\,2,\,11,\,20,\, \dots \}## . In fact you can say that ##a_2 \in[2]## meaning that
##a_2=9k+2## for some integer, ##k## .

You can pick ##a_0## to be ##9## . That makes ##[a_0]=[9]## . This refers to a set, not an individual integer.

That leads me to mention another misconception you seem to have. There is nothing special about ##a_0,\,a_1,\,a_2,\,a_3,\ ## etc. That is not any sort of general or widely accepted notation. The author of one of the attachments in Post #2, was simply picking a member from one of the residue classes, and using an index (in a subscript) to indicate from which class the pick was made. The point being made was that any particular class can be labeled using any of its members.

One last caution:
Be careful when referring to the ##1## or the ##0## of a ring. Those are, generically speaking, the multiplicative identity and the additive identity, respectively.

For the ring ##\mathbb{Z}_9## , the "1" is ##[1]##, This is not the integer ##1##.

Similarly, the zero of this ring is ##[0]##. This is not the integer ##0##.

This part is getting clear to me, in general,
if ##a=b\mod n## then it follows that ##a=b+kn## for some ##k∈ \mathbb{Z}##
For example, we know that
##1≡5\mod 2## then using ##1=5+2k## then the other equivalent values would be given as follows;
##5\mod 2≡7## when ##k=1##.
##5\mod 2≡9## when ##k=2##.
##5\mod 2≡11## when ##k=3##...
 
  • #47
chwala said:
This part is getting clear to me, in general,
if ##a=b\mod n## then it follows that ##a=b+kn## for some ##k∈ \mathbb{Z}##
For example, we know that
##1≡5\mod 2## then using ##1=5+2k## then the other equivalent values would be given as follows;
Technically , for the above ##k=-2##, although that's fine.
Also, usually the mod 2 is enclosed in parentheses as in: ##\quad 1≡5\ \ (\mod 2)##

##5\mod 2≡7## when ##k=1##.
##5\mod 2≡9## when ##k=2##.
##5\mod 2≡11## when ##k=3##...
As mathematical function, ##5\mod2## gives the remainder for 5 divided by 2, in the sense of Euclidean Division. In other words, ##5\mod2=1## because ##5=2\cdot2+1## , 2 being the quotient, 1 being the remainder. A rather poor example.

Better: ##7\mod2=1## because ##7=2\cdot3+1## , 3 being the quotient, 1 being the remainder.

Now, if you want to write any of these as congruence mod 2 , then the ##\mod2## usually appears in parentheses at the tail end of the statement.

##5\equiv7\ \ (\mod 2 \ )## means ##7=5+2k\text{, where }k=1## .

A bit cleaner way to consider such a congruence is to see that the following is true.

##5\equiv7\ \ (\mod 2 \ )## means ##7-5=2k\ ## for some integer, ##k##.
 
  • Like
Likes chwala
  • #48
SammyS said:
Technically , for the above ##k=-2##, although that's fine.
Also, usually the mod 2 is enclosed in parentheses as in: ##\quad 1≡5\ \ (\mod 2)##As mathematical function, ##5\mod2## gives the remainder for 5 divided by 2, in the sense of Euclidean Division. In other words, ##5\mod2=1## because ##5=2\cdot2+1## , 2 being the quotient, 1 being the remainder. A rather poor example.

Better: ##7\mod2=1## because ##7=2\cdot3+1## , 3 being the quotient, 1 being the remainder.

Now, if you want to write any of these as congruence mod 2 , then the ##\mod2## usually appears in parentheses at the tail end of the statement.

##5\equiv7\ \ (\mod 2 \ )## means ##7=5+2k\text{, where }k=1## .

A bit cleaner way to consider such a congruence is to see that the following is true.

##5\equiv7\ \ (\mod 2 \ )## means ##7-5=2k\ ## for some integer, ##k##.
This ought to be pretty obvious to me i.e The Euclidean algorithm...sometimes my thinking is not straight:smile:,
anyway,
i note that if;
##7=2\cdot3+1## then we may either have;
##7\mod2=1## or
##7\mod3=1##

In general,
##a=b⋅c+d## then it follows that;
##a\mod c=d##
##a\mod b=d## dependant on either ##b## or ##c## being the quotient and divisor respectively.
 
  • #49
chwala said:
This ought to be pretty obvious to me i.e. The Euclidean algorithm...sometimes my thinking is not straight :smile:,
anyway,
i note that if;
##7=2\cdot3+1## then we may either have;
##7\mod2=1## or
##7\mod3=1##
True, but in the present discussion, the context was ##\mod 2## .

Thus ##2## is the divisor, ##3## is the quotient, and the remainder is ##1## .
 
  • Like
Likes chwala
  • #50
mathwonk said:
I guess it is even simpler when viewed algebraically, as quotient rings. I.e. in a quotient ring, something is set equal to zero, and it just depends on whether or not the thing you set equal to zero is or is not a prime. The ring of functions on the x-axis in the plane, can be viewed as the polynomial ring in X and Y where Y is set equal to zero, and Y is prime. The ring of functions on the union of x and y axes, is the polynomial ring in X and Y, but with the non prime product XY set equal to zero. The ring Z/6Z is the ring Z but with the non prime product 6 = 2.3 set equal to zero, while Z/7Z is Z with the prime 7 set equal to zero. When a product AB is set equal to zero, of course the elements A and B become zero divisors in the quotient ring.
Hey, just confirm that i am getting you right, for Z/7Z we do not have zero divisors! For Z/6Z yes we do have zero divisors.

I can see that under Z/7Z; we have inverses that are commutative under multiplication i.e

##2⋅4=1##
##3⋅5=1##
##1⋅1=1##
##6⋅6=1## only
 
Back
Top