This preview shows page 1. Sign up to view the full content.
Unformatted text preview: Staple ! Sets and Logic MHF32022787 ProjectX Prof. JLF King 11Jan2012 OYOP: Your 2 essay(s) must be typeset , and double or triple spaced. Use the Print/Revise cycle to produce good, well thought out, essays. Start each essay on a new sheet of paper. Do not restate the problem; just solve it. Due: By noon , on Friday, 09Dec2011. Please write DNE in a blank if the described object does not exist or if the indicated operation cannot be performed. X1: Your goal is to prove: Eighthroot thm: For each oddprime p , the con gruence x 8 p 16 admits a solution. : In your WU, use for 4 and for 8 , if needed. But use p or for congrmod p . i FTSOC, suppose you have a p with no solution to x 8 p 16. Prove that 2 NQR p and 1 QR p . Use LSThm to compute hh p ii 8 as a nonneg residue. ii Let r be a psqroot of 1. Use LST to prove that r QR p . But use a different part of LST to prove that r NQR p . Contradiction , QED....
View
Full
Document
 Fall '09
 LARSON

Click to edit the document details