Algebrallinen ryhmä k:n suhteen on varisto G määriteltynä k:n suhteen, piste e ∈ G ( k ) {\displaystyle e\in G(k)} ja morfismit m : G × G → G {\displaystyle m:G\times G\to G} ja i : G → G {\displaystyle i:G\to G} jotka toteuttavat ehdot