Misplaced Pages

Garside element

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Element of algebraic structure
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Garside element" – news · newspapers · books · scholar · JSTOR (January 2023) (Learn how and when to remove this message)

In mathematics, a Garside element is an element of an algebraic structure such as a monoid that has several desirable properties.

Formally, if M is a monoid, then an element Δ of M is said to be a Garside element if the set of all right divisors of Δ,

{ r M for some  x M , Δ = x r } , {\displaystyle \{r\in M\mid {\text{for some }}x\in M,\Delta =xr\},}

is the same set as the set of all left divisors of Δ,

{ M for some  x M , Δ = x } , {\displaystyle \{\ell \in M\mid {\text{for some }}x\in M,\Delta =\ell x\},}

and this set generates M.

A Garside element is in general not unique: any power of a Garside element is again a Garside element.

Garside monoid and Garside group

A Garside monoid is a monoid with the following properties:

A Garside monoid satisfies the Ore condition for multiplicative sets and hence embeds in its group of fractions: such a group is a Garside group. A Garside group is biautomatic and hence has soluble word problem and conjugacy problem. Examples of such groups include braid groups and, more generally, Artin groups of finite Coxeter type.

The name was coined by Patrick Dehornoy and Luis Paris to mark the work on the conjugacy problem for braid groups of Frank Arnold Garside (1915–1988), a teacher at Magdalen College School, Oxford who served as Lord Mayor of Oxford in 1984–1985.

References

  1. ^ Dehornoy, Patrick; Paris, Luis (1999), "Gaussian groups and Garside groups, two generalisations of Artin groups", Proceedings of the London Mathematical Society, 79 (3): 569–604, CiteSeerX 10.1.1.595.739, doi:10.1112/s0024611599012071, S2CID 5254961
  2. Garside, Frank A. (1969), "The braid group and other groups", Quarterly Journal of Mathematics, Second Series, 20: 235–254, Bibcode:1969QJMat..20..235G, doi:10.1093/qmath/20.1.235


Stub icon

This abstract algebra-related article is a stub. You can help Misplaced Pages by expanding it.

Categories: