Homework

See below for the assignments and their due dates.

HW1 - review

Due: Friday, January 30th, at 10pm. See Blackboard for the gradescope link.

Book: 3.2, 3.4, 3.5, 3.6, 3.7.

Additional: calculate the following

  1. \(\mathbb Q[x]/(x^2 + 5)\),
  2. \(\mathbb Q[x]/(x^2 + 1)\),
  3. \(\mathbb Q[x]/(x^2 - 1)\).

Comments:

  • Book 3.5: very important.
  • Book 3.7: an example related to a question from after class Thursday. We distinguish formal polynomials over \(R\), which comprise \(R[x]\), and polynomials as functions from \(R\) to \(R\). Remember that the evaluation map allowed for evaluation at things outside the ring \(R\) – we will soon (Chap 5) have some good concrete examples to make this point.
  • Calculations: think about what makes (c) so different. Also, you can (should) use long division, which we will develop a bit more rigorously later on.

HW2 - review, starting fields

Due: Friday, February 6th, at 10pm. See Blackboard for the gradescope link.

Book: 3.41, 3.43, 3.51, 3.52, 3.53, 5.3, 5.6.

Additional:

  1. Recall \(\mathbb R[x]/(x^2 + 1) \cong \mathbb C\). Now calculate \(\mathbb C[x]/(x^2+1)\) (cf last homework (c)).

  2. Determine, with proof, which of the following ideals of \(\mathbb Z[i]\) are prime:

    1. \((2)\)
    2. \((3)\)
    3. \((1+i)\)
    4. \((10)\)
    5. \((2+i)\)
    6. \((5)\)
    7. \((3+i)\)

Comments:

  • Book 3.51: this ideal is usually written \((2,x)\)
  • Book 3.53: \(R^*\) is the set of \(r\) in \(R\) which have a multiplicative inverse, meaning that there is some \(s\) in \(R\) such that \(rs = 1\). It’s the largest subset of \(R\) which forms a group under multiplication.

HW3 - more on fields

Due: Friday, February 13th, at 10pm. See Blackboard for the gradescope link.

Book: 5.1, 5.7, 5.9, 5.10, 5.19, 5.20, 5.21, 5.24a,b

Additional:

  1. Observe that \[\mathbb F_p [x]/(x^2+1) \cong \mathbb Z[x]/(p,x^2+1) \cong \mathbb Z[i]/(p).\] With (a) in mind, use this to characterize the primes \(p\) in \(\mathbb Z\) which remain prime in \(\mathbb Z[i]\): these are precisely those primes congruent to \(3\) mod \(4\). You will need to use the fact that \(\mathbb F_p^*\) is cyclic. This is a small piece of “quadratic reciprocity”, which we may prove later.

  2. The ring \(\mathbb Z[\rho]\) where \[\rho = \frac{1 + \sqrt{-3}}{2}\] is a PID. Recall that \(\rho^3 = 1\) and \(\rho \neq 1\). Using an approach similar to (a), classify the primes \(p\) such that \(-3\) is a square mod \(p\). Hint: you’ll still want to use the the complex norm given by \(\alpha\bar\alpha\), which you will need to prove is an integer. This is the special case of quadratic reciprocity for \(-3\).

Comments:

  • Book 5.10: ignore the hint, there is an easier one-line approach.