G bir grup ve bir varyete olmak üzere G üzerindeki çarpma işlemi (burada kartezyen çarpım üzerindeki topoloji Zariski topolojisi) ve bir elemanı tersine götüren dönüşüm varyete morfizmi ise G ye cebirsel grup deniyor. Benim sormak istediğim ise burada varyete ile afin veya projektif varyete mi kastediliyor?