Template:Field-parametrized group eqrel

This article defines an equivalence relation on groups, parametrized by a field