Well-ordered monoids : two numerical functions (Algebraic Title Systems, Formal Languages and Conventional and Unconventional Computation Theory) Author(s) Kobayashi, Yuji Citation 数理解析研究所講究録 (2004), 1366: 111-120 Issue Date 2004-04 URL http://hdl.handle.net/2433/25368 Right Type Departmental Bulletin Paper Textversion publisher Kyoto University 数理解析研究所講究録 1366 巻 2004 年 111-120 111 Well-0rdered monoids - two numerical functions - YUJI KOBAYASHI (小林ゆう治) Department of Information Science Toho University, Funabashi 274-8510, Japan (東邦大学理学部情報科学科) 1 Introduction Compatible well-0rders on monoids are used in the rewriting theory in algebra. They do not only guarantee the termination of reduction processes in a system [3], [4] but also are a base of the completion procedure [8]. In the Grobner base theory of polynomial rings, such orders on free commutative monoids, and in the rewriting theory of groups and monoids, such orders on free monoids play a crucial role (see [1], [11]). Compatible orders on a free commutative monoid are characterized by weights [15], but in contrast, compatible orders on a free monoid are very diverse and complicated ([2], [9], [10]). In this paper we study compatible well-0rders on monoids. A well-0rdered monoid is a monoid with a well-0rder that is strictly compatible with the operation of the underlying monoid. We introduce two numerical parameters associated with the order. The first one, which is discussed in Section 3, is related to weight functions on a monoid. The second, which is discussed in Section 4, comes ffom some effect of commutation of two elements in a monoid. With these parameters we study the ordered structure of well-0rdered monoids, especially in the case of tw0-generator monoids in the last section. 2 Preliminary A quasi-Order $[succeq]$ on a set $X$ is a reflexive transitive relation on $X$ such that $x[succeq] y$ or $y[succeq] x$ holds for any $x$ , $y\in X.$ For a quasi-0rder $[succeq]$ , define relations $\sim$ and $\succ$ as follows. $x\mathrm{r}$ $y[succeq] x$ For $x$ , $y\in X$ , $x\sim y$ if and only if $y$ and $y[succeq] x,$ and $x$ ? $y$ if does not hold, $\sim$ equivalently, $x[succeq] y$ but $x \oint y$ . We call $\succ$ the strict part of $[succeq]$ . It is easy to see that is an equivalence relation. A quasi-0rder $[succeq]$ is an order, if $\sim$ is the equality relation, that 12 is, $x\sim jl$ if and only if $x=y$ . A quasi-0rder $[succeq]$ is well-founded, if there is no infinite decreasing sequence $x_{1}\succ x_{2}\succ$ I $\cdot\cdot$ . A well-founded order is called a well-Order. Let $[succeq]_{1}$ and $[succeq]_{2}$ be two quasi-0rders on $X$ . The lexicographic composition $[succeq]_{1}$ $\circ[succeq]_{2}$ of $[succeq]_{1}$ and S2 is defined by $\Leftrightarrow$ $x[succeq]_{2}$ $x$ $([succeq]_{1}\circ[succeq]_{2})$ $y$ $xc_{\mathit{1}}$ $y$ , or $x\sim_{1}y$ and $y$ , $[succeq]_{1}$ $n$ where $\sim_{1}$ is the equivalence relation induced by . Similarly, for quasi-0rders $[succeq]_{1}$ $[succeq]_{n}$ $[succeq]_{1}\circ\cdots\circ \mathrm{r}_{n}$ , $\ldots,$ , the lexicographic composition is defined as follows. Let $[succeq]_{i}$ $\succ_{i}$ $x$ , $y\in X$ and $\sim_{i}$ be the equivalence relation induced by and be the strict part $x$ $([succeq]_{1}\circ\cdots\circ[succeq]_{n})$ $y$ $x\succ_{k}y$ of 7 $i$ . Then, , if $x\sim_{i}y$ for $i=1,$ .. ’ $k-1$ and for some $1\leq$ $\leq n,$ $n$ C or $x\sim:y$ for all $i=1$ , $\ldots$ , . $If[succeq]_{1}$ $[succeq]_{n}$ $then[succeq]_{1}\circ\cdots 0[succeq]_{n}$ Lemma 2.1. , \ldots , are (well-founded) quasi-Orders on X, is (well-founded) quasi-Orders on X. Let $[succeq]_{i}$ be a quasi-0rder on a set $X_{i}(i=1,2)$ . A mapping $f$ : $X_{1}arrow X_{2}$ is order preserving, if $x[succeq]$c1 il implies $f(x)\mathrm{r}_{2}f(y)$ for all $x,y\in X_{1}$ , equivalently, $f(x)r_{2}$ $f(y)$ $x[succeq]_{1}y\Leftrightarrow f(x)[succeq]_{2}$ $y\in X_{1}$ implies $x\succ_{1}$ $y$ . It is strictly order-preserving if $f(y)$ for all $x$ , . A (quasi- (resp. well-))ordered set is a pair $(X, [succeq])$ of a set $X$ and a (quasi- (resp. well-))order\succeq on $X$ . Quasi-0rdered sets $(X_{1}, [succeq]_{1})$ and $(X_{2}, [succeq]_{2})$ are isomorphic if there is a bijection $f$ : $X_{1}arrow X_{2}$ which is strictly order-preserving. A class of isomorphic well-0rdered sets is an order type. If the class of $(X, [succeq])$ is $\alpha$ , we say $(X, [succeq])$ has order type $\alpha$ . $\mathrm{N}$ Let $\geq$ be the ordinary order of the set of natural numbers. The order type of $\mathrm{N}^{n}$ $(\mathrm{N}, \geq)$ is denoted by $\omega$ . For $n\geq 2,$ let $\geq$ lex be the lexicographic order on , that is, $(x_{1}, \ldots, x_{n})>\mathrm{l}\mathrm{e}\mathrm{x}$ $(y_{1}, \ldots, y_{n})$ if there is A such that $1\leq k\leq n$ and $x_{1}=y_{1}$ , . , $x_{k-1}=$ $\omega^{n}$ $(\mathrm{N}^{n}, \geq_{1\mathrm{e}\mathrm{x}})$ $y_{k-1}$ and $x_{k}>y\mathrm{h}.$ The order type of is . Similarly we can consider the length-lexicographic order $\geq$ llex on the set $\mathrm{N}^{*}=\bigcup_{k=1}^{\infty}\mathrm{N}^{k}$ of all finite sequences of natural numbers; $(x_{1}, \ldots, x_{m})\geq$ llex $(y_{1}, \ldots, y_{n})$ $F\mathit{7}$ $m>n,$ or $m=n$ and $(x_{1}, \ldots, x_{m})\geq_{1\mathrm{e}\mathrm{x}}(y_{1}, \ldots, y_{m})$ . $\omega^{\omega}$ The ordered set $(\mathrm{N}^{*}, 2_{11\mathrm{e}\mathrm{x}})$ has order type . Let $M$ be a monoid, a semigroup with identity element 1. A quasi-0rder $[succeq]$ on $M$ is compatible if $x[succeq] y$ implies $zxw[succeq] zyw$ for any $x,y$, $z$ , $w\in M,$ or equivalently, $zxw$ ? $zyw$ implies $x\succ y.$ It is $st\sqrt.ctly$ compatible if $x\succ y\Leftrightarrow zxw\succ$ $zyw$ for $x[succeq] y\Leftrightarrow zxrn$ $[succeq] zyw$ $\mathrm{A}$ any $\mathrm{x},\mathrm{y}$ $z$ , $w\in M,$ or equivalently for any $x,y$ , $z,w\in M.$ pair $(M, [succeq])$ of a monoid and a compatible (quasi-)order\succeq 0n $M$ is $\mathrm{a}$ (quasi-)ordered monoid. Lemma 2.2. $Let[succeq] be$ a compatible quasi-Order on a monoid M. Then, the equivalence relation $\sim$ induced $by[succeq] is$ a congruence and the quotient monoid $M/\sim is$ an ordered monoid with the order induced $by[succeq]$ . $If[succeq] is$ strictly compatible (resp. well-founded) on $M$ , then so is the induced order $\mathrm{S}$ on $M/\sim$ . 113 Note that the induced order $[succeq]$ on the quotient $M/\sim$ in the above lemma is defined as $[x][succeq][y]\Leftrightarrow x[succeq] y$ for $x$ , $y\in M,$ where $[x]$ denotes the congruence class of $x$ . In this paper, by a well-Ordered monoid we mean an ordered monoid $(M, [succeq])$ with strictly compatible well-0rder $\mathrm{s}$ . As easily seen, a monoid $(M, [succeq])$ with compatible well-0rder $[succeq]$ is a well-0rdered monoid if it is cancellative. $If[succeq]_{1}$ $[succeq]_{n}$ Lemma 2.3. , \ldots , are (strictly) compatible quasi-Orders on M, then the lex- icographic compositions $[succeq]_{1}\circ\cdots\circ[succeq]_{n}$ is also a (strictly) compatible quasi-Order on M. A weight function of $M$ is a morphism of $M$ to the additive group $\mathbb{R}$ of real numbers; $f(xy)=f(x)+f(y)$ for $x,y\in M.$ Of course, the zero function 0 is a weight function. A weight function $f$ is non-negative (resp. positive) if $f(x)\geq 0$ (resp. $f(x)>0$) for all $x\in M\backslash \{1\}$ . If $M$ is generated by a subset $\Sigma$ , a weight function $f$ is determined by $\mathrm{X}$ the values $f(a)$ for generators $a\in$ C. In fact, for any $x=a_{1}\cdots$ $a_{n}$ with $a_{i}\in$ , we have $f(x)= \sum_{i}f(a_{i})$ . $M$ We define a relation $[succeq] f$ associated with a weight function $f$ on by $x[succeq]_{f}$ $y$ $\Leftrightarrow$ $f(x)\geq f(y)$ . Lemma 2.4. For a weight function $f$ of a monoid $M,$ $\mathrm{r}_{1}$ is a strictly compatible quasi- $by[succeq]_{f}$ $y\Leftrightarrow f(x)=f(y)_{J}$ order on M. The congruence $\sim_{f}$ induced is given by $x\sim f$ and the quotient $M/\sim f$ is a well-Ordered monoid. A quasi-0rder $[succeq]$ on a monoid $M$ is weight-sensitive, if there is a nonzero order- preserving weight function $f$ on $M$ , that is, $x[succeq] y$ implies $f(x)\geq f(y)$ , or equivalently, $[succeq]$ $f$ $f(x)>f(y)$ implies $x$ ? $y$ , for $x,y\in M.$ In this case we say is -sensitive specifying $f$ . If this $f$ is nonzero non-negative (resp. positive), $[succeq]$ is non-negatively (resp. positively) weight-sensitive. Lemma 2.5. Let $M$ be a finitely generated monoid. If $f$ is a non-negative weight function of $M$, the quasi-Order $[succeq]_{f}$ is well-founded. If $f$ is positive, any f-sensitive quasi-Order is well-founded.
Details
-
File Typepdf
-
Upload Time-
-
Content LanguagesEnglish
-
Upload UserAnonymous/Not logged-in
-
File Pages11 Page
-
File Size-