Linear-Time Verification of Rings and Fields

Youlong Ding

We consider the following problems: Given two $n\times n$ tables defining binary operations $+$ and $\cdot$ on a set $S$ of $n$ elements, decide whether $(S,+,\cdot )$ forms a ring…