Left-algebraic group

Definition
A left-algebraic group over a field $$K$$ is a set $$G$$ equipped with the following two structures:


 * The structure of an defining ingredient::algebraic variety over the defining ingredient::field $$K$$.
 * The structure of a defining ingredient::group

such that the following compatibility conditions are satisfied: