In a group of order $m p^n$ for $p$ prime, if $k<n$, is there an element of order $p^k$? [duplicate]












0












$begingroup$



This question already has an answer here:




  • Existence of elements of order $p^k$ in a finite group

    3 answers




Let $G$ a group of order $mp^n$ where $p$ is prime. Let $kleq n$. Is there an element of order $p^k$ ?





Since $p$ divide $|G|$, by Cauchy theorem, there is $gin G$ s.t. $g$ has order $p$. I can't do better. I tried to use the fact that there is a $p-$Sylow group, but it just confirm the fact that there is an element of order $p$, not of order $p^k$.










share|cite|improve this question











$endgroup$



marked as duplicate by Dietrich Burde abstract-algebra
Users with the  abstract-algebra badge can single-handedly close abstract-algebra questions as duplicates and reopen them as needed.

StackExchange.ready(function() {
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function() {
$hover.showInfoMessage('', {
messageElement: $msg.clone().show(),
transient: false,
position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
dismissable: false,
relativeToBody: true
});
},
function() {
StackExchange.helpers.removeMessages();
}
);
});
});
Dec 13 '18 at 19:43


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.























    0












    $begingroup$



    This question already has an answer here:




    • Existence of elements of order $p^k$ in a finite group

      3 answers




    Let $G$ a group of order $mp^n$ where $p$ is prime. Let $kleq n$. Is there an element of order $p^k$ ?





    Since $p$ divide $|G|$, by Cauchy theorem, there is $gin G$ s.t. $g$ has order $p$. I can't do better. I tried to use the fact that there is a $p-$Sylow group, but it just confirm the fact that there is an element of order $p$, not of order $p^k$.










    share|cite|improve this question











    $endgroup$



    marked as duplicate by Dietrich Burde abstract-algebra
    Users with the  abstract-algebra badge can single-handedly close abstract-algebra questions as duplicates and reopen them as needed.

    StackExchange.ready(function() {
    if (StackExchange.options.isMobile) return;

    $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
    var $hover = $(this).addClass('hover-bound'),
    $msg = $hover.siblings('.dupe-hammer-message');

    $hover.hover(
    function() {
    $hover.showInfoMessage('', {
    messageElement: $msg.clone().show(),
    transient: false,
    position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
    dismissable: false,
    relativeToBody: true
    });
    },
    function() {
    StackExchange.helpers.removeMessages();
    }
    );
    });
    });
    Dec 13 '18 at 19:43


    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.





















      0












      0








      0





      $begingroup$



      This question already has an answer here:




      • Existence of elements of order $p^k$ in a finite group

        3 answers




      Let $G$ a group of order $mp^n$ where $p$ is prime. Let $kleq n$. Is there an element of order $p^k$ ?





      Since $p$ divide $|G|$, by Cauchy theorem, there is $gin G$ s.t. $g$ has order $p$. I can't do better. I tried to use the fact that there is a $p-$Sylow group, but it just confirm the fact that there is an element of order $p$, not of order $p^k$.










      share|cite|improve this question











      $endgroup$





      This question already has an answer here:




      • Existence of elements of order $p^k$ in a finite group

        3 answers




      Let $G$ a group of order $mp^n$ where $p$ is prime. Let $kleq n$. Is there an element of order $p^k$ ?





      Since $p$ divide $|G|$, by Cauchy theorem, there is $gin G$ s.t. $g$ has order $p$. I can't do better. I tried to use the fact that there is a $p-$Sylow group, but it just confirm the fact that there is an element of order $p$, not of order $p^k$.





      This question already has an answer here:




      • Existence of elements of order $p^k$ in a finite group

        3 answers








      abstract-algebra group-theory finite-groups sylow-theory






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Dec 13 '18 at 19:55









      Shaun

      9,310113684




      9,310113684










      asked Dec 13 '18 at 19:25









      user623855user623855

      1457




      1457




      marked as duplicate by Dietrich Burde abstract-algebra
      Users with the  abstract-algebra badge can single-handedly close abstract-algebra questions as duplicates and reopen them as needed.

      StackExchange.ready(function() {
      if (StackExchange.options.isMobile) return;

      $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
      var $hover = $(this).addClass('hover-bound'),
      $msg = $hover.siblings('.dupe-hammer-message');

      $hover.hover(
      function() {
      $hover.showInfoMessage('', {
      messageElement: $msg.clone().show(),
      transient: false,
      position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
      dismissable: false,
      relativeToBody: true
      });
      },
      function() {
      StackExchange.helpers.removeMessages();
      }
      );
      });
      });
      Dec 13 '18 at 19:43


      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 Dietrich Burde abstract-algebra
      Users with the  abstract-algebra badge can single-handedly close abstract-algebra questions as duplicates and reopen them as needed.

      StackExchange.ready(function() {
      if (StackExchange.options.isMobile) return;

      $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() {
      var $hover = $(this).addClass('hover-bound'),
      $msg = $hover.siblings('.dupe-hammer-message');

      $hover.hover(
      function() {
      $hover.showInfoMessage('', {
      messageElement: $msg.clone().show(),
      transient: false,
      position: { my: 'bottom left', at: 'top center', offsetTop: -7 },
      dismissable: false,
      relativeToBody: true
      });
      },
      function() {
      StackExchange.helpers.removeMessages();
      }
      );
      });
      });
      Dec 13 '18 at 19:43


      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.
























          1 Answer
          1






          active

          oldest

          votes


















          1












          $begingroup$

          No, for instance when $G=mathbb{F}_p^3$, every element has order $p$.






          share|cite|improve this answer









          $endgroup$









          • 1




            $begingroup$
            You gave the "same" answer 9 hours ago here.
            $endgroup$
            – Dietrich Burde
            Dec 13 '18 at 19:44




















          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          1












          $begingroup$

          No, for instance when $G=mathbb{F}_p^3$, every element has order $p$.






          share|cite|improve this answer









          $endgroup$









          • 1




            $begingroup$
            You gave the "same" answer 9 hours ago here.
            $endgroup$
            – Dietrich Burde
            Dec 13 '18 at 19:44


















          1












          $begingroup$

          No, for instance when $G=mathbb{F}_p^3$, every element has order $p$.






          share|cite|improve this answer









          $endgroup$









          • 1




            $begingroup$
            You gave the "same" answer 9 hours ago here.
            $endgroup$
            – Dietrich Burde
            Dec 13 '18 at 19:44
















          1












          1








          1





          $begingroup$

          No, for instance when $G=mathbb{F}_p^3$, every element has order $p$.






          share|cite|improve this answer









          $endgroup$



          No, for instance when $G=mathbb{F}_p^3$, every element has order $p$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Dec 13 '18 at 19:28









          MindlackMindlack

          4,780210




          4,780210








          • 1




            $begingroup$
            You gave the "same" answer 9 hours ago here.
            $endgroup$
            – Dietrich Burde
            Dec 13 '18 at 19:44
















          • 1




            $begingroup$
            You gave the "same" answer 9 hours ago here.
            $endgroup$
            – Dietrich Burde
            Dec 13 '18 at 19:44










          1




          1




          $begingroup$
          You gave the "same" answer 9 hours ago here.
          $endgroup$
          – Dietrich Burde
          Dec 13 '18 at 19:44






          $begingroup$
          You gave the "same" answer 9 hours ago here.
          $endgroup$
          – Dietrich Burde
          Dec 13 '18 at 19:44





          Popular posts from this blog

          Bundesstraße 106

          Le Mesnil-Réaume

          Ida-Boy-Ed-Garten