Abstract
We extend the work of Kock (J Homot Relat Struct 2(2):217–228, 2007) and Bremner and Madariaga (Semigroup Forum 92:335–360, 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
