True/false: If two finite abelian groups of the same order have equal sum of element orders, then they are isomorphic?Argument that two given finite groups are not isomorphic.When are groups with the same class equation not isomorphic?Under which conditions two groups of order $n=2 cdot 3 cdot 5 cdot 7 cdot 11 cdot 13$ are isomorphicShowing two groups are not isomorphic using the order of their elements.Can a group be isomorphic to a group that does not have an element of the same order?Why are certain combinations of factors left out in the list of abelian groups of order 24 up to isomorphism?What kinds of groups are there where every (nontrivial) element has prime order?Simple question: does it suffice to compare the element orders of 2 groups to conclude they're not isomorphicNon-isomorphic finite groups with the same order and minimal dimension of real faithful irreducible representationIs it true, that for any two non-isomorphic finite groups $G$ and $H$ there exists such a group word $w$, that $|V_w(G)| neq |V_w(H)|$?

Are small insurances worth it?

Help! My Character is too much for her story!

Cycles on the torus

Are all players supposed to be able to see each others' character sheets?

Has a sovereign Communist government ever run, and conceded loss, on a fair election?

Can one live in the U.S. and not use a credit card?

Movie: boy escapes the real world and goes to a fantasy world with big furry trolls

Traveling to heavily polluted city, what practical measures can I take to minimize impact?

I reported the illegal activity of my boss to his boss. My boss found out. Now I am being punished. What should I do?

How is it possible to drive VGA displays at such high pixel clock frequencies?

"If + would" conditional in present perfect tense

Difference between `nmap local-IP-address` and `nmap localhost`

Smooth vector fields on a surface modulo diffeomorphisms

How to write a chaotic neutral protagonist and prevent my readers from thinking they are evil?

How exactly does an Ethernet collision happen in the cable, since nodes use different circuits for Tx and Rx?

What will happen if my luggage gets delayed?

Why does Central Limit Theorem break down in my simulation?

Too soon for a plot twist?

What is the purpose of a disclaimer like "this is not legal advice"?

What does the Digital Threat scope actually do?

What do you call someone who likes to pick fights?

Can the Witch Sight warlock invocation see through the Mirror Image spell?

Count each bit-position separately over many 64-bit bitmasks, with AVX but not AVX2

How do spaceships determine each other's mass in space?



True/false: If two finite abelian groups of the same order have equal sum of element orders, then they are isomorphic?


Argument that two given finite groups are not isomorphic.When are groups with the same class equation not isomorphic?Under which conditions two groups of order $n=2 cdot 3 cdot 5 cdot 7 cdot 11 cdot 13$ are isomorphicShowing two groups are not isomorphic using the order of their elements.Can a group be isomorphic to a group that does not have an element of the same order?Why are certain combinations of factors left out in the list of abelian groups of order 24 up to isomorphism?What kinds of groups are there where every (nontrivial) element has prime order?Simple question: does it suffice to compare the element orders of 2 groups to conclude they're not isomorphicNon-isomorphic finite groups with the same order and minimal dimension of real faithful irreducible representationIs it true, that for any two non-isomorphic finite groups $G$ and $H$ there exists such a group word $w$, that $|V_w(G)| neq |V_w(H)|$?













5












$begingroup$


Is it true that: If two finite abelian groups of the same order have equal sum of element orders, then they are isomorphic?



I have tried getting a counterexample, but failed.



So as not to be misunderstood by the term "sum of element orders," I will explain with an example.



The sum of element orders of $mathbbZ_2^2$ is $1+2+2+2=7$ while that of $mathbbZ_4$ is $1+2+4+4=11$. This example shows that the sum of element orders of $mathbbZ_2^2$ and $mathbbZ_4$ are not equal.



Looking forward to suggestions on how to prove the above highlighted proposition.



Thanks.










share|cite|improve this question











$endgroup$











  • $begingroup$
    There's a fundamental theorem for finite abelian groups, which is like factorization in some sense. If your group is order $n=p_1^alpha_1p_2^alpha_2cdots p_k^alpha_k$, $p$'s distinct primes, then the finite abelian groups of order $n$ are $Z_q_1times Z_q_2timescdotstimes Z_q_l $ where each of the $q$'s are prime powers and the product of the $q$'s is $n$. This would at least let you(others) check specific $n$ for counterexamples if they exist.
    $endgroup$
    – snulty
    Nov 21 '16 at 13:27







  • 1




    $begingroup$
    This appears to be a place to start: math.uaic.ro/~martar/pdf/articole/articol%2056.pdf
    $endgroup$
    – Prahlad Vaidyanathan
    Nov 21 '16 at 13:29










  • $begingroup$
    @ snuity, I know the result. In fact, I am sure we can't get a counter example up to abelian groups of order 5000 which I have carefully checked. So I believe the proposition is true.
    $endgroup$
    – ChrisDav
    Nov 21 '16 at 13:31







  • 1




    $begingroup$
    @PrahladVaidyanathan judging by the conjecture $6$ (op's question) and that it was computer checked for groups of order less than 100,000, I guess 'small' counterexamples won't be found.
    $endgroup$
    – snulty
    Nov 21 '16 at 13:33










  • $begingroup$
    @ChrisDav my last comment also.
    $endgroup$
    – snulty
    Nov 21 '16 at 13:34















5












$begingroup$


Is it true that: If two finite abelian groups of the same order have equal sum of element orders, then they are isomorphic?



I have tried getting a counterexample, but failed.



So as not to be misunderstood by the term "sum of element orders," I will explain with an example.



The sum of element orders of $mathbbZ_2^2$ is $1+2+2+2=7$ while that of $mathbbZ_4$ is $1+2+4+4=11$. This example shows that the sum of element orders of $mathbbZ_2^2$ and $mathbbZ_4$ are not equal.



Looking forward to suggestions on how to prove the above highlighted proposition.



Thanks.










share|cite|improve this question











$endgroup$











  • $begingroup$
    There's a fundamental theorem for finite abelian groups, which is like factorization in some sense. If your group is order $n=p_1^alpha_1p_2^alpha_2cdots p_k^alpha_k$, $p$'s distinct primes, then the finite abelian groups of order $n$ are $Z_q_1times Z_q_2timescdotstimes Z_q_l $ where each of the $q$'s are prime powers and the product of the $q$'s is $n$. This would at least let you(others) check specific $n$ for counterexamples if they exist.
    $endgroup$
    – snulty
    Nov 21 '16 at 13:27







  • 1




    $begingroup$
    This appears to be a place to start: math.uaic.ro/~martar/pdf/articole/articol%2056.pdf
    $endgroup$
    – Prahlad Vaidyanathan
    Nov 21 '16 at 13:29










  • $begingroup$
    @ snuity, I know the result. In fact, I am sure we can't get a counter example up to abelian groups of order 5000 which I have carefully checked. So I believe the proposition is true.
    $endgroup$
    – ChrisDav
    Nov 21 '16 at 13:31







  • 1




    $begingroup$
    @PrahladVaidyanathan judging by the conjecture $6$ (op's question) and that it was computer checked for groups of order less than 100,000, I guess 'small' counterexamples won't be found.
    $endgroup$
    – snulty
    Nov 21 '16 at 13:33










  • $begingroup$
    @ChrisDav my last comment also.
    $endgroup$
    – snulty
    Nov 21 '16 at 13:34













5












5








5


4



$begingroup$


Is it true that: If two finite abelian groups of the same order have equal sum of element orders, then they are isomorphic?



I have tried getting a counterexample, but failed.



So as not to be misunderstood by the term "sum of element orders," I will explain with an example.



The sum of element orders of $mathbbZ_2^2$ is $1+2+2+2=7$ while that of $mathbbZ_4$ is $1+2+4+4=11$. This example shows that the sum of element orders of $mathbbZ_2^2$ and $mathbbZ_4$ are not equal.



Looking forward to suggestions on how to prove the above highlighted proposition.



Thanks.










share|cite|improve this question











$endgroup$




Is it true that: If two finite abelian groups of the same order have equal sum of element orders, then they are isomorphic?



I have tried getting a counterexample, but failed.



So as not to be misunderstood by the term "sum of element orders," I will explain with an example.



The sum of element orders of $mathbbZ_2^2$ is $1+2+2+2=7$ while that of $mathbbZ_4$ is $1+2+4+4=11$. This example shows that the sum of element orders of $mathbbZ_2^2$ and $mathbbZ_4$ are not equal.



Looking forward to suggestions on how to prove the above highlighted proposition.



Thanks.







group-theory finite-groups group-isomorphism






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited yesterday









Shaun

9,334113684




9,334113684










asked Nov 21 '16 at 13:06









ChrisDavChrisDav

264




264











  • $begingroup$
    There's a fundamental theorem for finite abelian groups, which is like factorization in some sense. If your group is order $n=p_1^alpha_1p_2^alpha_2cdots p_k^alpha_k$, $p$'s distinct primes, then the finite abelian groups of order $n$ are $Z_q_1times Z_q_2timescdotstimes Z_q_l $ where each of the $q$'s are prime powers and the product of the $q$'s is $n$. This would at least let you(others) check specific $n$ for counterexamples if they exist.
    $endgroup$
    – snulty
    Nov 21 '16 at 13:27







  • 1




    $begingroup$
    This appears to be a place to start: math.uaic.ro/~martar/pdf/articole/articol%2056.pdf
    $endgroup$
    – Prahlad Vaidyanathan
    Nov 21 '16 at 13:29










  • $begingroup$
    @ snuity, I know the result. In fact, I am sure we can't get a counter example up to abelian groups of order 5000 which I have carefully checked. So I believe the proposition is true.
    $endgroup$
    – ChrisDav
    Nov 21 '16 at 13:31







  • 1




    $begingroup$
    @PrahladVaidyanathan judging by the conjecture $6$ (op's question) and that it was computer checked for groups of order less than 100,000, I guess 'small' counterexamples won't be found.
    $endgroup$
    – snulty
    Nov 21 '16 at 13:33










  • $begingroup$
    @ChrisDav my last comment also.
    $endgroup$
    – snulty
    Nov 21 '16 at 13:34
















  • $begingroup$
    There's a fundamental theorem for finite abelian groups, which is like factorization in some sense. If your group is order $n=p_1^alpha_1p_2^alpha_2cdots p_k^alpha_k$, $p$'s distinct primes, then the finite abelian groups of order $n$ are $Z_q_1times Z_q_2timescdotstimes Z_q_l $ where each of the $q$'s are prime powers and the product of the $q$'s is $n$. This would at least let you(others) check specific $n$ for counterexamples if they exist.
    $endgroup$
    – snulty
    Nov 21 '16 at 13:27







  • 1




    $begingroup$
    This appears to be a place to start: math.uaic.ro/~martar/pdf/articole/articol%2056.pdf
    $endgroup$
    – Prahlad Vaidyanathan
    Nov 21 '16 at 13:29










  • $begingroup$
    @ snuity, I know the result. In fact, I am sure we can't get a counter example up to abelian groups of order 5000 which I have carefully checked. So I believe the proposition is true.
    $endgroup$
    – ChrisDav
    Nov 21 '16 at 13:31







  • 1




    $begingroup$
    @PrahladVaidyanathan judging by the conjecture $6$ (op's question) and that it was computer checked for groups of order less than 100,000, I guess 'small' counterexamples won't be found.
    $endgroup$
    – snulty
    Nov 21 '16 at 13:33










  • $begingroup$
    @ChrisDav my last comment also.
    $endgroup$
    – snulty
    Nov 21 '16 at 13:34















$begingroup$
There's a fundamental theorem for finite abelian groups, which is like factorization in some sense. If your group is order $n=p_1^alpha_1p_2^alpha_2cdots p_k^alpha_k$, $p$'s distinct primes, then the finite abelian groups of order $n$ are $Z_q_1times Z_q_2timescdotstimes Z_q_l $ where each of the $q$'s are prime powers and the product of the $q$'s is $n$. This would at least let you(others) check specific $n$ for counterexamples if they exist.
$endgroup$
– snulty
Nov 21 '16 at 13:27





$begingroup$
There's a fundamental theorem for finite abelian groups, which is like factorization in some sense. If your group is order $n=p_1^alpha_1p_2^alpha_2cdots p_k^alpha_k$, $p$'s distinct primes, then the finite abelian groups of order $n$ are $Z_q_1times Z_q_2timescdotstimes Z_q_l $ where each of the $q$'s are prime powers and the product of the $q$'s is $n$. This would at least let you(others) check specific $n$ for counterexamples if they exist.
$endgroup$
– snulty
Nov 21 '16 at 13:27





1




1




$begingroup$
This appears to be a place to start: math.uaic.ro/~martar/pdf/articole/articol%2056.pdf
$endgroup$
– Prahlad Vaidyanathan
Nov 21 '16 at 13:29




$begingroup$
This appears to be a place to start: math.uaic.ro/~martar/pdf/articole/articol%2056.pdf
$endgroup$
– Prahlad Vaidyanathan
Nov 21 '16 at 13:29












$begingroup$
@ snuity, I know the result. In fact, I am sure we can't get a counter example up to abelian groups of order 5000 which I have carefully checked. So I believe the proposition is true.
$endgroup$
– ChrisDav
Nov 21 '16 at 13:31





$begingroup$
@ snuity, I know the result. In fact, I am sure we can't get a counter example up to abelian groups of order 5000 which I have carefully checked. So I believe the proposition is true.
$endgroup$
– ChrisDav
Nov 21 '16 at 13:31





1




1




$begingroup$
@PrahladVaidyanathan judging by the conjecture $6$ (op's question) and that it was computer checked for groups of order less than 100,000, I guess 'small' counterexamples won't be found.
$endgroup$
– snulty
Nov 21 '16 at 13:33




$begingroup$
@PrahladVaidyanathan judging by the conjecture $6$ (op's question) and that it was computer checked for groups of order less than 100,000, I guess 'small' counterexamples won't be found.
$endgroup$
– snulty
Nov 21 '16 at 13:33












$begingroup$
@ChrisDav my last comment also.
$endgroup$
– snulty
Nov 21 '16 at 13:34




$begingroup$
@ChrisDav my last comment also.
$endgroup$
– snulty
Nov 21 '16 at 13:34










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
);



);













draft saved

draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2024156%2ftrue-false-if-two-finite-abelian-groups-of-the-same-order-have-equal-sum-of-ele%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















draft saved

draft discarded
















































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.




draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2024156%2ftrue-false-if-two-finite-abelian-groups-of-the-same-order-have-equal-sum-of-ele%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

Solar Wings Breeze Design and development Specifications (Breeze) References Navigation menu1368-485X"Hang glider: Breeze (Solar Wings)"e

Kathakali Contents Etymology and nomenclature History Repertoire Songs and musical instruments Traditional plays Styles: Sampradayam Training centers and awards Relationship to other dance forms See also Notes References External links Navigation menueThe Illustrated Encyclopedia of Hinduism: A-MSouth Asian Folklore: An EncyclopediaRoutledge International Encyclopedia of Women: Global Women's Issues and KnowledgeKathakali Dance-drama: Where Gods and Demons Come to PlayKathakali Dance-drama: Where Gods and Demons Come to PlayKathakali Dance-drama: Where Gods and Demons Come to Play10.1353/atj.2005.0004The Illustrated Encyclopedia of Hinduism: A-MEncyclopedia of HinduismKathakali Dance-drama: Where Gods and Demons Come to PlaySonic Liturgy: Ritual and Music in Hindu Tradition"The Mirror of Gesture"Kathakali Dance-drama: Where Gods and Demons Come to Play"Kathakali"Indian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceMedieval Indian Literature: An AnthologyThe Oxford Companion to Indian TheatreSouth Asian Folklore: An Encyclopedia : Afghanistan, Bangladesh, India, Nepal, Pakistan, Sri LankaThe Rise of Performance Studies: Rethinking Richard Schechner's Broad SpectrumIndian Theatre: Traditions of PerformanceModern Asian Theatre and Performance 1900-2000Critical Theory and PerformanceBetween Theater and AnthropologyKathakali603847011Indian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceBetween Theater and AnthropologyBetween Theater and AnthropologyNambeesan Smaraka AwardsArchivedThe Cambridge Guide to TheatreRoutledge International Encyclopedia of Women: Global Women's Issues and KnowledgeThe Garland Encyclopedia of World Music: South Asia : the Indian subcontinentThe Ethos of Noh: Actors and Their Art10.2307/1145740By Means of Performance: Intercultural Studies of Theatre and Ritual10.1017/s204912550000100xReconceiving the Renaissance: A Critical ReaderPerformance TheoryListening to Theatre: The Aural Dimension of Beijing Opera10.2307/1146013Kathakali: The Art of the Non-WorldlyOn KathakaliKathakali, the dance theatreThe Kathakali Complex: Performance & StructureKathakali Dance-Drama: Where Gods and Demons Come to Play10.1093/obo/9780195399318-0071Drama and Ritual of Early Hinduism"In the Shadow of Hollywood Orientalism: Authentic East Indian Dancing"10.1080/08949460490274013Sanskrit Play Production in Ancient IndiaIndian Music: History and StructureBharata, the Nāṭyaśāstra233639306Table of Contents2238067286469807Dance In Indian Painting10.2307/32047833204783Kathakali Dance-Theatre: A Visual Narrative of Sacred Indian MimeIndian Classical Dance: The Renaissance and BeyondKathakali: an indigenous art-form of Keralaeee

Method to test if a number is a perfect power? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Detecting perfect squares faster than by extracting square rooteffective way to get the integer sequence A181392 from oeisA rarely mentioned fact about perfect powersHow many numbers such $n$ are there that $n<100,lfloorsqrtn rfloor mid n$Check perfect squareness by modulo division against multiple basesFor what pair of integers $(a,b)$ is $3^a + 7^b$ a perfect square.Do there exist any positive integers $n$ such that $lfloore^nrfloor$ is a perfect power? What is the probability that one exists?finding perfect power factors of an integerProve that the sequence contains a perfect square for any natural number $m $ in the domain of $f$ .Counting Perfect Powers