Implicative identities in groups

Publication date 9 January 2001

axioms commutators enriched groups identical implications

Quasivarieties (08C15) Axiomatics and elementary properties of groups (20A05) Quasivarieties and varieties of groups (20E10) Commutator calculus (20F12)

Review text

The algebraic systems considered in this paper are groups with an extra binary righthand operator \(\kappa\), which, in many ways mimics the action of the commutator. In particular, if \(e\) is the group identity, \(ex\kappa=e\), \(xe\kappa=e\), \(xx\kappa=e\) and \(xy\kappa\cdot yx\kappa=e\). The purpose of this paper is to consider various identical implications which are true when \(\kappa\) is the commutator, for example: if \(xz\kappa=yz\kappa=e\) then \((x\cdot y)z\kappa=e\), and determine the relationships between them. This continues previous work of the author and \textit{I.~D.~Macdonald} [J. Aust. Math. Soc., Ser. A 45, No. 1, 95-103 (1988; Zbl 0653.20001); 58, No. 1, 126-133 (1995; Zbl 0860.20001) and Contemp. Math. 109, 113-129 (1990; Zbl 0714.20002)]. The paper ends with a table of 18 axioms and 8 enriched groups in which some of them hold, thus exhibiting which axioms are independent of one another. For the entire collection see [Zbl 0939.00025].

Recommendations

Cited in

(4)

This page was built for publication: Implicative identities in groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4495704)