Well-ordered monoids : two numerical functions Title Well-ordered monoids : two numerical functions

• View
0

0

Embed Size (px)

Text of Well-ordered monoids : two numerical functions Title Well-ordered monoids : two numerical functions

• Title Well-ordered monoids : two numerical functions (Algebraic 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

• 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 ,  but also are a base of the completion procedure . 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 , ). Compatible orders on a free commutative monoid are characterized by weights , but in contrast, compatible orders on a free monoid are very diverse and complicated (, , ).

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. For $x$ , $y\in X$ , $x\sim y$ if and only if $x\mathrm{r}$ $y$ and $y[succeq] x,$ and $x$ ? $y$ if $y[succeq] x$ does not hold, equivalently, $x[succeq] y$ but $x \oint y$ . We call $\succ$ the strict part of $[succeq]$ . It is easy to see that $\sim$ is an equivalence relation. A quasi-0rder $[succeq]$ is an order, if $\sim$ is the equality relation, that

数理解析研究所講究録 1366巻 2004年 111-120

• 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

$x$ $([succeq]_{1}\circ[succeq]_{2})$ $y$ $\Leftrightarrow$ $xc_{\mathit{1}}$ $y$ , or $x\sim_{1}y$ and $x[succeq]_{2}$ $y$ ,

where $\sim_{1}$ is the equivalence relation induced by $[succeq]_{1}$ . Similarly, for $n$ quasi-0rders $[succeq]_{1}$ , $\ldots,$ $[succeq]_{n}$ , the lexicographic composition $[succeq]_{1}\circ\cdots\circ \mathrm{r}_{n}$ is defined as follows. Let $x$ , $y\in X$ and $\sim_{i}$ be the equivalence relation induced by $[succeq]_{i}$ and $\succ_{i}$ be the strict part of 7 $i$ . Then, $x$ $([succeq]_{1}\circ\cdots\circ[succeq]_{n})$ $y$ , if $x\sim_{i}y$ for $i=1,$ .. . ’ $k-1$ and $x\succ_{k}y$ for some $1\leq$ C $\leq n,$ or $x\sim:y$ for all $i=1$ , $\ldots$ , $n$ .

Lemma 2.1. $If[succeq]_{1}$ , \ldots , $[succeq]_{n}$ are (well-founded) quasi-Orders on X, $then[succeq]_{1}\circ\cdots 0[succeq]_{n}$ 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)$ implies $x\succ_{1}$ $y$ . It is strictly order-preserving if $x[succeq]_{1}y\Leftrightarrow f(x)[succeq]_{2}$ $f(y)$ for all $x$ , $y\in X_{1}$ .

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$ .

Let $\geq$ be the ordinary order of the set $\mathrm{N}$ of natural numbers. The order type of $(\mathrm{N}, \geq)$ is denoted by $\omega$ . For $n\geq 2,$ let $\geq$ lex be the lexicographic order on $\mathrm{N}^{n}$ , 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}=$ $y_{k-1}$ and $x_{k}>y\mathrm{h}.$ The order type of $(\mathrm{N}^{n}, \geq_{1\mathrm{e}\mathrm{x}})$ is $\omega^{n}$ . 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})$ .

The ordered set $(\mathrm{N}^{*}, 2_{11\mathrm{e}\mathrm{x}})$ has order type $\omega^{\omega}$ . 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 any $\mathrm{x},\mathrm{y}$ $z$ , $w\in M,$ or equivalently $x[succeq] y\Leftrightarrow zxrn$ $[succeq] zyw$ for any $x,y$ , $z,w\in M.$ $\mathrm{A}$ 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.

Lemma 2.3. $If[succeq]_{1}$ , \ldots , $[succeq]_{n}$ 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 the values $f(a)$ for generators $a\in$ C. In fact, for any $x=a_{1}\cdots$ $a_{n}$ with $a_{i}\in$ $\mathrm{X}$ , we have $f(x)= \sum_{i}f(a_{i})$ .

We define a relation $[succeq] f$ associated with a weight function $f$ on $M$ 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- order on M. The congruence $\sim_{f}$ induced $by[succeq]_{f}$ is given by $x\sim f$ $y\Leftrightarrow f(x)=f(y)_{J}$ 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, $f(x)>f(y)$ implies $x$ ? $y$ , for $x,y\in M.$ In this case we say $[succeq]$ is $f$-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.

3 Weight sensitivity In this section $M$ is always a well-0rdered monoid.

Lemma 3.1. $M$ is torsion-free, cancellative, and for any $x\in M\backslash \{1\}$ , we have an infinite increasing sequence

$1\prec x-*!x^{2}\prec$ . $:\prec x^{n}\prec 1.$ . Corollary 3.2. Let $x,y\in M$ and $m$ , $n\in$ N. Then,

(1) $x^{m}\succ x^{n}\Leftrightarrow m>n.$

(2) $x^{m}\succ y^{m}\Leftrightarrow x\succ y.$

• 114

As we see in Lemma 3.1, $x[succeq] 1$ for any $x\in M.$ This is actually a sufficient condition for a compatible quasi-0rder $[succeq]$ on $M$ to be well-founded by Higman’s well- known theorem .

An element $a$ of $M$ is a pivot, if for any $x\in M$ there is $n\in \mathrm{N}$ such that $x\prec a".$ A monoid may not have a pivot, but a finitely generated Adhesion measurement of highly-ordered TiO nanotubes on Ti ... 38 10.pdfآ  Adhesion measurement of highly-ordered
Documents Multiscale numerical modelling of microstructured ...· Multiscale Numerical Modelling of Microstructured
Documents 5 Graphing and Inverse Functions - 5 Graphing and Inverse Functions The trigonometric functions can
Documents Ordered Mesh Network Interconnect (OMNI) Design & 2017-05-19آ  Ordered Mesh Network Interconnect (OMNI)
Documents Biostatistics I - med.cmu.ac.th scale rank-ordered ... Scales of measurement Numerical ... ถา้ขอ้มูลชุดน้ันเป็นจานวนคู่medianคือ
Documents Numerical Analysis- MATH 292 -Lec 5- Numerical Differentiations & Intergations
Documents Documents