Algebrallinen ryhmä

Algebrallinen ryhmä k:n suhteen on varisto G määriteltynä k:n suhteen, piste $e\in G(k)$ ja morfismit $m:G\times G\to G$ ja $i:G\to G$ jotka toteuttavat ehdot

• $m(e,x)=m(x,e)=x.$
• $m(i(x),x)=m(x,i(x))=e.$
• $m(m(x,y),z)=m(x,m(y,z)).$