 The important advantage of a formal power series ring over a polynomial ring is that it is local (in fact, complete).Let "R" be a ring (not necessarily commutative).The set of all square matrices of size "n" with entries in "R" forms a ring with the entry-wise addition and the usual matrix multiplication.