The Stacks project

Try to use L/K notation for field extensions

We could also try to consistenly use "field extension" and not just
"extension" and consistently use "ring extension", etc.

Groupoids on field

	We started adding some material on groupoid schemes (U, R, s, t,
	c) where U is the spectrum of a field. This is quite similar to
	the material on group schemes over a field, but a bit more
	techinical. The goal is to show that dim(R) = dim(G) for such a
	groupoid scheme provided that s and t are locally of finite
	type. Coming up...

Tags: Added new tags

Groupoids: Cartier's theorem

	Any group scheme of finite type over a characteristic zero field
	is reduced. We also added some general lemmas on group schemes.

Groupoids: Irreducible components of group schemes over fields