
A groupoid 21 = ζA; *> is called a left (resp. right) difference group if there is a binary operation + in A such that the system is an abelian group and x*y — —x + y (resp. x * y = x ~ y). A symmetric difference group is a groupoid satisfying all the identities common to both left and right difference groups. In this note we determine the structure of a symmetric difference group. Using this, we show that any finitely based equational theory of symmetric difference groups is one-based. This includes the known result that the theories of left and right difference groups are onebased. Other known results on finitely based theories of rings also follow.
20K99, Equational logic, Mal'tsev conditions, Structure theory of algebraic structures, Groupoids (i.e. small categories in which all morphisms are isomorphisms)
20K99, Equational logic, Mal'tsev conditions, Structure theory of algebraic structures, Groupoids (i.e. small categories in which all morphisms are isomorphisms)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
