A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods

Mirai Ikebuchi

It is well-known that some equational theories such as groups or boolean algebras can be defined by fewer equational axioms than the original axioms. However, it is not easy to det…