I Multiplication and addition definition of congruence classes

Leo Liu
Messages
353
Reaction score
156
The definitions of them seem like arbitrary choices or an abuse of notation. I wonder what the reasons behind the definitions are. Thanks.

f92ff892efb%2FScreen_Shot_2021-11-22_at_6.46.09_PM.png

PS. My instructor said such defs simplify the process of solving modular equations.
 
Last edited:
Mathematics news on Phys.org
It's quite standard. It just means, for example if you consider ##\mathbf{Z}_4##, that\begin{align*}
[3] + [2] &= [5] \\
&= [1]
\end{align*}et cetera.
 
Leo Liu said:
The definitions of them seem like arbitrary choices or an abuse of notation. I wonder what the reasons behind the definitions are. Thanks.

View attachment 292853
PS. My instructor said such defs simply the process of solving modular equations.
You can view this from various perspectives. The shortest notation is, that ##\pi\, : \,\mathbb{Z}\longrightarrow \mathbb{Z}/m\mathbb{Z}## is a homomorphism of rings. This requires ##\mathbb{Z}/m\mathbb{Z}## to be a ring, i.e. that we multiply and add the remainders by division with ##m## in such a way, that adding and multiplication commutes with taking the remainders. The numbers ##\{0,1,\ldots,m-1\}## build representatives of the equivalence classes achieved by taking the remainder by division with ##m##.

More prosaic, we could say that taking the remainders is important in number theory, where we often distinguish primes which have the remainder ##1## by division with ##4## and those with remainder ##3##.

Another important example is when ##m## itself is prime. Then those calculation rules define a finite number field, i.e. we can even divide by the equivalence classes ##[a]\neq [0].## In case ##m=2## we get thus the basic rules for computers, or less complicated: the light switch in your room. Finite fields in general (##m## prime) play an important role in cryptography, i.e. the science of codes.

If ##m## is not prime, say ##m=p\cdot q## then we cannot divide, i.e. we have still a ring but no field. This is because ##[p]\cdot [q]=[0]## although ##[p],[q]\neq [0].## An example for such a case is the analogous clock. The clock has ##m=12## for the big hand, and ##m=60## for the small hand.
 
Leo Liu said:
The definitions of them seem like arbitrary choices or an abuse of notation. I wonder what the reasons behind the definitions are. Thanks.

View attachment 292853
PS. My instructor said such defs simply the process of solving modular equations.
One is defining addition ("+") for congruence classes based on the pre-existing definition of addition ("+") for class members.

There is a bit of abuse of notation going on here. The same graphical symbol ("+") is used for both operations. This sort of notation abuse is sometimes called "overloading". We "overload" an operator with two possible meanings. Then we disambiguate between the meaning based on context. If one sees the "+" operator applied to two congruence classes, one knows that the class meaning is appropriate and the result will be a congruence class. If one sees the "+" operator applied to two class members, one knows that the member meaning is appropriate and the result will be a class member.

One can find this particular notational pattern used in some programming languages. For instance, in the Ada programming language, one can overload or even redefine infix operators such as "+" and "-".

Let us read through [a] + = [a+b] and try to express it in words:

"If we take the congruence class containing a and "add" it to the congruence class containing b, the result is defined to be the congruence class containing a+b"

One should normally take a few moments to verify that this definition actually works as a definition.

What if, instead of "a", we took a different exemplar, say "x", of the left hand congruence class.
What if, instead of "b", we took a different exemplar, say "y" of the right hand congruence class.
Would the sum of those two exemplars have been a member of the same congruence class.

In other words, if [a] = [x] and = [y] does it follow that [a+b] = [x+y]?

If so, the definition can work.
If not, the definition is broken.
 
Last edited:
jbriggs444 said:
There is a bit of abuse of notation going on here. The same graphical symbol ("+") is used for both operations.
It's also used for adding vectors, and matrices, and polynomials, ... and generally everything that looks like an addition in a set.

The addition and multiplication defined in the first post are derived from addition and multiplication in the integers. If we add an integer in the equivalence class [a] and an integer in the equivalence class [b] we get an integer in the equivalence class [a+b], so it makes sense to define an operation within the set of equivalence classes as well. Same for multiplication.

Edit: Fixed formatting
 
Last edited:
  • Like
Likes Leo Liu and jbriggs444
ergospherical said:
It's quite standard. It just means, for example if you consider ##\mathbf{Z}_4##, that\begin{align*}
[3] + [2] &= [5] \\
&= [1]
\end{align*}et cetera.
Hey, I didn't know you were still alive!
Thanks for the answer.
 
  • Haha
Likes ergospherical
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
I'm interested to know whether the equation $$1 = 2 - \frac{1}{2 - \frac{1}{2 - \cdots}}$$ is true or not. It can be shown easily that if the continued fraction converges, it cannot converge to anything else than 1. It seems that if the continued fraction converges, the convergence is very slow. The apparent slowness of the convergence makes it difficult to estimate the presence of true convergence numerically. At the moment I don't know whether this converges or not.
Back
Top