After summarizing from previous papers the definitions of the concepts associated with nets, i.e. triples of 6-transpositions in the Monster up to braiding, we give some results.

We study commutation properties of subsets of right-angled Artin groups and trace monoids. We show that if Γ is any graph not containing a four-cycle without chords, then the group G(Γ) does not contain four elements whose commutation graph is a four-cycle; a consequence is that G(Γ) does not have a subgroup isomorphic to a direct product of non-abelian groups. We also obtain corresponding and more general results in the monoid case.

In this paper we study the factorizable braid monoid (also known as the merge-and-part braid monoid) introduced by Easdown, East and FitzGerald in 2004. We find several presentations of this monoid, and uncover an interesting connection with the singular braid monoid. This leads to the definition of the flexible singular braid monoid, which consists of ‘flexible-vertex-isotopy’ classes of singular braids. We conclude by defining and studying the pure factorizable braid monoid, the maximal subgroups of which are (isomorphic to) quotients of the pure braid group.

We define a notion of conjugacy in singular Artin moniods, and solve the corresponding conjugacy problem for finite types. We sgiw that this definition is appropriate to describe type (1) singular Markov moves on singular braids. Parabolic submonoids of singular Artin monoids are defined and, in finite type, are shown to be singular Artin monoids. Solutions to conjugacy-type problems of parabolic submonoids are described. Geometric objects defined by Fenn, Rolfsen and Zhu, called (j, k)-bands, are algebraically characterised, and a procedure is given which determines when a word represents a (j, k)-band.

The graph product of a family of groups lies somewhere between their direct and free products, with the graph determining which pairs of groups commute. We show that the graph product of quasi-lattice ordered groups is quasi-lattice ordered, and, when the underlying groups are amenable, that it satisfies Nica's amenability condition for quasi-lattice orders. The associated Toeplitz algebras have a universal property, and their representations are faithful if the generating isometries satisfy a joint properness condition. When applied to right-angled Artin groups this yields a uniqueness theorem for the C*-algebra generated by a collection of isometries such that any two of them either *-commute or else have orthogonal ranges. The analogous result fails to hold for the nonabelian Artin groups of finite type considered by Brieskorn and Saito, and Deligne.