Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 031C

Go back to the tag's page.

type time link
changed the statement 2015-08-05 786d6ff
Split section on completion into two

One for general rings and one for Noetherian rings

Also upgraded lemmas
-- lemma-hathat-finitely-generated
-- lemma-completion-Noetherian
in order to simplify references later...
changed the statement and the proof 2010-12-02 65357e3
Fix completion

	The completion of any module with respect of any finitely
	generated ideal is complete! Somehow I knew this (maybe I've
	even used it in papers), but it escaped me while I was writing
	the algebra section on completion. Now it is finally there!
assigned tag 031C 2009-08-21 15d48db
Added new tags

	modified:   tags/tags
changed the proof 2009-08-17 946301b
More on comlpetion and towards Nagata rings are universally Japanese

	modified:   algebra.tex
created statement with label lemma-completion-complete in algebra.tex 2009-08-17 54b3586
More stuff in algebra.tex:

	Integral closure is transitive
	Surjectivity of completion of surjective maps?
	Definition of I-adically complete modules
	Criterion as to when completion is complete
	Completion complete in Noetherian case
	Finiteness criterion (still not done)
	Residue field extension of map dvrs bounded
	Complete local ring with finitely generated maximal ideal is
		Noetherian
	Lemmas on Japanese property
	Starting to prove Tate's theorem on Japaneseness of complete
		rings

	modified:   algebra.tex