Polynomial-time locality tests for finite rings

Abstract

We present a simple characterization of finite local algebras over finite fields with an application to testing locality of finite rings. A deterministic polynomial-time algorithm is discussed that decides whether a finite algebra given by a basis representation is local. By employing the AKS deterministic primality test we derive a deterministic algorithm for arbitrary finite commutative rings with identity, with an asymptotically optimal randomized variant.