The Stacks project

Remove (4)

Thanks to Zhouhang Mao
https://stacks.math.columbia.edu/tag/05P8#comment-7940

A bit more spelling out of the Fitting ideal stuff

Move material on fitting ideals ealier

fitting ideal ---> Fitting ideal

Thanks to Kiran Kedaya who writes

There appears to a global spelling issue in the Stacks Project: the
phrase "fitting ideal" appears in lowercase in a great many places, but
it should be "Fitting ideal" because "Fitting" is being used as the
surname of one Hans Fitting. (This is similar to confusion about
"Killing forms" in the theory of Lie algebras, which are named after one
Wilhelm Killing.)

A bit more precise version of stratification by rank

Weil restriction of closed subscheme along flat pure map

I propose to add a lemma which is a corollary to theorem tag=05PF
(currently thm 33.23.3) to the representability of the Weil restriction
of closed subschemes. This is important for applications to
representability of equalizers, kernels (etc.) like in SGA3, tome 2,
Exp. VIII, thm 6.4. (See also prop. B.3 in Abramovich, Romagny, "Moduli
of Galois p-covers in mixed characteristics".)

Whitespace changes

LaTeX: \Sch

	Introduced a new macro

	\def\Sch{\textit{Sch}}

	and replaced all the occurences of \textit{Sch} with \Sch.

Tags: added new tags

Two easy cases of flattening

	The case of a finitely presented sheaf over the base and the
	case where the base is the spectrum of an Artinian ring.