All Questions

Previously asked at MSE. The construction here can generalize to arbitrary algebras (in the sense of universal algebra) in the same signature with the only needed tweak being the replacement of "...

I am wondering if there is a good method to write down a finite equational basis for a finite group. Especially I am wondering if there is a good method in following situations: We can write a group ...