Confusion About Invertible ModulesFinitely generated projective modules are locally freeAre projective modules over an artinian ring free?The existence of a projective resolution of M from finite rank free modulesHartshorne Chapter II exercise 5.7 on Invertible sheavesProjectivity of a (prime) ideal in a noetherian integral domainEvery finitely generated flat module over a ring with a finite number of minimal primes is projectiveQuotient of free modules is torsion implies rank is the same?Computing Picard groups by showing invertible modules are uniquely determinedInvertible ideals and locally free moduleThe multiplication of rank for finite projective modules
What defenses are there against being summoned by the Gate spell?
Do I have a twin with permutated remainders?
How much RAM could one put in a typical 80386 setup?
Add text to same line using sed
Why can't we play rap on piano?
I'm flying to France today and my passport expires in less than 2 months
A newer friend of my brother's gave him a load of baseball cards that are supposedly extremely valuable. Is this a scam?
NMaximize is not converging to a solution
How does one intimidate enemies without having the capacity for violence?
Theorems that impeded progress
What does the "remote control" for a QF-4 look like?
Approximately how much travel time was saved by the opening of the Suez Canal in 1869?
Paid for article while in US on F-1 visa?
strTok function (thread safe, supports empty tokens, doesn't change string)
How much of data wrangling is a data scientist's job?
Does detail obscure or enhance action?
Character reincarnated...as a snail
Why doesn't H₄O²⁺ exist?
If human space travel is limited by the G force vulnerability, is there a way to counter G forces?
Can a Cauchy sequence converge for one metric while not converging for another?
Are the number of citations and number of published articles the most important criteria for a tenure promotion?
Why does Kotter return in Welcome Back Kotter?
Can you really stack all of this on an Opportunity Attack?
Why is 150k or 200k jobs considered good when there's 300k+ births a month?
Confusion About Invertible Modules
Finitely generated projective modules are locally freeAre projective modules over an artinian ring free?The existence of a projective resolution of M from finite rank free modulesHartshorne Chapter II exercise 5.7 on Invertible sheavesProjectivity of a (prime) ideal in a noetherian integral domainEvery finitely generated flat module over a ring with a finite number of minimal primes is projectiveQuotient of free modules is torsion implies rank is the same?Computing Picard groups by showing invertible modules are uniquely determinedInvertible ideals and locally free moduleThe multiplication of rank for finite projective modules
$begingroup$
According to the Stacks Project, a module is invertible iff it is locally free of rank one.(In the strong sense, not just that the stalks are free).Link
So, according to this link, the module is finite projective of rank one. But this question says that this is not true. What is the correct answer here?
commutative-algebra projective-module
$endgroup$
|
show 6 more comments
$begingroup$
According to the Stacks Project, a module is invertible iff it is locally free of rank one.(In the strong sense, not just that the stalks are free).Link
So, according to this link, the module is finite projective of rank one. But this question says that this is not true. What is the correct answer here?
commutative-algebra projective-module
$endgroup$
1
$begingroup$
Can you spell out the place where "this question" says that this is not true?
$endgroup$
– Youngsu
Mar 29 at 14:41
$begingroup$
It says that condition 1) is strictly stronger.
$endgroup$
– Jehu314
Mar 29 at 15:03
1
$begingroup$
What is your argument? It is better for the readers if you state the necessary statements in your post and specify your question explicitly.
$endgroup$
– Youngsu
Mar 29 at 17:56
1
$begingroup$
Finiteness is the difference as stated in those two links.
$endgroup$
– Youngsu
Mar 29 at 18:31
1
$begingroup$
What is your question? Are you asking whether a locally free module of rank $1$ is projective?
$endgroup$
– Qiaochu Yuan
Mar 29 at 19:48
|
show 6 more comments
$begingroup$
According to the Stacks Project, a module is invertible iff it is locally free of rank one.(In the strong sense, not just that the stalks are free).Link
So, according to this link, the module is finite projective of rank one. But this question says that this is not true. What is the correct answer here?
commutative-algebra projective-module
$endgroup$
According to the Stacks Project, a module is invertible iff it is locally free of rank one.(In the strong sense, not just that the stalks are free).Link
So, according to this link, the module is finite projective of rank one. But this question says that this is not true. What is the correct answer here?
commutative-algebra projective-module
commutative-algebra projective-module
asked Mar 29 at 11:46
Jehu314Jehu314
1549
1549
1
$begingroup$
Can you spell out the place where "this question" says that this is not true?
$endgroup$
– Youngsu
Mar 29 at 14:41
$begingroup$
It says that condition 1) is strictly stronger.
$endgroup$
– Jehu314
Mar 29 at 15:03
1
$begingroup$
What is your argument? It is better for the readers if you state the necessary statements in your post and specify your question explicitly.
$endgroup$
– Youngsu
Mar 29 at 17:56
1
$begingroup$
Finiteness is the difference as stated in those two links.
$endgroup$
– Youngsu
Mar 29 at 18:31
1
$begingroup$
What is your question? Are you asking whether a locally free module of rank $1$ is projective?
$endgroup$
– Qiaochu Yuan
Mar 29 at 19:48
|
show 6 more comments
1
$begingroup$
Can you spell out the place where "this question" says that this is not true?
$endgroup$
– Youngsu
Mar 29 at 14:41
$begingroup$
It says that condition 1) is strictly stronger.
$endgroup$
– Jehu314
Mar 29 at 15:03
1
$begingroup$
What is your argument? It is better for the readers if you state the necessary statements in your post and specify your question explicitly.
$endgroup$
– Youngsu
Mar 29 at 17:56
1
$begingroup$
Finiteness is the difference as stated in those two links.
$endgroup$
– Youngsu
Mar 29 at 18:31
1
$begingroup$
What is your question? Are you asking whether a locally free module of rank $1$ is projective?
$endgroup$
– Qiaochu Yuan
Mar 29 at 19:48
1
1
$begingroup$
Can you spell out the place where "this question" says that this is not true?
$endgroup$
– Youngsu
Mar 29 at 14:41
$begingroup$
Can you spell out the place where "this question" says that this is not true?
$endgroup$
– Youngsu
Mar 29 at 14:41
$begingroup$
It says that condition 1) is strictly stronger.
$endgroup$
– Jehu314
Mar 29 at 15:03
$begingroup$
It says that condition 1) is strictly stronger.
$endgroup$
– Jehu314
Mar 29 at 15:03
1
1
$begingroup$
What is your argument? It is better for the readers if you state the necessary statements in your post and specify your question explicitly.
$endgroup$
– Youngsu
Mar 29 at 17:56
$begingroup$
What is your argument? It is better for the readers if you state the necessary statements in your post and specify your question explicitly.
$endgroup$
– Youngsu
Mar 29 at 17:56
1
1
$begingroup$
Finiteness is the difference as stated in those two links.
$endgroup$
– Youngsu
Mar 29 at 18:31
$begingroup$
Finiteness is the difference as stated in those two links.
$endgroup$
– Youngsu
Mar 29 at 18:31
1
1
$begingroup$
What is your question? Are you asking whether a locally free module of rank $1$ is projective?
$endgroup$
– Qiaochu Yuan
Mar 29 at 19:48
$begingroup$
What is your question? Are you asking whether a locally free module of rank $1$ is projective?
$endgroup$
– Qiaochu Yuan
Mar 29 at 19:48
|
show 6 more comments
0
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',
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
);
);
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
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3167056%2fconfusion-about-invertible-modules%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3167056%2fconfusion-about-invertible-modules%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
1
$begingroup$
Can you spell out the place where "this question" says that this is not true?
$endgroup$
– Youngsu
Mar 29 at 14:41
$begingroup$
It says that condition 1) is strictly stronger.
$endgroup$
– Jehu314
Mar 29 at 15:03
1
$begingroup$
What is your argument? It is better for the readers if you state the necessary statements in your post and specify your question explicitly.
$endgroup$
– Youngsu
Mar 29 at 17:56
1
$begingroup$
Finiteness is the difference as stated in those two links.
$endgroup$
– Youngsu
Mar 29 at 18:31
1
$begingroup$
What is your question? Are you asking whether a locally free module of rank $1$ is projective?
$endgroup$
– Qiaochu Yuan
Mar 29 at 19:48