Category Archives: Advanced Algebra

Commutative Algebra 24

Posted on April 11, 2020 by limsup

Quotient vs Localization Taking the quotient and localization are two sides of the same coin when we look at . Quotient removes the “small” prime ideals in – it only keeps the prime ideals containing . Localization removes the “large” … Continue reading →

Posted in Advanced Algebra | Tagged , , , , | 2 Comments

Commutative Algebra 23

Posted on April 10, 2020 by limsup

Localization and Spectrum Recall that the ideals of correspond to a subset of the ideals of A. If we restrict ourselves to prime ideals, we get the following nice bijection. Theorem 1. The above gives a bijection between Useful trick If … Continue reading →

Posted in Advanced Algebra | Tagged , , , , , , | 12 Comments

Commutative Algebra 22

Posted on April 9, 2020 by limsup

Localization Recall that given an integral domain, there is a canonical way to construct the “smallest field containing it”, its field of fractions. Here, we will generalize this construction to arbitrary rings. We let A be a fixed ring throughout. Definition. … Continue reading →

Posted in Advanced Algebra | Tagged , , , | Leave a comment

Commutative Algebra 21

Posted on April 8, 2020 by limsup

Exact Sequences When studying homomorphisms of modules over a fixed ring, we often encounter sequences like this: where each is a homomorphism of modules. This sequence may terminate (on either end) or it may continue indefinitely. Note on indices: usually … Continue reading →

Posted in Advanced Algebra | Tagged , , , , | Leave a comment

Commutative Algebra 20

Posted on April 7, 2020 by limsup

Yoneda Lemma For an object , define the covariant functor Proposition 1. Any morphism in gives us a natural transformation In summary, the natural transformation is obtained by right-composing with f. Proof Let be a morphism in . We need … Continue reading →

Posted in Advanced Algebra | Tagged , , , , , , | 4 Comments

Commutative Algebra 19

Posted on April 6, 2020 by limsup

Natural Transformations “I didn’t invent categories to study functors; I invented them to study natural transformations.” – Saunders Mac Lane, one of the founders of category theory A natural transformation is, loosely speaking, a homomorphism between functors. Its definition may … Continue reading →

Posted in Advanced Algebra | Tagged , , , , | Leave a comment

Commutative Algebra 18

Posted on April 5, 2020 by limsup

Basics of Category Theory As we proceed, we should cover some rudimentary category theory or many of the subsequent constructions would seem unmotivated. The essence of category is in studying algebraic objects and the homomorphisms between them. By now we have … Continue reading →

Posted in Advanced Algebra | Tagged , , , , , , , | 2 Comments

Commutative Algebra 17

Posted on April 4, 2020 by limsup

Field of Fractions Throughout this article, A denotes an integral domain (which may not be a UFD). Definition. The field of fractions of A is an embedding of A into a field K, such that every element of K can be … Continue reading →

Posted in Advanced Algebra | Tagged , , , , , , | 6 Comments

Commutative Algebra 16

Posted on April 3, 2020 by limsup

Gcd and Lcm We assume A is an integral domain throughout this article. If A is a UFD, we can define the gcd (greatest common divisor) and lcm (lowest common multiple) of two elements as follows. For , we can write the … Continue reading →

Posted in Advanced Algebra | Tagged , , , , , , , | Leave a comment

Commutative Algebra 15

Posted on April 2, 2020 by limsup

Unique Factorization Through this article and the next few ones, we will explore unique factorization in rings. The inspiration, of course, comes from ℤ. Here is an application of unique factorization. Warning: not all steps may make sense to the … Continue reading →

Posted in Advanced Algebra | Tagged , , , , , | Leave a comment