(1) Department of Mathematics, Fairfield University, Fairfield, 06430, CT, USA;(2) Department of Mathematics, U.S. Naval Academy, Annapolis, 21402, MD, USA;(3) Department of Mathematics, Temple University, Philadelphia, 19122, PA, USA
Abstract:
In [6] squarelike groups were defined to be those groups G universally equivalent to their direct squares G × G. In that paper it was shown that G is squarelike if and only if G isuniversally equivalent to a discriminating group in the sense of [3]. Further it was shown that theclass of squarelike groups is first-order axiomatizable while the class of discriminating groups isnot. In this paper, we prove that the class of squarelike groups is the least axiomatic class containingthe discriminating groups.Received: 18 August 2003
