How to find the smallest extension field of $GF(p)$ which is a splitting field for all quotient groups...

Does the US political system, in principle, allow for a no-party system?

Can I negotiate a patent idea for a raise, under French law?

Who has more? Ireland or Iceland?

Rationale to prefer local variables over instance variables?

How does a sound wave propagate?

A running toilet that stops itself

Vector-transposing function

What the error in writing this equation by latex?

I am the light that shines in the dark

How to make sure I'm assertive enough in contact with subordinates?

I am the person who abides by rules but breaks the rules . Who am I

How can I portion out frozen cookie dough?

What would be the most expensive material to an intergalactic society?

Generating a list with duplicate entries

How to educate team mate to take screenshots for bugs with out unwanted stuff

Why do we say 'Pairwise Disjoint', rather than 'Disjoint'?

How do you make a gun that shoots melee weapons and/or swords?

Insult for someone who "doesn't know anything"

Unfamiliar notation in Diabelli's "Duet in D" for piano

Ultrafilters as a double dual

Did Amazon pay $0 in taxes last year?

How to recover against Snake as a heavyweight character?

A vote on the Brexit backstop

Why restrict private health insurance?



How to find the smallest extension field of $GF(p)$ which is a splitting field for all quotient groups $N_i/P_i$?


Bijection between sets (p-groups and conjugacy classes)Which $p$-groups can be Sylow p-subgroups with trivial intersection?For which groups does existence of a subgroup of prime index $p$ implies the existence of a subgroup order $p$?Does this set can say more about group?A splitting field for a finite group can be chosen as a finite extensionFind all possible quotient groupsWhy solvable finite groups can't have 6 sylow 5-subgroups?Two abelian groups are isomorphic iff their corresponding sylow subgroups are isomorphic.Groups satisfying the normalizer condition are nilpotent (without using Sylow theory)Identification of groups given by a description













1












$begingroup$


Let $F=GF(p)$ be the field with $p$ elements.



Let $G$ be a finite group with order divisible by $p$.



Let $S$ be a fixed Sylow $p$-subgroup of $G$ and let [$P_i$] be a list of representatives of $p$-subgroups of $S$ up to conjugacy in $G$ (including $S$ and the trivial group).



For all $i$, let $N_i$ be the normalizer of $P_i$.




Is there an easy way to find the smallest (or a very small) extension field
of $F$ with the property that it is a splitting field for
all quotient groups $N_i/P_i$ (including $Gcong G/ langle 1 rangle$)?




One could take the splitting field of the polynomial $f(x):= x^m - 1 in F[x]$, where $m$ is the exponent of the group $G$, but are there better choices (in general)?










share|cite|improve this question









$endgroup$

















    1












    $begingroup$


    Let $F=GF(p)$ be the field with $p$ elements.



    Let $G$ be a finite group with order divisible by $p$.



    Let $S$ be a fixed Sylow $p$-subgroup of $G$ and let [$P_i$] be a list of representatives of $p$-subgroups of $S$ up to conjugacy in $G$ (including $S$ and the trivial group).



    For all $i$, let $N_i$ be the normalizer of $P_i$.




    Is there an easy way to find the smallest (or a very small) extension field
    of $F$ with the property that it is a splitting field for
    all quotient groups $N_i/P_i$ (including $Gcong G/ langle 1 rangle$)?




    One could take the splitting field of the polynomial $f(x):= x^m - 1 in F[x]$, where $m$ is the exponent of the group $G$, but are there better choices (in general)?










    share|cite|improve this question









    $endgroup$















      1












      1








      1





      $begingroup$


      Let $F=GF(p)$ be the field with $p$ elements.



      Let $G$ be a finite group with order divisible by $p$.



      Let $S$ be a fixed Sylow $p$-subgroup of $G$ and let [$P_i$] be a list of representatives of $p$-subgroups of $S$ up to conjugacy in $G$ (including $S$ and the trivial group).



      For all $i$, let $N_i$ be the normalizer of $P_i$.




      Is there an easy way to find the smallest (or a very small) extension field
      of $F$ with the property that it is a splitting field for
      all quotient groups $N_i/P_i$ (including $Gcong G/ langle 1 rangle$)?




      One could take the splitting field of the polynomial $f(x):= x^m - 1 in F[x]$, where $m$ is the exponent of the group $G$, but are there better choices (in general)?










      share|cite|improve this question









      $endgroup$




      Let $F=GF(p)$ be the field with $p$ elements.



      Let $G$ be a finite group with order divisible by $p$.



      Let $S$ be a fixed Sylow $p$-subgroup of $G$ and let [$P_i$] be a list of representatives of $p$-subgroups of $S$ up to conjugacy in $G$ (including $S$ and the trivial group).



      For all $i$, let $N_i$ be the normalizer of $P_i$.




      Is there an easy way to find the smallest (or a very small) extension field
      of $F$ with the property that it is a splitting field for
      all quotient groups $N_i/P_i$ (including $Gcong G/ langle 1 rangle$)?




      One could take the splitting field of the polynomial $f(x):= x^m - 1 in F[x]$, where $m$ is the exponent of the group $G$, but are there better choices (in general)?







      group-theory reference-request finite-groups finite-fields extension-field






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked yesterday









      Bernhard BoehmlerBernhard Boehmler

      430212




      430212






















          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%2f3139256%2fhow-to-find-the-smallest-extension-field-of-gfp-which-is-a-splitting-field-f%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%2f3139256%2fhow-to-find-the-smallest-extension-field-of-gfp-which-is-a-splitting-field-f%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

          六本木駅

          Integral that is continuous and looks like it converges to a geometric seriesTesting if a geometric series converges by taking limit to infinitySummation of arithmetic-geometric series of higher orderGeometric series with polynomial exponentHow to Recognize a Geometric SeriesShowing an integral equality with series over the integersDiscontinuity of a series of continuous functionsReasons why a Series ConvergesSum of infinite geometric series with two terms in summationUsing geometric series for computing IntegralsLimit of geometric series sum when $r = 1$

          Joseph Lister