History of tag 047M
Go back to the tag's page.
type |
time |
link |
changed the proof
|
2022-01-23 |
9cee969 |
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.
|
changed the statement
|
2010-05-20 |
906feb1 |
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...
|
assigned tag 047M
|
2010-02-20 |
677b58a
|
Tags: Added new tags
|
changed the proof
|
2010-02-15 |
e51788a |
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.
|
created statement with label lemma-group-scheme-field-geometrically-irreducible in groupoids.tex
|
2010-02-14 |
785bb40 |
Groupoids: Irreducible components of group schemes over fields
|