Constructing Double Magma on Groups Using Commutation Operations

Edmunds, Charles C.

Canadian mathematical bulletin, Tome 58 (2015) no. 3, pp. 497-506

Résumé

A magma $\left( M,\star\right)$ is a nonempty set with a binary operation. A double magma $\left( M,\star ,\bullet\right)$ is a nonempty set with two binary operations satisfying the interchange law $\left( w\star x \right)\bullet \left( y\star z \right)=\left( w\bullet y \right)\star \left( x\bullet z \right)$ . We call a double magma proper if the two operations are distinct, and commutative if the operations are commutative. A double semigroup, first introduced by Kock, is a double magma for which both operations are associative. Given a non-trivial group $G$ we define a system of two magma $\left( G,\star ,\bullet\right)$ using the commutator operations $x\star y=\left[ x,y \right]\left( ={{x}^{-1}}{{y}^{-1}}xy \right)$ and $x\bullet y=\left[ y,x \right]$ . We show that $\left( G,\star ,\bullet\right)$ is a double magma if and only if $G$ satisfies the commutator laws $\left[ x,y;x,z \right]=1$ and ${{\left[ w,x;y,z \right]}^{2}}=1$ . We note that the first law defines the class of 3-metabelian groups. If both these laws hold in $G$ , the double magma is proper if and only if there exist ${{x}_{0}},{{y}_{0}}\in G$ for which ${{\left[ {{x}_{0}},{{y}_{0}} \right]}^{2}}\ne 1$ . This double magma is a double semigroup if and only if $G$ is nilpotent of class two. We construct a specific example of a proper double semigroup based on the dihedral group of order 16. In addition, we comment on a similar construction for rings using Lie commutators.

Détail

DOI : 10.4153/CMB-2015-037-0

Mots-clés : 20E10, 20M99, double magma, double semigroups, 3-metabelian

Bibliographie

[1] [1] Bachmuth, S. and Lewin, J., The Jacobi identity in groups. Math. Z. 83(1964), 170–176. http://dx.doi.Org/1 0.1007/BF01111 253 Google Scholar

[2] [2] Eckmann, B. and Hilton, P. J., Group-like structures in general categories. I. Multiplications and comultiplications. Math. Ann. 145(1961/1962), 227–255. http://dx.doi.Org/1 0.1007/BF01451 367 Google Scholar

[3] [3] Kock, J., Note on commutativity of double semigroups and two-fold monodial categories. J. HomotopyRelat. Struct. 2(2007), no. 2, 217–228. Google Scholar

[4] [4] Macdonald, I. D., On certain varieties of groups. Math. Z. 76(1961), 270–282. http://dx.doi.Org/1 0.1007/BF01210977 Google Scholar

[5] [5] Neumann, B. H., On a conjecture ofHanna Neumann. Proc. Glasgow Math.Assoc. 3(1956), 13–17. Google Scholar | DOI