Dtjytyk

How should I replace vector<uint8_t>::const_iterator in an API?

University's motivation for having tenure-track positions

does high air pressure throw off wheel balance?

"... to apply for a visa" or "... and applied for a visa"?

Single author papers against my advisor's will?

Simulating Exploding Dice

How is simplicity better than precision and clarity in prose?

The following signatures were invalid: EXPKEYSIG 1397BC53640DB551

Derivation tree not rendering

What LEGO pieces have "real-world" functionality?

What do you call a plan that's an alternative plan in case your initial plan fails?

How to split app screen on my Mac?

Can smartphones with the same camera sensor have different image quality?

Typeface like Times New Roman but with "tied" percent sign

Did the new image of black hole confirm the general theory of relativity?

How can I define good in a religion that claims no moral authority?

Why does this iterative way of solving of equation work?

What does the torsion-free condition for a connection mean in terms of its horizontal bundle?

Make it rain characters

How long does the line of fire that you can create as an action using the Investiture of Flame spell last?

Did the UK government pay "millions and millions of dollars" to try to snag Julian Assange?

Can the prologue be the backstory of your main character?

Python - Fishing Simulator

Am I ethically obligated to go into work on an off day if the reason is sudden?

Valuation ring, of infinite global dimension, with principal maximal ideal

1

2

$begingroup$

Does there exist a Valuation ring $(R, mathfrak m)$ , with principal maximal ideal, of infinite global dimension ?

Corollary 2 of the following paper by Osofsky has an example of Valuation ring of infinite global dimension. But I'm not sure whether we can also construct such example with principal maximal ideal.

Please help

commutative-algebra homological-algebra valuation-theory global-dimension

share|cite|improve this question

edited Mar 23 at 13:16

Andrés E. Caicedo

66k8160252

asked Mar 22 at 22:23

user521337user521337

1,2201417

$endgroup$

add a comment | 

1

2

$begingroup$

Does there exist a Valuation ring $(R, mathfrak m)$ , with principal maximal ideal, of infinite global dimension ?

Corollary 2 of the following paper by Osofsky has an example of Valuation ring of infinite global dimension. But I'm not sure whether we can also construct such example with principal maximal ideal.

Please help

commutative-algebra homological-algebra valuation-theory global-dimension

share|cite|improve this question

edited Mar 23 at 13:16

Andrés E. Caicedo

66k8160252

asked Mar 22 at 22:23

user521337user521337

1,2201417

$endgroup$

add a comment | 

$begingroup$

Does there exist a Valuation ring $(R, mathfrak m)$ , with principal maximal ideal, of infinite global dimension ?

Corollary 2 of the following paper by Osofsky has an example of Valuation ring of infinite global dimension. But I'm not sure whether we can also construct such example with principal maximal ideal.

Please help

commutative-algebra homological-algebra valuation-theory global-dimension

share|cite|improve this question

edited Mar 23 at 13:16

Andrés E. Caicedo

66k8160252

asked Mar 22 at 22:23

user521337user521337

1,2201417

$endgroup$

share|cite|improve this question

edited Mar 23 at 13:16

Andrés E. Caicedo

66k8160252

asked Mar 22 at 22:23

user521337user521337

1,2201417

share|cite|improve this question

edited Mar 23 at 13:16

Andrés E. Caicedo

66k8160252

asked Mar 22 at 22:23

user521337user521337

1,2201417

edited Mar 23 at 13:16

Andrés E. Caicedo

66k8160252

edited Mar 23 at 13:16

Andrés E. Caicedo

66k8160252

asked Mar 22 at 22:23

user521337user521337

1,2201417

asked Mar 22 at 22:23

user521337user521337

1,2201417

1 Answer
1

active

oldest

votes

1

$begingroup$

The example of a valuation domain of infinite global dimension Barbara Osofsky gives is a generalized power series ring $k[[Gamma]]$ with a well-chosen ordered abelian group $Gamma$. But as far as I see the residue field $k$ can be chosen arbitrarily. Hence one can take any field $k$, that carries a discrete valuation ring $overline{O}subset k$. Let $Osubset k[[Gamma]]$ be the preimage of $overline{O}$ under the natural homomorphism $k[[Gamma]]rightarrow k$. Then $O$ is a valuation ring of the fraction field of $k[[Gamma]]$ and $k[[Gamma]]$ is a localization of $O$. Consequently $O$ must have infinite global dimension, since global dimension decreases under localization. On the other side the maximal ideal of $O$ is generated by any preimage of a generator of the maximal ideal of $overline{O}$.

share|cite|improve this answer

answered Mar 23 at 3:33

Hagen KnafHagen Knaf

6,9521318

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I'm quite not sure why $O$ is a Valuation ring ... why are the ideals linearly ordered ?
  $endgroup$
  – user521337
  Mar 24 at 0:40
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  To check that $O$ is a valuation ring one verifies that either $xin O$ or $x^{-1}in O$ for every $xin k((Gamma))$. So assume $xnotin O$. Case 1: $xnotin k[[Gamma]]$. Then $x^{-1}$ is in the maximal ideal of $k[[Gamma]]$, which is the preimage of $0$ under the natural map. Hence $x^{-1}in O$. Case 2: $xin k[[Gamma]]$. Then the image $overline{x}$ of $x$ is not in $overline{O}$ and thus $overline{x}^{-1}inoverline{O}$. Consequently $x^{-1}in O$. (Remark: in valuation theory $O$ is called the composite valuation ring of $overline{O}$ and $k[[Gamma]]$).
  $endgroup$
  – Hagen Knaf
  Mar 24 at 9:41
  
  
  

  
  
  
  

add a comment | 

Your Answer

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',
autoActivateHeartbeat: false,
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

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3158739%2fvaluation-ring-of-infinite-global-dimension-with-principal-maximal-ideal%23new-answer', 'question_page');
}
);

Post as a guest

Name

Email

Required, but never shown

1

$begingroup$

The example of a valuation domain of infinite global dimension Barbara Osofsky gives is a generalized power series ring $k[[Gamma]]$ with a well-chosen ordered abelian group $Gamma$. But as far as I see the residue field $k$ can be chosen arbitrarily. Hence one can take any field $k$, that carries a discrete valuation ring $overline{O}subset k$. Let $Osubset k[[Gamma]]$ be the preimage of $overline{O}$ under the natural homomorphism $k[[Gamma]]rightarrow k$. Then $O$ is a valuation ring of the fraction field of $k[[Gamma]]$ and $k[[Gamma]]$ is a localization of $O$. Consequently $O$ must have infinite global dimension, since global dimension decreases under localization. On the other side the maximal ideal of $O$ is generated by any preimage of a generator of the maximal ideal of $overline{O}$.

share|cite|improve this answer

answered Mar 23 at 3:33

Hagen KnafHagen Knaf

6,9521318

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I'm quite not sure why $O$ is a Valuation ring ... why are the ideals linearly ordered ?
  $endgroup$
  – user521337
  Mar 24 at 0:40
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  To check that $O$ is a valuation ring one verifies that either $xin O$ or $x^{-1}in O$ for every $xin k((Gamma))$. So assume $xnotin O$. Case 1: $xnotin k[[Gamma]]$. Then $x^{-1}$ is in the maximal ideal of $k[[Gamma]]$, which is the preimage of $0$ under the natural map. Hence $x^{-1}in O$. Case 2: $xin k[[Gamma]]$. Then the image $overline{x}$ of $x$ is not in $overline{O}$ and thus $overline{x}^{-1}inoverline{O}$. Consequently $x^{-1}in O$. (Remark: in valuation theory $O$ is called the composite valuation ring of $overline{O}$ and $k[[Gamma]]$).
  $endgroup$
  – Hagen Knaf
  Mar 24 at 9:41
  
  
  

  
  
  
  

add a comment | 

1

$begingroup$

The example of a valuation domain of infinite global dimension Barbara Osofsky gives is a generalized power series ring $k[[Gamma]]$ with a well-chosen ordered abelian group $Gamma$. But as far as I see the residue field $k$ can be chosen arbitrarily. Hence one can take any field $k$, that carries a discrete valuation ring $overline{O}subset k$. Let $Osubset k[[Gamma]]$ be the preimage of $overline{O}$ under the natural homomorphism $k[[Gamma]]rightarrow k$. Then $O$ is a valuation ring of the fraction field of $k[[Gamma]]$ and $k[[Gamma]]$ is a localization of $O$. Consequently $O$ must have infinite global dimension, since global dimension decreases under localization. On the other side the maximal ideal of $O$ is generated by any preimage of a generator of the maximal ideal of $overline{O}$.

share|cite|improve this answer

answered Mar 23 at 3:33

Hagen KnafHagen Knaf

6,9521318

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I'm quite not sure why $O$ is a Valuation ring ... why are the ideals linearly ordered ?
  $endgroup$
  – user521337
  Mar 24 at 0:40
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  To check that $O$ is a valuation ring one verifies that either $xin O$ or $x^{-1}in O$ for every $xin k((Gamma))$. So assume $xnotin O$. Case 1: $xnotin k[[Gamma]]$. Then $x^{-1}$ is in the maximal ideal of $k[[Gamma]]$, which is the preimage of $0$ under the natural map. Hence $x^{-1}in O$. Case 2: $xin k[[Gamma]]$. Then the image $overline{x}$ of $x$ is not in $overline{O}$ and thus $overline{x}^{-1}inoverline{O}$. Consequently $x^{-1}in O$. (Remark: in valuation theory $O$ is called the composite valuation ring of $overline{O}$ and $k[[Gamma]]$).
  $endgroup$
  – Hagen Knaf
  Mar 24 at 9:41
  
  
  

  
  
  
  

add a comment | 

$begingroup$

The example of a valuation domain of infinite global dimension Barbara Osofsky gives is a generalized power series ring $k[[Gamma]]$ with a well-chosen ordered abelian group $Gamma$. But as far as I see the residue field $k$ can be chosen arbitrarily. Hence one can take any field $k$, that carries a discrete valuation ring $overline{O}subset k$. Let $Osubset k[[Gamma]]$ be the preimage of $overline{O}$ under the natural homomorphism $k[[Gamma]]rightarrow k$. Then $O$ is a valuation ring of the fraction field of $k[[Gamma]]$ and $k[[Gamma]]$ is a localization of $O$. Consequently $O$ must have infinite global dimension, since global dimension decreases under localization. On the other side the maximal ideal of $O$ is generated by any preimage of a generator of the maximal ideal of $overline{O}$.

share|cite|improve this answer

answered Mar 23 at 3:33

Hagen KnafHagen Knaf

6,9521318

$endgroup$

share|cite|improve this answer

answered Mar 23 at 3:33

Hagen KnafHagen Knaf

6,9521318

answered Mar 23 at 3:33

Hagen KnafHagen Knaf

6,9521318

answered Mar 23 at 3:33

Hagen KnafHagen Knaf

6,9521318