In algebraic geometry, an algebraic group (or group variety) is a group that is an algebraic variety, such that the multiplication and inversion operations are given by regular functions on the variety.In terms of category theory, an algebraic group is a group object in the category of algebraic varieties.