I Multiplication and addition definition of congruence classes

AI Thread Summary
The discussion centers on the definitions of addition and multiplication for congruence classes, which some participants view as arbitrary or a misuse of notation. The definitions are justified as they simplify solving modular equations and are standard in mathematics. The operations are derived from integer arithmetic, ensuring that adding or multiplying representatives of equivalence classes yields results consistent within those classes. Notational overloading is acknowledged, where the same symbol represents different operations based on context. Overall, these definitions are essential for applications in number theory, finite fields, and cryptography.
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
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
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...
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...
Back
Top