Does the category of finite dimensional free modules over a principal ideal domain have all finite colimits?A surjective homomorphism between finite free modules of the same rankSources on a category of ordinalsMonads on Set and their strengthFree objects in the category of dg modulesWhat does the type theory of a free-category-over-M look like?What's wrong or where is the AOC required in this proof? (free modules over a PID)Refinement of the structure theorem of finitely generated modules over a principal ideal domainWhy is $mathbb Z_p$ a free $mathbb Z$-module? Equivalently, why is $mathbb Q_p$ finite dimensional over $mathbb Q$?If ideal $I$ of domain $R$ is free $R$-module, then $I$ is principal ideal.Does the comma category of a set over category of graphs have initial and terminal objects?
histogram using edges
Delta TSA-Precheck status removed
Is the schwa sound consistent?
We are two immediate neighbors who forged our own powers to form concatenated relationship. Who are we?
Is the homebrew weapon attack cantrip 'Arcane Strike' balanced?
stdout and stderr redirection to different files
Two researchers want to work on the same extension to my paper. Who to help?
What is the significance of 4200 BCE in context of farming replacing foraging in Europe?
Should these notes be played as a chord or one after another?
How could we transfer large amounts of energy sourced in space to Earth?
Limit of an integral vs Limit of the integrand
Help decide course of action for rotting windows
Why was the Ancient One so hesitant to teach Dr. Strange the art of sorcery?
Was there a contingency plan in place if Little Boy failed to detonate?
Drawing Quarter-Circle
What did Rocket give Hawkeye in "Avengers: Endgame"?
Why did God specifically target the firstborn in the 10th plague (Exodus 12:29-36)?
"Right on the tip of my tongue" meaning?
Exception propagation: When to catch exceptions?
Washer drain pipe overflow
What is the best way for a skeleton to impersonate human without using magic?
What are the ramifications of setting ARITHABORT ON for all connections in SQL Server?
Pre-1993 comic in which Wolverine's claws were turned to rubber?
What are some possible reasons that a father's name is missing from a birth certificate - England?
Does the category of finite dimensional free modules over a principal ideal domain have all finite colimits?
A surjective homomorphism between finite free modules of the same rankSources on a category of ordinalsMonads on Set and their strengthFree objects in the category of dg modulesWhat does the type theory of a free-category-over-M look like?What's wrong or where is the AOC required in this proof? (free modules over a PID)Refinement of the structure theorem of finitely generated modules over a principal ideal domainWhy is $mathbb Z_p$ a free $mathbb Z$-module? Equivalently, why is $mathbb Q_p$ finite dimensional over $mathbb Q$?If ideal $I$ of domain $R$ is free $R$-module, then $I$ is principal ideal.Does the comma category of a set over category of graphs have initial and terminal objects?
$begingroup$
A paper I'm reading states this fact without proof, and I can't seem to find a proof for it.
category-theory free-modules
asked 5 hours ago
violetavioleta
387210
$endgroup$
add a comment |
$begingroup$
A paper I'm reading states this fact without proof, and I can't seem to find a proof for it.
category-theory free-modules
asked 5 hours ago
violetavioleta
387210
$endgroup$
add a comment |
$begingroup$
A paper I'm reading states this fact without proof, and I can't seem to find a proof for it.
category-theory free-modules
asked 5 hours ago
violetavioleta
387210
$endgroup$
A paper I'm reading states this fact without proof, and I can't seem to find a proof for it.
category-theory free-modules
category-theory free-modules
asked 5 hours ago
violetavioleta
387210
asked 5 hours ago
violetavioleta
387210
asked 5 hours ago
violetavioleta
387210
asked 5 hours ago
violetavioleta
387210
asked 5 hours ago
violetavioleta
387210
387210
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Yes. First, the category of finitely generated modules has all finite colimits (it is closed under finite colimits in the category of all modules). But the category of finite rank free modules is a reflective subcategory: the reflector just mods out the torsion submodule (here we use the fact that any finitely generated torsion-free module is free). It follows that the category of finite rank free modules also has all finite colimits.
Explicitly, given a finite diagram, you compute its colimit as usual in the category of modules, and then mod out the torsion submodule to get the colimit in the category of finite rank free modules. This still has the required universal property because any map to a free module will vanish on the torsion submodule.
answered 5 hours ago
Eric WofseyEric Wofsey
196k14226357
$endgroup$
$begingroup$
Interesting, do you have any reference on the proof that the category of finitely generated modules has all finite colimits?
$endgroup$
– violeta
4 hours ago
2
$begingroup$
A finite colimit (in the category of all modules) of finitely generated modules is finitely generated; this follows immediately from the explicit construction of colimits as a quotient of the coproduct of all the objects in the diagram (the coproduct in this case being a finite direct sum).
$endgroup$
– Eric Wofsey
4 hours ago
$begingroup$
Oh, I see! Thanks a lot :)
$endgroup$
– violeta
4 hours ago
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
);
);
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%2f3221322%2fdoes-the-category-of-finite-dimensional-free-modules-over-a-principal-ideal-doma%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Yes. First, the category of finitely generated modules has all finite colimits (it is closed under finite colimits in the category of all modules). But the category of finite rank free modules is a reflective subcategory: the reflector just mods out the torsion submodule (here we use the fact that any finitely generated torsion-free module is free). It follows that the category of finite rank free modules also has all finite colimits.
Explicitly, given a finite diagram, you compute its colimit as usual in the category of modules, and then mod out the torsion submodule to get the colimit in the category of finite rank free modules. This still has the required universal property because any map to a free module will vanish on the torsion submodule.
answered 5 hours ago
Eric WofseyEric Wofsey
196k14226357
$endgroup$
$begingroup$
Interesting, do you have any reference on the proof that the category of finitely generated modules has all finite colimits?
$endgroup$
– violeta
4 hours ago
2
$begingroup$
A finite colimit (in the category of all modules) of finitely generated modules is finitely generated; this follows immediately from the explicit construction of colimits as a quotient of the coproduct of all the objects in the diagram (the coproduct in this case being a finite direct sum).
$endgroup$
– Eric Wofsey
4 hours ago
$begingroup$
Oh, I see! Thanks a lot :)
$endgroup$
– violeta
4 hours ago
add a comment |
$begingroup$
Yes. First, the category of finitely generated modules has all finite colimits (it is closed under finite colimits in the category of all modules). But the category of finite rank free modules is a reflective subcategory: the reflector just mods out the torsion submodule (here we use the fact that any finitely generated torsion-free module is free). It follows that the category of finite rank free modules also has all finite colimits.
Explicitly, given a finite diagram, you compute its colimit as usual in the category of modules, and then mod out the torsion submodule to get the colimit in the category of finite rank free modules. This still has the required universal property because any map to a free module will vanish on the torsion submodule.
answered 5 hours ago
Eric WofseyEric Wofsey
196k14226357
$endgroup$
$begingroup$
Interesting, do you have any reference on the proof that the category of finitely generated modules has all finite colimits?
$endgroup$
– violeta
4 hours ago
2
$begingroup$
A finite colimit (in the category of all modules) of finitely generated modules is finitely generated; this follows immediately from the explicit construction of colimits as a quotient of the coproduct of all the objects in the diagram (the coproduct in this case being a finite direct sum).
$endgroup$
– Eric Wofsey
4 hours ago
$begingroup$
Oh, I see! Thanks a lot :)
$endgroup$
– violeta
4 hours ago
add a comment |
$begingroup$
Yes. First, the category of finitely generated modules has all finite colimits (it is closed under finite colimits in the category of all modules). But the category of finite rank free modules is a reflective subcategory: the reflector just mods out the torsion submodule (here we use the fact that any finitely generated torsion-free module is free). It follows that the category of finite rank free modules also has all finite colimits.
Explicitly, given a finite diagram, you compute its colimit as usual in the category of modules, and then mod out the torsion submodule to get the colimit in the category of finite rank free modules. This still has the required universal property because any map to a free module will vanish on the torsion submodule.
answered 5 hours ago
Eric WofseyEric Wofsey
196k14226357
$endgroup$
Yes. First, the category of finitely generated modules has all finite colimits (it is closed under finite colimits in the category of all modules). But the category of finite rank free modules is a reflective subcategory: the reflector just mods out the torsion submodule (here we use the fact that any finitely generated torsion-free module is free). It follows that the category of finite rank free modules also has all finite colimits.
Explicitly, given a finite diagram, you compute its colimit as usual in the category of modules, and then mod out the torsion submodule to get the colimit in the category of finite rank free modules. This still has the required universal property because any map to a free module will vanish on the torsion submodule.
answered 5 hours ago
Eric WofseyEric Wofsey
196k14226357
edited 4 hours ago
answered 5 hours ago
Eric WofseyEric Wofsey
196k14226357
answered 5 hours ago
Eric WofseyEric Wofsey
196k14226357
answered 5 hours ago
Eric WofseyEric Wofsey
196k14226357
196k14226357
$begingroup$
Interesting, do you have any reference on the proof that the category of finitely generated modules has all finite colimits?
$endgroup$
– violeta
4 hours ago
2
$begingroup$
A finite colimit (in the category of all modules) of finitely generated modules is finitely generated; this follows immediately from the explicit construction of colimits as a quotient of the coproduct of all the objects in the diagram (the coproduct in this case being a finite direct sum).
$endgroup$
– Eric Wofsey
4 hours ago
$begingroup$
Oh, I see! Thanks a lot :)
$endgroup$
– violeta
4 hours ago
add a comment |
$begingroup$
Interesting, do you have any reference on the proof that the category of finitely generated modules has all finite colimits?
$endgroup$
– violeta
4 hours ago
2
$begingroup$
A finite colimit (in the category of all modules) of finitely generated modules is finitely generated; this follows immediately from the explicit construction of colimits as a quotient of the coproduct of all the objects in the diagram (the coproduct in this case being a finite direct sum).
$endgroup$
– Eric Wofsey
4 hours ago
$begingroup$
Oh, I see! Thanks a lot :)
$endgroup$
– violeta
4 hours ago
$begingroup$
Interesting, do you have any reference on the proof that the category of finitely generated modules has all finite colimits?
$endgroup$
– violeta
4 hours ago
$begingroup$
Interesting, do you have any reference on the proof that the category of finitely generated modules has all finite colimits?
$endgroup$
– violeta
4 hours ago
2
2
$begingroup$
A finite colimit (in the category of all modules) of finitely generated modules is finitely generated; this follows immediately from the explicit construction of colimits as a quotient of the coproduct of all the objects in the diagram (the coproduct in this case being a finite direct sum).
$endgroup$
– Eric Wofsey
4 hours ago
$begingroup$
A finite colimit (in the category of all modules) of finitely generated modules is finitely generated; this follows immediately from the explicit construction of colimits as a quotient of the coproduct of all the objects in the diagram (the coproduct in this case being a finite direct sum).
$endgroup$
– Eric Wofsey
4 hours ago
$begingroup$
Oh, I see! Thanks a lot :)
$endgroup$
– violeta
4 hours ago
$begingroup$
Oh, I see! Thanks a lot :)
$endgroup$
– violeta
4 hours ago
add a comment |
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%2f3221322%2fdoes-the-category-of-finite-dimensional-free-modules-over-a-principal-ideal-doma%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
