## Algebraic Number Theory Summary## Monday - Friday, June 29 - July 3, 2009The purpose of the Algebraic Number Theory Working Group is to expose secondary teachers to higher level mathematics topics. During the first hour, the Number Theory Working Group participants attend a lecture together with the Undergraduate Faculty Staff and other participants from the Undergraduate Program. The second hour of the Number Theory Working Group is spent debriefing, discussing, and problem solving with Brian Hopkins facilitating the discussion. The first lecture provided the participants with an overview of the major encompassing topics that would be developed throughout the three weeks of PCMI and determining everyone's level of comfort with some ideas from algebraic structures that would be used in the remaining sessions. Some of the items presented in Week 1 were the following: - Which integers are sums/differences of two squares?
- How to factor integers in the commutative ring Z[i] = {a + bi | a, b are integers}?
- The idea of units, zero devisors, and prime vs. irreducible in the ring Z[i].
- The same ideas were then considered in the quotient ring Z/p, where p is a prime.
- If p is an odd prime, then p = x
^{2}+ y^{2}iff -1 is a square mod, iff p is equivalent to 1 mod 4, iff p can be factored in Z[i]. - When is a prime equal to x2 + 2y2 for some integers x and y?
- Is it true that p = x
^{2}+ dy^{2}iff d is a square mod p? - Let a, b be integers and let d = gcd(a,b) then there exists integers x and y such that d is a linear combination of a and b.
- Let a, b be integers and d = gcd(a,b), then {ax + by with integers x,y} = {dz such that z is an integer}
- If a and b are integers, gcd(a,b) =1, and a|bc then a|c.
- If p is an irreducible integer and p|ab then p|a or p|b.
- How to generalize the idea of gcd in the set of Gaussian integers Z[i], and in Z[√-d]?
- Let A, B be elements of Z[i] and let d be a common devisor of largest norm. Then there exists x, y elements of Z[i] such that d = Ax + By.
- Another way of dividing in Z[i]: If A,B are elements of the Gaussian integers, then there exists q, r such that A = qB + r with Norm(r) < Norm(B) non-zero and A/B = q + r/B
- Proof that R = {(a + b√-3)/2 such that a,b are integers and a = b(mod2)} is a ring.
- For A is an element of the ring R, N(A) = 1 iff A is a unit in R.
The Number Theory Working group decided to meet on Sunday, 05 Jul 2009 at 7:30 pm to work on Problem Set 1. PCMI@MathForum Home || IAS/PCMI Home
With program support provided by Math for America This material is based upon work supported by the National Science Foundation under Grant No. 0314808 and Grant No. ESI-0554309. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation. |