Proving "[a]_n ∩ [b]_n is Empty or Equals [b]_n

  • Thread starter Thread starter kathrynag
  • Start date Start date
  • Tags Tags
    Integer Proof
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
5 replies · 2K views
kathrynag
Messages
595
Reaction score
0

Homework Statement


Prove that either [tex][a]_{n}[/tex][tex]\cap[/tex][tex]<b>_{n}</b>[/tex]=empty set or [tex][a]_{n}[/tex]=[tex]<b>_{n}</b>[/tex].

Homework Equations


The Attempt at a Solution


I want to assume there is an element x in [tex][a]_{n}[/tex][tex]\cap[/tex][tex]<b>_{n}</b>[/tex] and show this implies [tex][a]_{n}[/tex]=[tex]<b>_{n}</b>[/tex].
This tells me x is in [tex][a]_{n}[/tex] and [tex]<b>_{n}</b>[/tex].
That's where I get stuck.
 
Last edited:
Physics news on Phys.org
sorry, I meant to show this implies [a]=.
 
If x=a mod n then n|x-a. x=b mod n means n|x-b.

If x|x-a and n|x-b... what can you say about a-b?
 
x-a=x-b
x-x=a-b
0=a-b
b=a
 
Ok then I'm not really sure where to go with a-b then.