Does the order of the subgroup generated by two elements divide the product of the element orders?...

How can I print the prosodic symbols in LaTeX?

Multiple options vs single option UI

I preordered a game on my Xbox while on the home screen of my friend's account. Which of us owns the game?

How to denote matrix elements succinctly?

Is it idiomatic to construct against `this`

Implications of cigar-shaped bodies having rings?

How to limit Drive Letters Windows assigns to new removable USB drives

What happens to Mjolnir (Thor's hammer) at the end of Endgame?

How would 10 generations of living underground change the human body?

How did Captain America manage to do this?

Why do games have consumables?

Why didn't the Space Shuttle bounce back into space as many times as possible so as to lose a lot of kinetic energy up there?

Can SQL Server create collisions in system generated constraint names?

Minor Revision with suggestion of an alternative proof by reviewer

Can't get 5V 3A DC constant

Alignment of various blocks in tikz

What's the polite way to say "I need to urinate"?

Contradiction proof for inequality of P and NP?

Are there physical dangers to preparing a prepared piano?

Rivers without rain

How can Republicans who favour free markets, consistently express anger when they don't like the outcome of that choice?

Dynamic SOQL query relationship with field visibility for Users

Checks user level and limit the data before saving it to mongoDB

How come there are so many candidates for the 2020 Democratic party presidential nomination?



Does the order of the subgroup generated by two elements divide the product of the element orders? [duplicate]


Examples and further results about the order of the product of two elements in a groupIn finite groups does counting orders of elements is enough to determine if they are isomorphicListing the orders of the elements and calculating the number of elements in the orderName/notation for the subgroup generated by all stabilizersSubgroup of elements of order at most $2^{m}$Order of product of powers of elements from a groupShow that the set of all elements $a$ of a group $G$ such that $ax=xa$ for every element of $x$ of $G$is a subgroup of $G$.Questions about specific, two-elements generated groupProving order of certain elements in a group is the sameHow to find order of the subgroup?Subgroup generated by all elements with odd order













1












$begingroup$



This question already has an answer here:




  • Examples and further results about the order of the product of two elements in a group

    6 answers




Let $(G, cdot)$ be a group, $a,bin G$ such that $DeclareMathOperator{ord}{ord}ord(a),ord(b)<infty$.



Do we then have that $left|left<a,bright>right|$ divides $ord(a)ord(b)$? (Where $left< a,b right>$ denotes the subgroup generated by $a$ and $b$)



I managed to show this for the case that $a$ and $b$ commute, however I would be interested if this holds even if they don't.










share|cite|improve this question









$endgroup$



marked as duplicate by Asaf Karagila 13 hours ago


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


















  • $begingroup$
    The order might be infinite.
    $endgroup$
    – Trebor
    16 hours ago










  • $begingroup$
    Groups have a wonderful amount of flexibility. You might be interested in the free product of groups.
    $endgroup$
    – Santana Afton
    15 hours ago
















1












$begingroup$



This question already has an answer here:




  • Examples and further results about the order of the product of two elements in a group

    6 answers




Let $(G, cdot)$ be a group, $a,bin G$ such that $DeclareMathOperator{ord}{ord}ord(a),ord(b)<infty$.



Do we then have that $left|left<a,bright>right|$ divides $ord(a)ord(b)$? (Where $left< a,b right>$ denotes the subgroup generated by $a$ and $b$)



I managed to show this for the case that $a$ and $b$ commute, however I would be interested if this holds even if they don't.










share|cite|improve this question









$endgroup$



marked as duplicate by Asaf Karagila 13 hours ago


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


















  • $begingroup$
    The order might be infinite.
    $endgroup$
    – Trebor
    16 hours ago










  • $begingroup$
    Groups have a wonderful amount of flexibility. You might be interested in the free product of groups.
    $endgroup$
    – Santana Afton
    15 hours ago














1












1








1


1



$begingroup$



This question already has an answer here:




  • Examples and further results about the order of the product of two elements in a group

    6 answers




Let $(G, cdot)$ be a group, $a,bin G$ such that $DeclareMathOperator{ord}{ord}ord(a),ord(b)<infty$.



Do we then have that $left|left<a,bright>right|$ divides $ord(a)ord(b)$? (Where $left< a,b right>$ denotes the subgroup generated by $a$ and $b$)



I managed to show this for the case that $a$ and $b$ commute, however I would be interested if this holds even if they don't.










share|cite|improve this question









$endgroup$





This question already has an answer here:




  • Examples and further results about the order of the product of two elements in a group

    6 answers




Let $(G, cdot)$ be a group, $a,bin G$ such that $DeclareMathOperator{ord}{ord}ord(a),ord(b)<infty$.



Do we then have that $left|left<a,bright>right|$ divides $ord(a)ord(b)$? (Where $left< a,b right>$ denotes the subgroup generated by $a$ and $b$)



I managed to show this for the case that $a$ and $b$ commute, however I would be interested if this holds even if they don't.





This question already has an answer here:




  • Examples and further results about the order of the product of two elements in a group

    6 answers








abstract-algebra group-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 16 hours ago









Jakob B.Jakob B.

527111




527111




marked as duplicate by Asaf Karagila 13 hours ago


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.









marked as duplicate by Asaf Karagila 13 hours ago


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.














  • $begingroup$
    The order might be infinite.
    $endgroup$
    – Trebor
    16 hours ago










  • $begingroup$
    Groups have a wonderful amount of flexibility. You might be interested in the free product of groups.
    $endgroup$
    – Santana Afton
    15 hours ago


















  • $begingroup$
    The order might be infinite.
    $endgroup$
    – Trebor
    16 hours ago










  • $begingroup$
    Groups have a wonderful amount of flexibility. You might be interested in the free product of groups.
    $endgroup$
    – Santana Afton
    15 hours ago
















$begingroup$
The order might be infinite.
$endgroup$
– Trebor
16 hours ago




$begingroup$
The order might be infinite.
$endgroup$
– Trebor
16 hours ago












$begingroup$
Groups have a wonderful amount of flexibility. You might be interested in the free product of groups.
$endgroup$
– Santana Afton
15 hours ago




$begingroup$
Groups have a wonderful amount of flexibility. You might be interested in the free product of groups.
$endgroup$
– Santana Afton
15 hours ago










2 Answers
2






active

oldest

votes


















3












$begingroup$

$S_3=langle (12), (23)rangle$.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Related: $S_n$ is generated by $(12)$ and $(123cdots n)$, yet $n!$ rarely divides $2n$.
    $endgroup$
    – Greg Martin
    14 hours ago












  • $begingroup$
    And for more fun mathoverflow.net/questions/59213/….
    $endgroup$
    – ancientmathematician
    14 hours ago



















3












$begingroup$

The group $$leftlanglebegin{pmatrix}0&-1\1&0end{pmatrix},begin{pmatrix}0&-1\1&1end{pmatrix}rightrangle$$
has infinite order, in spite of the generators having finite order.






share|cite|improve this answer









$endgroup$




















    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    3












    $begingroup$

    $S_3=langle (12), (23)rangle$.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Related: $S_n$ is generated by $(12)$ and $(123cdots n)$, yet $n!$ rarely divides $2n$.
      $endgroup$
      – Greg Martin
      14 hours ago












    • $begingroup$
      And for more fun mathoverflow.net/questions/59213/….
      $endgroup$
      – ancientmathematician
      14 hours ago
















    3












    $begingroup$

    $S_3=langle (12), (23)rangle$.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      Related: $S_n$ is generated by $(12)$ and $(123cdots n)$, yet $n!$ rarely divides $2n$.
      $endgroup$
      – Greg Martin
      14 hours ago












    • $begingroup$
      And for more fun mathoverflow.net/questions/59213/….
      $endgroup$
      – ancientmathematician
      14 hours ago














    3












    3








    3





    $begingroup$

    $S_3=langle (12), (23)rangle$.






    share|cite|improve this answer









    $endgroup$



    $S_3=langle (12), (23)rangle$.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered 16 hours ago









    ancientmathematicianancientmathematician

    4,6371513




    4,6371513












    • $begingroup$
      Related: $S_n$ is generated by $(12)$ and $(123cdots n)$, yet $n!$ rarely divides $2n$.
      $endgroup$
      – Greg Martin
      14 hours ago












    • $begingroup$
      And for more fun mathoverflow.net/questions/59213/….
      $endgroup$
      – ancientmathematician
      14 hours ago


















    • $begingroup$
      Related: $S_n$ is generated by $(12)$ and $(123cdots n)$, yet $n!$ rarely divides $2n$.
      $endgroup$
      – Greg Martin
      14 hours ago












    • $begingroup$
      And for more fun mathoverflow.net/questions/59213/….
      $endgroup$
      – ancientmathematician
      14 hours ago
















    $begingroup$
    Related: $S_n$ is generated by $(12)$ and $(123cdots n)$, yet $n!$ rarely divides $2n$.
    $endgroup$
    – Greg Martin
    14 hours ago






    $begingroup$
    Related: $S_n$ is generated by $(12)$ and $(123cdots n)$, yet $n!$ rarely divides $2n$.
    $endgroup$
    – Greg Martin
    14 hours ago














    $begingroup$
    And for more fun mathoverflow.net/questions/59213/….
    $endgroup$
    – ancientmathematician
    14 hours ago




    $begingroup$
    And for more fun mathoverflow.net/questions/59213/….
    $endgroup$
    – ancientmathematician
    14 hours ago











    3












    $begingroup$

    The group $$leftlanglebegin{pmatrix}0&-1\1&0end{pmatrix},begin{pmatrix}0&-1\1&1end{pmatrix}rightrangle$$
    has infinite order, in spite of the generators having finite order.






    share|cite|improve this answer









    $endgroup$


















      3












      $begingroup$

      The group $$leftlanglebegin{pmatrix}0&-1\1&0end{pmatrix},begin{pmatrix}0&-1\1&1end{pmatrix}rightrangle$$
      has infinite order, in spite of the generators having finite order.






      share|cite|improve this answer









      $endgroup$
















        3












        3








        3





        $begingroup$

        The group $$leftlanglebegin{pmatrix}0&-1\1&0end{pmatrix},begin{pmatrix}0&-1\1&1end{pmatrix}rightrangle$$
        has infinite order, in spite of the generators having finite order.






        share|cite|improve this answer









        $endgroup$



        The group $$leftlanglebegin{pmatrix}0&-1\1&0end{pmatrix},begin{pmatrix}0&-1\1&1end{pmatrix}rightrangle$$
        has infinite order, in spite of the generators having finite order.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 16 hours ago









        Hagen von EitzenHagen von Eitzen

        284k23274508




        284k23274508















            Popular posts from this blog

            List of shipwrecks in 1808...

            Is there a lightweight tool to crop images quickly?Cropping Images using Command Line Tools OnlyHow to crop...

            Unit packagekit.service is masked Announcing the arrival of Valued Associate #679: Cesar...