·

Archimedean property written multiplicatively

Published at 2024-10-18 16:31:20Viewed 73 times
Academic article
·
Note
Please reprint with source link

My question: Let $(\Gamma,+,\leq)$ be an ordered abelian group. We know that archimedean property can be stated as: for all $a,b\in\Gamma$ with $a>0,b\geq0$, there exists $n\geq0$ such that $b\leq na$. However, if we consider the multiplicative case, namely $(\Gamma,\cdot,\leq)$ is the ordered abelian group. Is there exists Archimedean property written multiplicatively? I think there is. And I state that as follows: for all $a,b\in\Gamma$ with $b<1,a\leq1$, there exists $n\geq0$ such that $b^{n}\leq a$. Is it correct?

In fact, I failed to show that it is equivalent to $\Gamma$ having convex rank 1.

Answer: You have correctly stated the multiplicative version of the Archimedean property.

Let $\Gamma$ be an ordered multiplicative group with the Archimedean property.

Suppose $H$ is a convex subgroup of $\Gamma$ with $H\ne \{1\}$. Let $1\ne x\in H$. Then $\{x,x^{-1}\}\subset H$ and one member of $\{x,x^{-1}\}$ is $>1$. So WLOG let $1<x\in H$.

(i). If $1\le y\in\Gamma$ there exists $n\in \Bbb N_0$ with $y\le x^n\in H $. But $H$ is convex with $\{1,x^n\}\subset H$ and $1\le y\le x^n$ so $y\in H$.

(ii). If $1>z\in \Gamma$ then $1<z^{-1}$ so $z^{-1}\in H$ by (i), so $z\in H$.

So $H=\Gamma$.

So the only convex subgroups of $\Gamma$ are $\Gamma$ and $\{1\}$.

Appendix. It was unnecessary to assume $\Gamma$ is Abelian. Non-Abelian ordered groups do exist. But by elementary (but not brief) methods we can show that if $\Gamma$ is an ordered group with the Archimedean property then there is an ordered-group-isomorphism from $\Gamma$ to a subgroup of the additive Reals, implying $\Gamma$ is Abelian.

Comments

There is no comment, let's add the first one.

弦圈热门内容

Vertically aligning CSS :before and :after content

I am trying to centre the link with the image, but can't seem to move the content vertically in any way.&lt;h4&gt;More Information&lt;/h4&gt; &lt;a href="#" class="pdf"&gt;File Name&lt;/a&gt;The icon is 22 x 22px.pdf { font-size: 12px; } .pdf:before { padding:0 5px 0 0; content: url(../img/icon/pdf_small.png); } .pdf:after { content: " ( .pdf )"; font-size: 10px; } .pdf:hover:after { color: #000; }

Get connected with us on social networks! Twitter

©2024 Guangzhou Sinephony Technology Co., Ltd All Rights Reserved