Search results
Results from the WOW.Com Content Network
Congruence relation. In abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is compatible with the structure in the sense that algebraic operations done with equivalent elements will yield equivalent elements. [1]
The congruence relation is an equivalence relation. The equivalence class modulo m of an integer a is the set of all integers of the form a + k m, where k is any integer. It is called the congruence class or residue class of a modulo m, and may be denoted as (a mod m), or as a or [a] when the modulus m is known from the context.
The congruence relation, modulo m, partitions the set of integers into m congruence classes. Operations of addition and multiplication can be defined on these m objects in the following way: To either add or multiply two congruence classes, first pick a representative (in any way) from each class, then perform the usual operation for integers on the two representatives and finally take the ...
For example, in modular arithmetic, for every integer m greater than 1, the congruence modulo m is an equivalence relation on the integers, for which two integers a and b are equivalent—in this case, one says congruent—if m divides ; this is denoted ().
Important subgroups of the modular group Γ, called congruence subgroups, are given by imposing congruence relations on the associated matrices. There is a natural homomorphism SL(2, Z) → SL(2, Z/NZ) given by reducing the entries modulo N. This induces a homomorphism on the modular group PSL(2, Z) → PSL(2, Z/NZ).
In mathematics, a quotient algebra is the result of partitioning the elements of an algebraic structure using a congruence relation. Quotient algebras are also called factor algebras. Here, the congruence relation must be an equivalence relation that is additionally compatible with all the operations of the algebra, in the formal sense ...
A congruence relation is an equivalence relation whose domain is also the underlying set for an algebraic structure, and which respects the additional structure. In general, congruence relations play the role of kernels of homomorphisms, and the quotient of a structure by a congruence relation can be formed.
Lucas's theorem can be generalized to give an expression for the remainder when is divided by a prime power pk. However, the formulas become more complicated. If the modulo is the square of a prime p, the following congruence relation holds for all 0 ≤ s ≤ r ≤ p − 1, a ≥ 0, and b ≥ 0. where is the nth harmonic number.