(January 14, 2009)
[01.1] Let D be an integer that is not the square of an integer. Prove that there is no D in Q.
Suppose that a, b were integers (b = 0) such that (a/b)2 = D. The fact/principle we i
(January 14, 2009)
[04.1] (Lagrange interpolation) Let 1 , . . . , n be distinct elements in a eld k, and let 1 , . . . , n be any
elements of k . Prove that there is a unique polynomial P (x) of degr
(January 14, 2009)
[03.1] Let R = Z/13 and S = Z/221. Show that the map
f :RS
dened by f (n) = 170 n is well-dened and is a ring homomorphism. (Observe that it does not map 1 R
to 1 S .)
The point is
(January 14, 2009)
[02.1] Let G, H be nite groups with relatively prime orders. Show that any group homomorphism
f : G H is necessarily trivial (that is, sends every element of G to the identity in H
(January 14, 2009)
[06.1] Given a 3-by-3 matrix M with integer entries, nd A, B integer 3-by-3 matrices with determinant
1 such that AM B is diagonal.
Lets give an algorithmic, rather than existential
(January 14, 2009)
[07.1] Classify the conjugacy classes in Sn (the symmetric group of bijections of cfw_1, . . . , n to itself).
Given g Sn , the cyclic subgroup g generated by g certainly acts on X
(January 14, 2009)
[11.1] Let be a primitive nth root of unity in a eld of characteristic 0. Let M be the n-by-n matrix with
ij th entry ij . Find the multiplicative inverse of M .
Some experimentatio
(January 14, 2009)
[08.1] Let R be a principal ideal domain. Let I be a non-zero prime ideal in R. Show that I is maximal.
Suppose that I were strictly contained in an ideal J . Let I = Rx and J = Ry
(January 14, 2009)
[12.1] Prove that a prime p such that p = 1 mod 3 factors properly as p = ab in Z[], where is a primitive
cube root of unity. (Hint: If p were prime in
Z
Z[], then Z[]/p would be a
(January 14, 2009)
[09.1] Show that a nite integral domain is necessarily a eld.
Let R be the integral domain. The integral domain property can be immediately paraphrased as that for
0 = x R the map y
(January 14, 2009)
[10.1] Prove that a nite division ring D (a not-necessarily commutative ring with 1 in which any non-zero
element has a multiplicative inverse) is commutative. (This is due to Wedde