Formal power series rings Arithmetic and multiplicative structures mathematics