Construction providing a total order on a free monoid
In mathematics, in the areas of group theory and combinatorics, Hall words provide a unique monoid factorisation of the free monoid. They are also totally ordered, and thus provide a total order on the monoid. This is analogous to the better-known case of Lyndon words; in fact, the Lyndon words are a special case, and almost all properties possessed by Lyndon words carry over to Hall words. Hall words are in one-to-one correspondence with Hall trees. These are binary trees; taken together, they form the Hall set. This set is a particular totally ordered subset of a free non-associative algebra, that is, a free magma. In this form, the Hall trees provide a basis for free Lie algebras, and can be used to perform the commutations required by the Poincaré–Birkhoff–Witt theorem used in the construction of a universal enveloping algebra. As such, this generalizes the same process when done with the Lyndon words. Hall trees can also be used to give a total order to the elements of a group, via the commutator collecting process, which is a special case of the general construction given below. It can be shown that Lazard sets coincide with Hall sets.
The historical development runs in reverse order from the above description. The commutator collecting process was described first, in 1934, by Philip Hall and explored in 1937 by Wilhelm Magnus.[1][2] Hall sets were introduced by Marshall Hall based on work of Philip Hall on groups.[3]
Subsequently, Wilhelm Magnus showed that they arise as the graded Lie algebra associated with the filtration on a free group given by the lower central series. This correspondence was motivated by commutator identities in group theory due to Philip Hall and Ernst Witt.
^
Hall, Philip (1934), "A contribution to the theory of groups of prime-power order", Proceedings of the London Mathematical Society, 36: 29–95, doi:10.1112/plms/s2-36.1.29
^
W. Magnus, (1937) "Über Beziehungen zwischen höheren Kommutatoren", J. Grelle177, 105-115.
^
Hall, Marshall (1950), "A basis for free Lie rings and higher commutators in free groups", Proceedings of the American Mathematical Society, 1 (5): 575–581, doi:10.1090/S0002-9939-1950-0038336-7, ISSN 0002-9939, MR 0038336
no Hallword is a conjugate of another Hallword. Every word w ∈ A ∗ {\displaystyle w\in A^{*}} is the conjugate of a power of a unique Hallword. There...
The identity of the longest word in English depends on the definition of a word and of length. Words may be derived naturally from the language's roots...
a web-based word game created and developed by Welsh software engineer Josh Wardle. Players have six attempts to guess a five-letter word, with feedback...
word defined as "style, charm, or attractiveness; the ability to attract a romantic or sexual partner"; it originated as an abbreviation of the word charisma...
the syntax. Phonetic wordHall, Tracy Alan (1999-06-15). Hall, Tracy Alan; Kleinhenz, Ursula (eds.). A Review: The Phonological Word. Current Issues in...
Spoken word is an oral poetic performance art that is based mainly on the poem as well as the performer's aesthetic qualities. It is a 20th-century continuation...
WordPress (also known as WP or WordPress.org) is a web content management system. It was originally created as a tool to publish blogs but has evolved...
the Latin word dormitorium, often abbreviated to dorm), also known as a hall of residence or a residence hall (often abbreviated to halls), is a building...
In natural language processing (NLP), a word embedding is a representation of a word. The embedding is used in text analysis. Typically, the representation...
Look up halls in Wiktionary, the free dictionary. Halls is a plural of the wordhall. Halls may also refer to: Walter Halls (1871–1953), British trade...
theorem Hall wordHall–Witt identity Irwin–Hall distribution Zappa–Szép product Green, J. A.; Roseblade, J. E.; Thompson, J. G. (1984). "Philip Hall. 11 April...
mathematics, in the areas of combinatorics and computer science, a Lyndon word is a nonempty string that is strictly smaller in lexicographic order than...
word with an initial segment u of length |u| ≥ |w|, then zν is a purely morphic word, where z is a letter not in A. Cutting sequence Lyndon wordHall...
amnesic aphasia) is a mild, fluent type of aphasia where individuals have word retrieval failures and cannot express the words they want to say (particularly...
Time and a Word is the second studio album by English rock band Yes, released on 24 July 1970 by Atlantic Records. It was put together several months after...
Hallal may refer to: Root of the Hebrew word Hallelujah Alternate spelling of Arabic word Halal This disambiguation page lists articles associated with...
The University of the Incarnate Word (UIW) is a private, Catholic university with its main campus in San Antonio and Alamo Heights, Texas. Founded in 1881...
which Hall described as "any word that doesn't appear in the dictionary, but should". In 1984, a collection of sniglets was published by Hall, titled...
A throne room or throne hall is the room, often rather a hall, in the official residence of the crown, either a palace or a fortified castle, where the...