Classification of finite rings of order \(p^6\) by generators and relations. (Q355714)

Summary: For any finite Abelian group \((R,+)\), we define a binary operation or ``multiplication'' on \(R\) and give necessary and sufficient conditions on this multiplication for \(R\) to extend to a ring. Then we show when two rings made on the same group are isomorphic. In particular, it is shown that there are \(n+1\) rings of order \(p^n\) with characteristic \(p^n\), where \(p\) is a prime number. Also, all finite rings of order \(p^6\) are described by generators and relations. Finally, we give an algorithm for the computation of all finite rings based on their additive group.