5: Difference between revisions

From Number
Line 23: Line 23:
|-
|-
| [[satisfies property::regular prime]] || second regular prime (2 is neither regular nor irregular) || {{#lst:regular prime|list}} ||  
| [[satisfies property::regular prime]] || second regular prime (2 is neither regular nor irregular) || {{#lst:regular prime|list}} ||  
|}
==Structure of integers mod 5==
===Discrete logarithm===
{{Fermat prime discrete log facts to check against}}
2 is a [[primitive root]] mod 5, so we can take it as the base of the discrete logarithm. We thus get an explicit bijection from the additive group of integers mod 4 to the multiplicative group of nonzero congruence classes mod 5, given by <math>m \mapsto 2^m</math>. The inverse of that mapping is the discrete logarithm, i.e., the discrete logarithm of <math>n</math> is <math>m</math> means <math>n \equiv 2^m \pmod 5</math>:
{| class="sortable" border="1"
! Congruence class mod 5 (written as smallest positive integer) !! Congruence class mod 5 (written as smallest magnitude integer) !! Discrete logarithm mod 4 !! Is it a [[primitive root]] mod 5 (if and only if the discrete log is relatively prime to 4)? !! Is it s quadratic residue or nonresidue mod 5 (residue if discrete log is even, nonresidue if odd)
|-
| 1 || 1 || 0 || No || [[quadratic residue]]
|-
| 2 || 2 || 1 || Yes || [[quadratic nonresidue]]
|-
| 3 || -2 || 3 || Yes || [[quadratic nonresidue]]
|-
| 4 || -1 || 2 || No || [[quadratic residue]]
|}
|}

Revision as of 22:24, 2 January 2012

This article is about a particular natural number.|View all articles on particular natural numbers

Summary

Factorization

The number 5 is a prime number.

Properties and families

Property or family Parameter values First few numbers Proof of satisfaction/membership/containment
prime number it is the third prime number 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, [SHOW MORE]View list on OEIS divide and check
Fermat number , i.e., 3, 5, 17, 257, 65537, 4294967297 View list on OEIS plug and check
Fermat prime (Fermat number that is also a prime number) combine above
safe prime (prime of the form , prime) first safe prime 5, 7, 11, 23, 47, 59, 83, 107, 167, [SHOW MORE]View list on OEIS , 2 is prime
Sophie Germain prime (prime such that is prime third Sophie Germain prime 2, 3, 5, 11, 23, 29, 41, 53, 83, 89, [SHOW MORE]View list on OEIS , 11 is prime
regular prime second regular prime (2 is neither regular nor irregular) 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 43, 47, 53, 61, [SHOW MORE]View list on OEIS

Structure of integers mod 5

Discrete logarithm

Template:Fermat prime discrete log facts to check against

2 is a primitive root mod 5, so we can take it as the base of the discrete logarithm. We thus get an explicit bijection from the additive group of integers mod 4 to the multiplicative group of nonzero congruence classes mod 5, given by . The inverse of that mapping is the discrete logarithm, i.e., the discrete logarithm of is means :

Congruence class mod 5 (written as smallest positive integer) Congruence class mod 5 (written as smallest magnitude integer) Discrete logarithm mod 4 Is it a primitive root mod 5 (if and only if the discrete log is relatively prime to 4)? Is it s quadratic residue or nonresidue mod 5 (residue if discrete log is even, nonresidue if odd)
1 1 0 No quadratic residue
2 2 1 Yes quadratic nonresidue
3 -2 3 Yes quadratic nonresidue
4 -1 2 No quadratic residue