formal Laurent series . The size of any finite ring of prime characteristic is a power of . Since in that case it contains it is also a vector space over that field, and from linear algebra we know that the sizes of finite vector spaces over finite fields are a power of the size of the field. This also shows that the size of any finite vector space is a prime power. Notes References Sources Ring theory Field (mathematics)