Finitely Presented Algebras Finiteness (FPAF)
Category: Algebra
Input
A finitely presented algebra $A = (M, \mathcal{A}, \Gamma)$.
Problem
Is $A$ finite?
Definitions
See UWPFPA.
Status
$\P$-complete (Kozen [1]).
Remarks
A polynomial time algorithm for the problem is given in [1]. The reduction to show hardness is from MCVP.