Unformatted text preview: p~oo p pd =-- -- I(N} In particular, for all sufficiently large p with p A - - 1 mod (N), we have (188.8.131.52) 1__ Rv ( _b)> 1__ R~,(-c). P P As this is incompatible with (184.108.40.206), (220.127.116.11) holds for such p, and in particular, (6.6.0) gives (18.104.22.168) 1Rp(-c)>__l Rp(-a). Substituting via (22.214.171.124), this gives (126.96.36.199) (_cA)__c_>__(_aA) a P P As c-aeZ, (-cA)=(-aA), hence --r --a (188.8.131.52) --=>_ , P P which contradicts (184.108.40.206), and concludes the proof that c-aCZ. By symmetry we conclude that c-bCZ....
View Full Document
This note was uploaded on 12/21/2011 for the course MAP 4341 taught by Professor Normankatz during the Fall '11 term at UNF.
- Fall '11