An algebra over a field acted on by a bialgebra is a module algebra when multiplication and unit are module maps: the displayed product identity holds and . This expresses the product rule determined by comultiplication.
New to topics? Read the docs here!