Permutation of elements in double semigroups

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Bremner, Murray, Madariaga, Sara
Format: Preprint
Publié: 2014
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866909695057330176
author Bremner, Murray
Madariaga, Sara
author_facet Bremner, Murray
Madariaga, Sara
contents Double semigroups have two associative operations $\circ, \bullet$ related by the interchange relation: $( a \bullet b ) \circ ( c \bullet d ) \equiv ( a \circ c ) \bullet ( b \circ d )$. Kock \cite{Kock2007} (2007) discovered a commutativity property in degree 16 for double semigroups: associativity and the interchange relation combine to produce permutations of elements. We show that such properties can be expressed in terms of cycles in directed graphs with edges labelled by permutations. We use computer algebra to show that 9 is the lowest degree for which commutativity occurs, and we give self-contained proofs of the commutativity properties in degree 9.
format Preprint
id arxiv_https___arxiv_org_abs_1405_2889
institution arXiv
publishDate 2014
record_format arxiv
spellingShingle Permutation of elements in double semigroups
Bremner, Murray
Madariaga, Sara
Rings and Algebras
Combinatorics
Category Theory
Primary 20M50, Secondary 18D05, 20L05, 20M05
Double semigroups have two associative operations $\circ, \bullet$ related by the interchange relation: $( a \bullet b ) \circ ( c \bullet d ) \equiv ( a \circ c ) \bullet ( b \circ d )$. Kock \cite{Kock2007} (2007) discovered a commutativity property in degree 16 for double semigroups: associativity and the interchange relation combine to produce permutations of elements. We show that such properties can be expressed in terms of cycles in directed graphs with edges labelled by permutations. We use computer algebra to show that 9 is the lowest degree for which commutativity occurs, and we give self-contained proofs of the commutativity properties in degree 9.
title Permutation of elements in double semigroups
topic Rings and Algebras
Combinatorics
Category Theory
Primary 20M50, Secondary 18D05, 20L05, 20M05
url https://arxiv.org/abs/1405.2889