Classification of indecomposable abelian groups and direct product
$begingroup$
I am having many questions about abelian groups, indecomposable groups and the direct product. Here goes :
1) Are all the indecomposable abelian groups (which can't be written as non trivial direct products) known ? I have thought for long that there only was $mathbb{Q}$, its subgroups, cyclic groups of primary orders and Prüfer groups (complex unit roots of $p^n$ for some $n$, $p$ fixed prime). And then I realised the p-adic integers et their fraction field are indecomposable too. Do you know what is known ? I am having trouble finding things on the matter, I would hope for a "unique decomposition theorem" for all groups that are of some "finite dimension". Does it exist ?
2) I have tried to study the group $mathbb{Z}^mathbb{N} / mathbb{Z}^{(mathbb{N})}$, it seems interesting (integers sequences modulo integers sequences having finite support) : it does not have any of the indecomposable abelian groups I know (listed above) as direct factors, yet it is not indecomposable (it is its own square). Are there other know groups like this ?
3) A professor suggested to look for subgroups of $mathbb{Q} times mathbb{Q}$, I had trouble finding interesting ones, what do they look like ?
4) I have that intuition that indecomposable groups show be at most countable, is that true ?
5 ) Are there good invariants to study abelian groups (I mainly use n-divisibility of its elements, and their order) ?
6 ) I had this idea to study groups like subgroups of $mathbb{Q} times mathbb{Q}$ : any at most countable abelian group can be written as a directed colimit of finitely generated groups thus as a colimit of a diagram of well know groups and matrices between them : could this approach work to study abelian groups ?
7) Is it true that for every abelian group $G$ and $H$, for every subgroup of $K$ of $G times H$, there are two subgroups $G'$ of $G$, $H'$of $H$, such that $K$ is isomorphic to $G' times H'$. It seems wrong, I found a counter example in the non abelian case, not in the abelian case.
8) Are some of these questions studied for $R$-modules in general ? What are know indecomposable $R$-modules etc ?
Sorry for all the questions,
Thank you in advance,
Ludovic
abelian-groups direct-product
asked Dec 8 '18 at 19:41
Ludovic MonierLudovic Monier
61
$endgroup$
add a comment |
$begingroup$
I am having many questions about abelian groups, indecomposable groups and the direct product. Here goes :
1) Are all the indecomposable abelian groups (which can't be written as non trivial direct products) known ? I have thought for long that there only was $mathbb{Q}$, its subgroups, cyclic groups of primary orders and Prüfer groups (complex unit roots of $p^n$ for some $n$, $p$ fixed prime). And then I realised the p-adic integers et their fraction field are indecomposable too. Do you know what is known ? I am having trouble finding things on the matter, I would hope for a "unique decomposition theorem" for all groups that are of some "finite dimension". Does it exist ?
2) I have tried to study the group $mathbb{Z}^mathbb{N} / mathbb{Z}^{(mathbb{N})}$, it seems interesting (integers sequences modulo integers sequences having finite support) : it does not have any of the indecomposable abelian groups I know (listed above) as direct factors, yet it is not indecomposable (it is its own square). Are there other know groups like this ?
3) A professor suggested to look for subgroups of $mathbb{Q} times mathbb{Q}$, I had trouble finding interesting ones, what do they look like ?
4) I have that intuition that indecomposable groups show be at most countable, is that true ?
5 ) Are there good invariants to study abelian groups (I mainly use n-divisibility of its elements, and their order) ?
6 ) I had this idea to study groups like subgroups of $mathbb{Q} times mathbb{Q}$ : any at most countable abelian group can be written as a directed colimit of finitely generated groups thus as a colimit of a diagram of well know groups and matrices between them : could this approach work to study abelian groups ?
7) Is it true that for every abelian group $G$ and $H$, for every subgroup of $K$ of $G times H$, there are two subgroups $G'$ of $G$, $H'$of $H$, such that $K$ is isomorphic to $G' times H'$. It seems wrong, I found a counter example in the non abelian case, not in the abelian case.
8) Are some of these questions studied for $R$-modules in general ? What are know indecomposable $R$-modules etc ?
Sorry for all the questions,
Thank you in advance,
Ludovic
abelian-groups direct-product
asked Dec 8 '18 at 19:41
Ludovic MonierLudovic Monier
61
$endgroup$
add a comment |
$begingroup$
I am having many questions about abelian groups, indecomposable groups and the direct product. Here goes :
1) Are all the indecomposable abelian groups (which can't be written as non trivial direct products) known ? I have thought for long that there only was $mathbb{Q}$, its subgroups, cyclic groups of primary orders and Prüfer groups (complex unit roots of $p^n$ for some $n$, $p$ fixed prime). And then I realised the p-adic integers et their fraction field are indecomposable too. Do you know what is known ? I am having trouble finding things on the matter, I would hope for a "unique decomposition theorem" for all groups that are of some "finite dimension". Does it exist ?
2) I have tried to study the group $mathbb{Z}^mathbb{N} / mathbb{Z}^{(mathbb{N})}$, it seems interesting (integers sequences modulo integers sequences having finite support) : it does not have any of the indecomposable abelian groups I know (listed above) as direct factors, yet it is not indecomposable (it is its own square). Are there other know groups like this ?
3) A professor suggested to look for subgroups of $mathbb{Q} times mathbb{Q}$, I had trouble finding interesting ones, what do they look like ?
4) I have that intuition that indecomposable groups show be at most countable, is that true ?
5 ) Are there good invariants to study abelian groups (I mainly use n-divisibility of its elements, and their order) ?
6 ) I had this idea to study groups like subgroups of $mathbb{Q} times mathbb{Q}$ : any at most countable abelian group can be written as a directed colimit of finitely generated groups thus as a colimit of a diagram of well know groups and matrices between them : could this approach work to study abelian groups ?
7) Is it true that for every abelian group $G$ and $H$, for every subgroup of $K$ of $G times H$, there are two subgroups $G'$ of $G$, $H'$of $H$, such that $K$ is isomorphic to $G' times H'$. It seems wrong, I found a counter example in the non abelian case, not in the abelian case.
8) Are some of these questions studied for $R$-modules in general ? What are know indecomposable $R$-modules etc ?
Sorry for all the questions,
Thank you in advance,
Ludovic
abelian-groups direct-product
asked Dec 8 '18 at 19:41
Ludovic MonierLudovic Monier
61
$endgroup$
I am having many questions about abelian groups, indecomposable groups and the direct product. Here goes :
1) Are all the indecomposable abelian groups (which can't be written as non trivial direct products) known ? I have thought for long that there only was $mathbb{Q}$, its subgroups, cyclic groups of primary orders and Prüfer groups (complex unit roots of $p^n$ for some $n$, $p$ fixed prime). And then I realised the p-adic integers et their fraction field are indecomposable too. Do you know what is known ? I am having trouble finding things on the matter, I would hope for a "unique decomposition theorem" for all groups that are of some "finite dimension". Does it exist ?
2) I have tried to study the group $mathbb{Z}^mathbb{N} / mathbb{Z}^{(mathbb{N})}$, it seems interesting (integers sequences modulo integers sequences having finite support) : it does not have any of the indecomposable abelian groups I know (listed above) as direct factors, yet it is not indecomposable (it is its own square). Are there other know groups like this ?
3) A professor suggested to look for subgroups of $mathbb{Q} times mathbb{Q}$, I had trouble finding interesting ones, what do they look like ?
4) I have that intuition that indecomposable groups show be at most countable, is that true ?
5 ) Are there good invariants to study abelian groups (I mainly use n-divisibility of its elements, and their order) ?
6 ) I had this idea to study groups like subgroups of $mathbb{Q} times mathbb{Q}$ : any at most countable abelian group can be written as a directed colimit of finitely generated groups thus as a colimit of a diagram of well know groups and matrices between them : could this approach work to study abelian groups ?
7) Is it true that for every abelian group $G$ and $H$, for every subgroup of $K$ of $G times H$, there are two subgroups $G'$ of $G$, $H'$of $H$, such that $K$ is isomorphic to $G' times H'$. It seems wrong, I found a counter example in the non abelian case, not in the abelian case.
8) Are some of these questions studied for $R$-modules in general ? What are know indecomposable $R$-modules etc ?
Sorry for all the questions,
Thank you in advance,
Ludovic
abelian-groups direct-product
abelian-groups direct-product
asked Dec 8 '18 at 19:41
Ludovic MonierLudovic Monier
61
asked Dec 8 '18 at 19:41
Ludovic MonierLudovic Monier
61
asked Dec 8 '18 at 19:41
Ludovic MonierLudovic Monier
61
asked Dec 8 '18 at 19:41
Ludovic MonierLudovic Monier
61
asked Dec 8 '18 at 19:41
Ludovic MonierLudovic Monier
61
61
add a comment |
add a comment |
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%2f3031539%2fclassification-of-indecomposable-abelian-groups-and-direct-product%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%2f3031539%2fclassification-of-indecomposable-abelian-groups-and-direct-product%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
