G-torsore
Da Wikipedia, l'enciclopedia libera.
In breve un G-torsore è un oggetto X in una categoria C su cui agisce un oggetto gruppo G, appartenente alla stessa categoria C, in modo semplicemente transitivo. Se ad esempio C è la categoria degli insiemi allora X è un qualunque insieme e G è un gruppo. Se invece C è la categoria degli schemi definiti sopra Spec K (ove K è un campo) allora X è un K-schema e G un K schema in gruppi. La definizione può essere generalizzata.
|
|