Author Archives: limsup

Commutative Algebra 64

Segre Embedding Throughout this article, k is a fixed algebraically closed field. We wish to construct the product in the category of quasi-projective varieties. For our first example, let be the projective variety defined by the homogeneous equation . We define … Continue reading

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

Commutative Algebra 63

Serre’s Criterion for Normality Throughout this article, fix an algebraically closed field k. In this section, A denotes a noetherian domain. We will describe Serre’s criterion, which is a necessary and sufficient condtion for A to be normal. In the … Continue reading

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

Commutative Algebra 62

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

Commutative Algebra 61

In this article, we will consider algebraic geometry in the projective space. Throughout this article, k denotes an algebraically closed field. Projective Space Definition. Let . On the set , we consider the equivalence relation: The projective n-space is the set … Continue reading

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

Commutative Algebra 60

Primary Decomposition of Ideals Definition. Let be a proper ideal. A primary decomposition of is its primary decomposition as an A-submodule of A: where each is -primary for some prime , i.e. . Here is a quick way to determine if … Continue reading

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

Commutative Algebra 59

Prime Composition Series Throughout this article, A is a noetherian ring and all A-modules are finitely generated. Recall (proposition 1 here) that if M is a noetherian and artinian module, we can find a sequence of submodules whose consecutive factors … Continue reading

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

Commutative Algebra 58

We have already seen two forms of unique factorization. In a UFD, every non-zero element is a unique product of irreducible (also prime) elements. In a Dedekind domain, every non-zero ideal is a unique product of maximal ideals. Here, we … Continue reading

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