
Recent Posts
Archives
 March 2023
 January 2023
 May 2020
 April 2020
 March 2020
 June 2018
 July 2016
 June 2016
 May 2016
 March 2015
 February 2015
 January 2015
 December 2014
 December 2013
 November 2013
 July 2013
 June 2013
 May 2013
 March 2013
 February 2013
 January 2013
 December 2012
 November 2012
 October 2012
 September 2012
 August 2012
 April 2012
 March 2012
 February 2012
 January 2012
 December 2011
 November 2011
 October 2011
Categories
Meta
Pages
Monthly Archives: April 2020
Commutative Algebra 42
Noether Normalization Theorem Throughout this article, k is a field, not necessarily algebraically closed. Definition. Let A be a finitely generated kalgebra which is an integral domain. We say are algebraically independent over k if they are so as elements … Continue reading
Commutative Algebra 41
Basic Definitions The objective of this article is to establish the theory of transcendence bases for field extensions. Readers who are already familiar with this may skip the article. We will focus on field extensions here. Definition. Let be a … Continue reading
Posted in Advanced Algebra
Tagged algebraic extensions, fields, transcendence basis, transcendence degree
2 Comments
Commutative Algebra 40
More on Integrality Lemma 1. Let be an integral extension. If is an ideal and , the resulting injection is an integral extension. Proof Any element of can be written as , . Then x satisfies a monic polynomial relation: . … Continue reading
Posted in Advanced Algebra
Tagged closed maps, fibres, finite extensions, going up, integral extensions, krull dimension, localization
4 Comments
Commutative Algebra 39
Integrality Throughout this article, A is a subring of B; we will also call B a ring extension of A. Definition. An element is said to be integral over A if we can find (where ) such that in B. For example, is integral over since … Continue reading
Posted in Advanced Algebra
Tagged field of fractions, finite extensions, integral closure, integral extensions, normal domains, rings, UFDs
4 Comments
Commutative Algebra 38
Artinian Rings The main result we wish to prove is the following. Theorem. A ring A is artinian if and only if it is noetherian and , where denotes the Krull dimension. Note Recall that means all prime ideals of A … Continue reading
Commutative Algebra 37
Artinian Modules Instead of the ascending chain condition, we can take its reverse. Definition. Let M be an Amodule. Consider the set of submodules of M, ordered by inclusion, i.e. if and only if . We say M is artinian … Continue reading
Posted in Advanced Algebra
Tagged artinian, composition factors, composition series, length of module, noetherian, simple modules
Leave a comment
Commutative Algebra 36
In this article, we will study the topology of Spec A when A is noetherian. For starters, let us consider irreducible topological spaces in greater detail. Irreducible Spaces Recall that an irreducible topological space is a nonempty space X satisfying any of the … Continue reading
Commutative Algebra 35
Noetherian Modules Through this article, A is a fixed ring. For the first two sections, all modules are over A. Recall that a submodule of a finitely generated module is not finitely generated in general. This will not happen if we constrain … Continue reading
Posted in Advanced Algebra
Tagged flat modules, hilbert basis theorem, ideals, modules, noetherian, projective modules
Leave a comment
Commutative Algebra 34
Nakayama’s Lemma The following is a short statement which has farreaching applications. Since its main applications are for local rings, we will state the result in this context. Throughout this section, is a fixed local ring. Theorem (Nakayama’s Lemma). Let … Continue reading
Commutative Algebra 33
Snake Lemma Let us introduce a useful tool for computing kernels and cokernels in a complicated diagram of modules. Although it is only marginally useful for now, it will become a major tool in homological algebra. Snake Lemma. Suppose we … Continue reading