Math 552, Spring 2026, Lev Borisov
Mondays, Thursdays 10:20 AM - 11:40 AM
Location: Hill 423
Text:
Thomas Hungerford "Algebra", ISBN 0-387-90518-9 or 3-540-90518-9
Office Hours: By appointment.
Other good times to talk are right before or right after the
class. It is also possible to ask questions by email, which will
be generally answered within 24 hours, often sooner. The more detailed your
email question is, the more detailed the reply message will be.
My email is borisov@rutgers.edu.
Final/midterm Examinations: There will not be any.
Homework: There will be an extensive homework requirement. An
average of five homework problems will be assigned after each class. I will collect
a week worth of homework each Thursday, starting from January 29. Collaboration on
homework assignemnts is allowed and strongly encouraged, but each person must write
up their solutions. Homework can be handwritten or typed up. If you can not make it
to class when homework is due, you can take photos of your homework and email me at
borisov@math.rutgers.edu. You can also submit homework by email if that is your
preference.
Weather/Covid rules: If in-person classes are canceled, we
will move online to our Canvas site.
Schedule of Lectures (updated periodically).
Please try to read the relevant textbook sections before the lecture.
January 22
Section 5.1
Homework: page 241; 6 (hint: use the fact that the polynomial ring
K[x_1,...,x_n] is a UFD), 8, 14, 17, 18.
January 26
Section 5.2
Homework: page 255; 2, 5, 7, 11, 15.
January 29
homework from the last two lectures is due
Section 5.3
Homework: page 254; 3(a), 5, 8, 20, 23.
February 2
Sections 5.4, 5.5
Homework: page 277; 6, 12; page 281; 3, 6, 8.
February 5
homework from the last two lectures is due
Sections 5.7, 5.8
Homework: page 296; 4, 8; page 300; 8, 9;
Problem: Calculate the n=10 cyclotomic
polynomial over Q.
February 9
Sections 5.9, 6.1
Homework: page 309; 1, 3, 4;
Problem: Suppose that an irreducible
cubic polynomial over Q has
three real roots. Prove that it is impossible to have a formula for these roots
involving repeated radicals, starting with rational numbers so that all
intermediate radicals are real numbers.
Problem: Suppose that a complex
number x is an algebraic integer (over Z) and is such that all of its
Galois conjugates have length 1. Prove that x is a root of unity.
February 12
homework from the last two lectures is due
Sections 8.1; Localization.
Homework: page 377; 1, 2, 3, 7;
Problem: Let A be a commutative ring and let S be a multiplicative system in A.
Prove that localization by S sends short exact sequences of A-modules to short exact
sequences of A_S modules.
February 16
Sections 8.2-8.3
Homework: page 382; 13; page 386; 9, 12, 15, 16.
February 19
homework from the last two lectures is due
Sections 8.3 - continued
Homework: page 382; 14, 15; page 386; 8, 13, 14.
February 23
Sections 8.4
Homework:
Problem (very simple). Let A be a local ring with maximum ideal m. Prove that if A is Noetherian, then m/m^2 has
finite dimension over A/m.
page 393: 3 (this uses Nakayama's Lemma), 6(a), 8, 9.
February 26
homework from the last two lectures is due
Sections 8.5
Homework: page 400; 2, 3, 4, 8, 9.
March 2
Sections 8.7
Homework: page 413; 1, 4, 6, 7, 8.
March 5
homework from the last two lectures is due
Sections 8.6
Homework: page 407; 1, 2, 9, 10.
March 9
Sections 9.1
Homework: page 423; 1(a,b), 2, 5, 6.
March 12
homework from the last two lectures is due
Sections 9.1-contuinued. Quaternions.
Homework: page 423; 3.
Problem: Consider the linear map over R that sends the quaternion a + b i + c i + d k to
a - b i - c i - d k. Verify that this is an anti-isomorphism of the ring of quaternions.
Problem: Let H_1 be the subset of quaternions of length 1. Verify that it forms a group under multiplication. Verify that this group is naturally isomorphic to SU(2) (2 x 2 complex unitary matrices of determinant 1).
Problem: Let H_1 be as above. Prove that it acts on the space R^3 which is the span of i, j, k by conjugation. Prove that this action gives a natural homomorphism of SU(2) to SO(3,R), with kernel \pm 1.
(Remark: this is not needed for the proof, but SU(2) is simply-connected, because it is a three-sphere, and this is the universal cover of SO(3,R)).
March 23
Sections 9.2
Homework: page 432; 7, 8, 9, 11.
March 26
homework from the last two lectures is due
Sections 9.3
Homework: page 442; 4, 11, 12.
Problem: Let Q be the field of rational numbers and let Q[C_n] be the group ring of the cyclic group of order n.
Prove that this group ring is isomorphic to the direct product of the cyclotomic fields Q(d-th roots of 1) over all
positive divisors d of n.
March 30
Sections 4.3-start; Clifford algebras
Homework: page 198; 5.
Problem: Let H be the group of order 2^(n+1) defined in class, generated by h_1,...,h_n and c, with relations h_i^2 = c, c^2 = id, h_i h_j = c h_j h_i, c h_i = h_i c.
Let H_1 be the subgroup of index two of H defined by the property that the number of occurrences of h_i is even. Prove that the center of H_1 has size 2 if n is even and size 4 if n is odd (this implies the statement about the structure of the even Clifford algebra that I made in class.)
Problem: Let V be a complex vector space of dimension n and let W = Sum_k \Wedge^k V be its exterior algebra. Consider the action on W of elements of V via wegdge product x -> w \wedge x,
and the action of contractions by elements of V^* on W. Prove that together they generate the action of the Clifford algebra CL_(2n)(C).
Problem: Let f:A -> B be a surjective morphism of left R-modules. Prove that if there exists a morphism of left modules g: B->A such that fg = id_B, then g is injective and there exists a left submodule C of A such that A is the direct sum of g(B) and C.
April 2
homework from the last two lectures is due
Sections 4.3
Homework: page 198; 6, 7, 8, 9.
April 6
Sections
Homework:
April 9
homework from the last two lectures is due
Sections
Homework:
April 13
Sections
Homework:
April 16
homework from the last two lectures is due
Sections
Homework:
April 20
Sections
Homework:
April 23
homework from the last two lectures is due
Sections
Homework:
April 27
Sections
Homework:
April 30
homework from the last two lectures is due
Sections
Homework:
May 4
Sections
Homework: