Finite-dimensional algebraic group

Definition
A finite-dimensional algebraic group is an defining ingredient::algebraic group whose dimension as an algebraic group is finite.