Fri Feb 23 and Mon Feb 26
Friday:
Spec of a ring, as a functor CommRingop -> Set.
Monday:
Ascending chains of ideals in a PID terminate.
We used that to finally give the first description of a finitely generated module over a PID.
CRT: Let R be a PID. The map R/< pa m > -> R/< pa > + R/< m >, where p is a prime not dividing m, is an isomorphism. Showing it was 1:1 used domain, but onto used PID.
Spec of a ring, as a functor CommRingop -> Set.
Monday:
Ascending chains of ideals in a PID terminate.
We used that to finally give the first description of a finitely generated module over a PID.
CRT: Let R be a PID. The map R/< pa m > -> R/< pa > + R/< m >, where p is a prime not dividing m, is an isomorphism. Showing it was 1:1 used domain, but onto used PID.
posted by Allen Knutson @ 2:42 PM
0 Comments:
Post a Comment
<< Home