 , the set
, the set 
 under multiplication
modulo
 under multiplication
modulo  is a group.
 is a group.
 
 such that
such that 
 .
.
 and
 and  are integers and
 are integers and  is a prime,
then
 is a prime,
then 
 .  You may assume
that the binomial coefficient
.  You may assume
that the binomial coefficient
 
is an integer.
 is a solution to
 is a solution to 
 ,
then for all
,
then for all 
 ,
, 
 .
.
 .
.
 .
.
![$ f(x)=x^2+ax+b \in\mathbb{Z}[x]$](img896.png) be a quadratic 
polynomial with integer coefficients
and positive leading coefficients, e.g.,
 be a quadratic 
polynomial with integer coefficients
and positive leading coefficients, e.g., 
 .
Formulate a conjecture about when the set
.
Formulate a conjecture about when the set
 and $f(n)$ is prime
 and $f(n)$ is prime is infinite.  Give numerical evidence 
that supports your conjecture.
is infinite.  Give numerical evidence 
that supports your conjecture.
 , where the
, where the
 th set satisfies the
th set satisfies the  th condition:
 (1) nonnegative, (2) odd, (3) even, (4) prime.
th condition:
 (1) nonnegative, (2) odd, (3) even, (4) prime.
 ,
,  , and
, and  , and prove each of these rules using
  arithmetic modulo a suitable
, and prove each of these rules using
  arithmetic modulo a suitable  .
.
 as follows:
 as follows:  ,
,  , and
, and
 is obtained by writing the digits of
 is obtained by writing the digits of  immediately
followed by those of
 immediately
followed by those of  .  For example,
.  For example,  ,
,  ,
and
,
and 
 .
Determine the
.
Determine the  such that
 such that  a multiple of
 a multiple of  , as follows:
, as follows:
 such that
 such that  is divisible by
 is divisible by
 .
. 
 is divisible by
 is divisible by  if and only if
 if and only if
 .
.
 such that
 such that 
 .
.
 modulo
 modulo  ?
?
 be a prime.  Prove that
 be a prime.  Prove that 
 is a field.
 is a field.
 such that
 such that
 and
 and 
 .
.
 is composite then
 is composite then 
 
 is
 is 
 odd?
 odd?
 is multiplicative as follows.  Suppose
 is multiplicative as follows.  Suppose  are
positive integers and
 are
positive integers and 
 .  Show that 
the natural map
.  Show that 
the natural map 
 is
an injective homomorphism of rings, hence bijective by counting, then
look at unit groups.
 is
an injective homomorphism of rings, hence bijective by counting, then
look at unit groups.
 then
the natural map
 then
the natural map 
 is not an isomorphism.
 
is not an isomorphism.
 is a positive integer such that both
 is a positive integer such that both  and
 
and  are prime, then
 are prime, then  .
.
 be the 
Euler
 be the 
Euler  function.
 function.  
 such that
 such that 
 .
.
 and
 and  such that
 such that
     
 ?
?
      
 directly in terms
of the prime factorization of
 directly in terms
of the prime factorization of  .
.
 is a group
  homomorphism, then
 is a group
  homomorphism, then 
 is a subgroup of
 is a subgroup of  .
.
 is normal, i.e., that
if
 is normal, i.e., that
if  and
 and 
 , then
, then 
 .
.
 with binary operation
multiplication modulo
 with binary operation
multiplication modulo  a group?
 a group? 
 
 the fraction
 the fraction
  
 is in reduced form.
 is in reduced form.
 and
 and  are positive integers.
 are positive integers.  
 
 is replaced by an arbitrary prime
 is replaced by an arbitrary prime  ?
?
 is replaced by an arbitrary positive integer
 is replaced by an arbitrary positive integer  ?
?
 , show that there exists a positive
integer
, show that there exists a positive
integer  such that the polynomial
 such that the polynomial 
![$ x^2-1\in(\mathbb{Z}/n\mathbb{Z}{})[x]$](img929.png) has at least
has at least  roots.
 roots.
 for any
 for any  .
.
 is generated by
 is generated by  and
 and  .
.
 be an odd prime.
 be an odd prime.
 .
(Hint: Use that if
.
(Hint: Use that if  have orders
      have orders  , with
, with 
 , then
, then  has order
 has order  .)
.)
 , there is a primitive root modulo
, there is a primitive root modulo  .
.
 .
.
 , characterize the
 integers
, characterize the
 integers  such that there is a primitive root modulo
 such that there is a primitive root modulo  .
.
 .
.
 such that
 such that 
 and
 and
 
 such that
 
such that  is a primitive root modulo
 is a primitive root modulo  .
.
 such that the smallest
primitive root modulo
 such that the smallest
primitive root modulo  is
 is  .
.
William 2007-06-01