nLab word

Related concepts

Contents

Introduction

A word in the elements of a set is, roughly speaking, a concatenation of elements of that set. To make this precise, one typically uses the machinery of free algebraic structures. One may allow in the concatenation certain canonical elements of the free algebraic gadget constructed from the elements of the set one started with, such as inverses.

By extension, one may also refer to elements of any algebraic structure, at least when described in terms of generators and relations (i.e. explicitly as a quotient of a free algebraic structure), as words.

Prototypical example

The prototypical algebraic structure with which to make sense of the notion of a word is that of a monoid. If ‘word’ is used in a context where the intended algebraic structure is not made clear, use of free monoids is likely intended.

Definition

Let XX be a set. A word in the elements of XX is an element of the free monoid on XX.

Remark

A free monoid has in particular an identity element, which is the empty word.

Remark

We do not assume commutativity.

Example

Let X={a,b}X = \{a, b\} be a set. Examples of words in XX are the empty word, aa, bb, aba b, a 5a^{5}, ab 3a b^{3}, abababa b a b a b, b 3a 2b 5b^{3}a^{2}b^{5} and so on.

In groups

Another common case is that in which the algebraic structure is that of groups.

Definition

Let XX be a set. A word in the free group on the elements of XX is an element of the free group on XX.

Remark

As for monoids, a free group has in particular an identity element, which is the empty word.

Remark

As for monoids, we do not assume commutativity.

Example

Let X={a,b}X = \{a, b\} be a set. Examples of words in the free group on XX are the empty word, aa, bb, aba b, a 5a^{5}, a 5a^{-5}, ab 3a b^{3}, abababa b a b a b, a 1b 1a 1b 1a 1b 1a^{-1}b^{-1}a^{-1}b^{-1}a^{-1}b^{-1}, ab 1a b^{-1}, b 3a 2b 5b^{3}a^{2}b^{5}, a 3b 2a 7b 2a^{-3}b^{2}a^{7}b^{-2}, and so on.

Last revised on December 21, 2022 at 14:55:32. See the history of this page for a list of all contributions to it.