Gruppoidschema

Inom algebraisk geometri, en del av matematiken, är ett gruppoidschema ett par av scheman R , U {\displaystyle R,U} tillsammans med fem morfier s , t : R U , e : U R , m : R × U , s , t R R , i : R R {\displaystyle s,t:R\to U,e:U\to R,m:R\times _{U,s,t}R\to R,i:R\to R} så att s e , t e {\displaystyle s\circ e,t\circ e} är identitetsmorfierna, s m = s p 1 , t m = t p 2 {\displaystyle s\circ m=s\circ p_{1},t\circ m=t\circ p_{2}} och andra självklara krav som generaliserar axiomen av gruppverkan.[1] Et gruppoidschema skrivs ofta som R U {\displaystyle R\rightrightarrows U} .

Källor

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Groupoid scheme, 19 april 2015.
  • Behrend, Kai; Conrad, Brian; Edidin, Dan; Fulton, William; Fantechi, Barbara; Göttsche, Lothar; Kresch, Andrew (2006), Algebraic stacks, arkiverad från ursprungsadressen den 2008-05-05, https://web.archive.org/web/20080505043444/http://www.math.unizh.ch/index.php?pr_vo_det&key1=1287&key2=580&no_cache=1 
  1. ^ Algebraic stacks, Ch 3. § 1.