Finitely Presented Algebra

An algebra that admits a presentation by a finite set of generators together with a finite set of defining equations (relations) among those generators; equivalently, it is a quotient of a free algebra on finitely many generators by a congruence generated by finitely many pairs of terms.