Misplaced Pages

Reduced residue system

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

This is an old revision of this page, as edited by Arya Golkari (talk | contribs) at 19:58, 21 June 2021 (Facts). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Revision as of 19:58, 21 June 2021 by Arya Golkari (talk | contribs) (Facts)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff) Set of residue classes modulo n, relatively prime to n

In mathematics, a subset R of the integers is called a reduced residue system modulo n if:

  1. gcd(r, n) = 1 for each r in R,
  2. R contains φ(n) elements,
  3. no two elements of R are congruent modulo n.

Here φ denotes Euler's totient function.

A reduced residue system modulo n can be formed from a complete residue system modulo n by removing all integers not relatively prime to n. For example, a complete residue system modulo 12 is {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11}. The so-called totatives 1, 5, 7 and 11 are the only integers in this set which are relatively prime to 12, and so the corresponding reduced residue system modulo 12 is {1, 5, 7, 11}. The cardinality of this set can be calculated with the totient function: φ(12) = 4. Some other reduced residue systems modulo 12 are:

  • {13,17,19,23}
  • {−11,−7,−5,−1}
  • {−7,−13,13,31}
  • {35,43,53,61}

Facts

  • If {r1, r2, ... , rφ(n)} is a reduced residue system modulo n with n > 2, then r i 0 mod n {\displaystyle \sum r_{i}\equiv 0\!\!\!\!\mod n} .
  • Every number in a reduced residue system modulo n is a generator for the additive group of integers modulo n.
  • if {r1, r2, ... , rφ(n)} is a reduced residue system modulo n, and a and b are integers such that gcd(a, m) = 1, then {ar1 + b, ar2 + b, ... , arφ(n) + b} is also a reduced residue system modulo m.

See also

Notes

  1. Long (1972, p. 85)
  2. Pettofrezzo & Byrkit (1970, p. 104)

References

External links

Categories: