Commutativity in double interchange semigroups
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2017
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866913967680520192 |
|---|---|
| author | Bagherzadeh, Fatemeh Bremner, Murray |
| author_facet | Bagherzadeh, Fatemeh Bremner, Murray |
| contents | We extend the work of Kock (2007) and Bremner & Madariaga (2016) on commutativity in double interchange semigroups (DIS) to relations with 10 arguments. Our methods involve the free symmetric operad generated by two binary operations with no symmetry, its quotient by the two associative laws, its quotient by the interchange law, and its quotient by all three laws. We also consider the geometric realization of free double interchange magmas by rectangular partitions of the unit square $I^2$. We define morphisms between these operads which allow us to represent elements of free DIS both algebraically as tree monomials and geometrically as rectangular partitions. With these morphisms we reason diagrammatically about free DIS and prove our new commutativity relations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1706_04693 |
| institution | arXiv |
| publishDate | 2017 |
| record_format | arxiv |
| spellingShingle | Commutativity in double interchange semigroups Bagherzadeh, Fatemeh Bremner, Murray Rings and Algebras Category Theory Primary 20M50. Secondary 17A50, 18D05, 18D50, 20M05, 52C20 We extend the work of Kock (2007) and Bremner & Madariaga (2016) on commutativity in double interchange semigroups (DIS) to relations with 10 arguments. Our methods involve the free symmetric operad generated by two binary operations with no symmetry, its quotient by the two associative laws, its quotient by the interchange law, and its quotient by all three laws. We also consider the geometric realization of free double interchange magmas by rectangular partitions of the unit square $I^2$. We define morphisms between these operads which allow us to represent elements of free DIS both algebraically as tree monomials and geometrically as rectangular partitions. With these morphisms we reason diagrammatically about free DIS and prove our new commutativity relations. |
| title | Commutativity in double interchange semigroups |
| topic | Rings and Algebras Category Theory Primary 20M50. Secondary 17A50, 18D05, 18D50, 20M05, 52C20 |
| url | https://arxiv.org/abs/1706.04693 |