[ add ] left- and right- actions induced by a Magma homomorphism

[ add ] left- and right- actions induced by a Magma homomorphism #5283