Show: Let $G$ be an archimedean ordered group, and given $0 neq g in G$, $h in G$, $exists n in mathbb{Z}$...











up vote
0
down vote

favorite












Here is my attempt:
Suppose $h geq 0$, then by Archimedean property of the ordering, $exists nin mathbb{N}$ s.t $h<g^{n+1}$. Hence consider the set $S$ of all $kin mathbb{N}$ such that $h<g^{k+1}$. By well ordering principle, $S$ has a minimum, call it $n+1$. Then $g^n<h<g^{n+1}$.



Now suppose $h<0$, then $h^{-1}>0$ and assume $g^{-1}>0$ so there is $n in mathbb{N}$ s.t $g^{-(n-1)} leq h^{-1}<g^{-n}$ where $n$ is the smallest positive number satisfying this property. Then $g^{n+1} geq h>g^n. But this is not what we want. Is this the right way to prove it?
enter image description here










share|cite|improve this question
























  • It's absurd if $g<0$.
    – YCor
    Nov 23 at 21:31










  • It was an exercise in the book.
    – mathnoob
    Nov 23 at 22:26












  • what's in the book is correct, not what you wrote
    – YCor
    Nov 23 at 22:32










  • Yes I know, that is why I want to know the right way to prove it. The book has no proof. Please help
    – mathnoob
    Nov 23 at 22:33












  • But the claim in your title is false
    – YCor
    Nov 23 at 22:34

















up vote
0
down vote

favorite












Here is my attempt:
Suppose $h geq 0$, then by Archimedean property of the ordering, $exists nin mathbb{N}$ s.t $h<g^{n+1}$. Hence consider the set $S$ of all $kin mathbb{N}$ such that $h<g^{k+1}$. By well ordering principle, $S$ has a minimum, call it $n+1$. Then $g^n<h<g^{n+1}$.



Now suppose $h<0$, then $h^{-1}>0$ and assume $g^{-1}>0$ so there is $n in mathbb{N}$ s.t $g^{-(n-1)} leq h^{-1}<g^{-n}$ where $n$ is the smallest positive number satisfying this property. Then $g^{n+1} geq h>g^n. But this is not what we want. Is this the right way to prove it?
enter image description here










share|cite|improve this question
























  • It's absurd if $g<0$.
    – YCor
    Nov 23 at 21:31










  • It was an exercise in the book.
    – mathnoob
    Nov 23 at 22:26












  • what's in the book is correct, not what you wrote
    – YCor
    Nov 23 at 22:32










  • Yes I know, that is why I want to know the right way to prove it. The book has no proof. Please help
    – mathnoob
    Nov 23 at 22:33












  • But the claim in your title is false
    – YCor
    Nov 23 at 22:34















up vote
0
down vote

favorite









up vote
0
down vote

favorite











Here is my attempt:
Suppose $h geq 0$, then by Archimedean property of the ordering, $exists nin mathbb{N}$ s.t $h<g^{n+1}$. Hence consider the set $S$ of all $kin mathbb{N}$ such that $h<g^{k+1}$. By well ordering principle, $S$ has a minimum, call it $n+1$. Then $g^n<h<g^{n+1}$.



Now suppose $h<0$, then $h^{-1}>0$ and assume $g^{-1}>0$ so there is $n in mathbb{N}$ s.t $g^{-(n-1)} leq h^{-1}<g^{-n}$ where $n$ is the smallest positive number satisfying this property. Then $g^{n+1} geq h>g^n. But this is not what we want. Is this the right way to prove it?
enter image description here










share|cite|improve this question















Here is my attempt:
Suppose $h geq 0$, then by Archimedean property of the ordering, $exists nin mathbb{N}$ s.t $h<g^{n+1}$. Hence consider the set $S$ of all $kin mathbb{N}$ such that $h<g^{k+1}$. By well ordering principle, $S$ has a minimum, call it $n+1$. Then $g^n<h<g^{n+1}$.



Now suppose $h<0$, then $h^{-1}>0$ and assume $g^{-1}>0$ so there is $n in mathbb{N}$ s.t $g^{-(n-1)} leq h^{-1}<g^{-n}$ where $n$ is the smallest positive number satisfying this property. Then $g^{n+1} geq h>g^n. But this is not what we want. Is this the right way to prove it?
enter image description here







group-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 23 at 22:38

























asked Nov 22 at 14:54









mathnoob

1,102115




1,102115












  • It's absurd if $g<0$.
    – YCor
    Nov 23 at 21:31










  • It was an exercise in the book.
    – mathnoob
    Nov 23 at 22:26












  • what's in the book is correct, not what you wrote
    – YCor
    Nov 23 at 22:32










  • Yes I know, that is why I want to know the right way to prove it. The book has no proof. Please help
    – mathnoob
    Nov 23 at 22:33












  • But the claim in your title is false
    – YCor
    Nov 23 at 22:34




















  • It's absurd if $g<0$.
    – YCor
    Nov 23 at 21:31










  • It was an exercise in the book.
    – mathnoob
    Nov 23 at 22:26












  • what's in the book is correct, not what you wrote
    – YCor
    Nov 23 at 22:32










  • Yes I know, that is why I want to know the right way to prove it. The book has no proof. Please help
    – mathnoob
    Nov 23 at 22:33












  • But the claim in your title is false
    – YCor
    Nov 23 at 22:34


















It's absurd if $g<0$.
– YCor
Nov 23 at 21:31




It's absurd if $g<0$.
– YCor
Nov 23 at 21:31












It was an exercise in the book.
– mathnoob
Nov 23 at 22:26






It was an exercise in the book.
– mathnoob
Nov 23 at 22:26














what's in the book is correct, not what you wrote
– YCor
Nov 23 at 22:32




what's in the book is correct, not what you wrote
– YCor
Nov 23 at 22:32












Yes I know, that is why I want to know the right way to prove it. The book has no proof. Please help
– mathnoob
Nov 23 at 22:33






Yes I know, that is why I want to know the right way to prove it. The book has no proof. Please help
– mathnoob
Nov 23 at 22:33














But the claim in your title is false
– YCor
Nov 23 at 22:34






But the claim in your title is false
– YCor
Nov 23 at 22:34

















active

oldest

votes











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














 

draft saved


draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3009234%2fshow-let-g-be-an-archimedean-ordered-group-and-given-0-neq-g-in-g-h-i%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown






























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3009234%2fshow-let-g-be-an-archimedean-ordered-group-and-given-0-neq-g-in-g-h-i%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Berounka

Sphinx de Gizeh

Different font size/position of beamer's navigation symbols template's content depending on regular/plain...