fixed name of argument and typo in docu of AssociatedProjection
used SetCoefficientsRingForPolynomialAlgebra in docu of AssociatedProjection

which enabled the use of the one argument UnderlyingModule
installed CoefficientsRingForPolynomialAlgebra for IsAlgebra