Odd Composite Property 1: A Unique Factorization Rule

  • Context: MHB 
  • Thread starter Thread starter yourskadhir
  • Start date Start date
  • Tags Tags
    Composite Property
Click For Summary
SUMMARY

The discussion presents a unique factorization rule for any odd composite number 'N'. It establishes that for 'u' defined as (N-1)/2 and 'v' as u+1, the equation u²(mod p) = v²(mod p) holds true if and only if 'p' is a factor of 'N'. This is derived from the equivalence 0 ≡ 2u + 1(mod p), leading to the conclusion that if N = kp, then p divides N. The discussion also notes that p cannot be 2, emphasizing the specificity of odd composites in this context.

PREREQUISITES
  • Understanding of modular arithmetic
  • Familiarity with composite numbers and their properties
  • Knowledge of factorization concepts
  • Basic algebraic manipulation skills
NEXT STEPS
  • Study modular arithmetic in depth, focusing on equivalences and congruences
  • Explore properties of composite numbers and their factors
  • Learn about unique factorization domains in number theory
  • Investigate the implications of odd versus even primes in modular equations
USEFUL FOR

Mathematicians, number theorists, and students interested in advanced algebraic concepts and modular arithmetic applications.

yourskadhir
Messages
3
Reaction score
0
Hi,

For any odd composite 'N', let u = (N-1)/2, v = u+1, then u^2(mod p) = v^2(mod p) if and only if 'p' is a factor of 'N'.
 
Last edited by a moderator:
Mathematics news on Phys.org
Re: Odd composite property1

suppose that:

$u^2 \equiv v^2\ (\text{mod }p)$

since $v = u+1$ this is the same as saying:

$0 \equiv 2u + 1\ (\text{mod }p)$

that is:

$2u + 1 = kp$ for some integer $k$.

recalling that $u = \frac{N-1}{2}$, we see that:

$2u + 1 = N = kp$, in which case $p$ divides (is a factor of) $N$.

on the other hand, suppose that $N = kp$.

then:

$u^2 = \frac{N^2 - 2N + 1}{4}$ while:

$v^2 = \left(\frac{N+1}{2}\right)^2 = \frac{N^2 + 2N + 1}{4}$

so:

$v^2 - u^2 = \frac{4N}{4} = N = kp$ thus:

$u^2 \equiv v^2\ (\text{mod }p)$

(it might be instructive to see why p cannot be 2).
 

Similar threads

  • · Replies 29 ·
Replies
29
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
9
Views
2K
  • · Replies 28 ·
Replies
28
Views
5K
  • · Replies 12 ·
Replies
12
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K