generalize the finite field modular multiplication to an arithmetics direcoty with two initial parts: polynomials and the old finite fields