fixed english in code comment
fixed names of arguments for UnderlyingModule
fixed names of arguments for InducedFiltration
declared UnderlyingModule for IsAlgebra

and installed it for IsAlgebra and HasCoefficientsRingForPolynomialAlgebra