On Finitely Based Groups and Nonfinitely Based Quasivarieties,

We define the notion ofstrictly finitely basedvarieties of groups and determine which finite groups are strictly finitely based. Then we use this result to prove the existence of “very nonfinitely based” finite algebras, thereby solving two open problems in the theory of quasivarieties.