# free semigroup with involution

Let $X,X^{\ddagger}$ be two disjoint sets in bijective correspondence given by the map ${}^{\ddagger}:X\rightarrow X^{\ddagger}$. Denote by $Y=X\amalg X^{\ddagger}$ (here we use $\amalg$ instead of $\cup$ to remind that the union is actually a disjoint union) and by $Y^{+}$ the free semigroup on $Y$. We can extend the map ${}^{\ddagger}$ to an involution ${}^{\ddagger}:Y^{+}\rightarrow Y^{+}$ on $Y^{+}$ in the following way: given $w\in Y^{+}$, we have $w=w_{1}w_{2}...w_{k}$ for some letters $w_{i}\in Y$; then we define

$w^{\ddagger}=w_{k}^{\ddagger}w_{{k-1}}^{\ddagger}...w_{{2}}^{\ddagger}w_{{1}}^% {\ddagger}.$

It is easily verified that this is the unique way to extend ${}^{\ddagger}$ to an involution on $Y$. Thus, the semigroup $(X\amalg X^{\ddagger})^{+}$ with the involution $\ddagger$ is a semigroup with involution. Moreover, it is the free semigroup with involution on $X$, in the sense that it solves the following universal problem: given a semigroup with involution $S$ and a map $\Phi:X\rightarrow S$, a semigroup homomorphism $\overline{\Phi}:(X\amalg X^{\ddagger})^{+}\rightarrow S$ exists such that the following diagram commutes:

$\xymatrix{&X\ar[r]^{{\iota}}\ar[d]_{{\Phi}}&(X\amalg X^{\ddagger})^{+}\ar[dl]^% {{\overline{\Phi}}}\\ &S&}$

where $\iota:X\rightarrow(X\amalg X^{\ddagger})^{+}$ is the inclusion map. It is well known from universal algebra that $(X\amalg X^{\ddagger})^{+}$ is unique up to isomorphisms.

If we use $Y^{*}$ instead of $Y^{+}$, where $Y^{*}=Y^{+}\cup\{\varepsilon\}$ and $\varepsilon$ is the empty word (i.e. the identity of the monoid $Y^{*}$), we obtain a monoid with involution $(X\amalg X^{\ddagger})^{*}$ that is the free monoid with involution on $X$.

Major Section:
Reference
Type of Math Object:
Example
Parent:

## Mathematics Subject Classification

20M10 General structure theory

## Recent Activity

May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by mairiwalker
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759
new image: AbstrExample3.jpg by m759
new image: four-diamond_figure.jpg by m759
May 16
new problem: Curve fitting using the Exchange Algorithm. by jeremyboden
new question: Undirected graphs and their Chromatic Number by Serchinnho

## Info

Owner: Mazzu
Added: 2006-08-23 - 11:47
Author(s): Mazzu

## Versions

(v8) by Mazzu 2013-03-22
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 32, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8827928900718689, "perplexity_flag": "head"}