Пусть — алгебраическое многообразие, обладающее структурой группы. Если и , где , являются морфизмами многообразий, то называется алгебраической группой1).