History of tag 020J
Go back to the tag's page.
type |
time |
link |
changed the statement
|
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...
|
changed the statement
|
2009-08-29 |
05f3d25 |
Varieties: Geometrically reduced, connected, irreducible and integral schemes
modified: varieties.tex
|
assigned tag 020J
|
2009-05-16 |
fad2e12
|
Started tags infrastructure
new file: scripts/add_tags.py
modified: scripts/functions.py
new file: tags/initial_tags
new file: tags/tags
|
created statement with label lemma-separably-closed-irreducible in varieties.tex
|
2009-02-22 |
b8d3a6b |
Starting with varieties.tex
modified: algebra.tex
modified: properties.tex
modified: topology.tex
new file: varieties.tex
|