Subalgebra of a group algebra












6












$begingroup$


Let $k$ be a field, $G$ a finite group, and $k[G]$ the group algebra.
Let $A$ be a subalgebra of $k[G]$. In general, $A$ is not the group algebra of some subgroup $H$ of $G$.



Question: Is there any criterion for when $A = k[H]$ for some subgroup $H$? Also, in that case, how do we read of the generating subgroup $H$? Will the situation become better/easier if I assume $A$ to be a sub-Hopf-algebra?










share|cite|improve this question









$endgroup$

















    6












    $begingroup$


    Let $k$ be a field, $G$ a finite group, and $k[G]$ the group algebra.
    Let $A$ be a subalgebra of $k[G]$. In general, $A$ is not the group algebra of some subgroup $H$ of $G$.



    Question: Is there any criterion for when $A = k[H]$ for some subgroup $H$? Also, in that case, how do we read of the generating subgroup $H$? Will the situation become better/easier if I assume $A$ to be a sub-Hopf-algebra?










    share|cite|improve this question









    $endgroup$















      6












      6








      6





      $begingroup$


      Let $k$ be a field, $G$ a finite group, and $k[G]$ the group algebra.
      Let $A$ be a subalgebra of $k[G]$. In general, $A$ is not the group algebra of some subgroup $H$ of $G$.



      Question: Is there any criterion for when $A = k[H]$ for some subgroup $H$? Also, in that case, how do we read of the generating subgroup $H$? Will the situation become better/easier if I assume $A$ to be a sub-Hopf-algebra?










      share|cite|improve this question









      $endgroup$




      Let $k$ be a field, $G$ a finite group, and $k[G]$ the group algebra.
      Let $A$ be a subalgebra of $k[G]$. In general, $A$ is not the group algebra of some subgroup $H$ of $G$.



      Question: Is there any criterion for when $A = k[H]$ for some subgroup $H$? Also, in that case, how do we read of the generating subgroup $H$? Will the situation become better/easier if I assume $A$ to be a sub-Hopf-algebra?







      gr.group-theory rt.representation-theory noncommutative-algebra






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked yesterday









      StudentStudent

      1373




      1373






















          2 Answers
          2






          active

          oldest

          votes


















          7












          $begingroup$

          The characteristic of the field is important here, when considering Hopf sub-algebras. The Cartier-Kostant-Milnor-Moore theorem says that a cocommutative Hopf algebra $H$ over an algebraically closed field $k$ of characteristic 0, is a semidirect product of a group algebra and an enveloping algebra of a Lie algebra. In particular, if $H$ is finite dimensional cocommutative Hopf algebra over $k$, then $H$ is isomorphic to a group algebra.



          This theorem is not true over algebraically closed fields in positive characteristics, as there are restricted enveloping $p$-Lie algebras that are finite dimensional cocommutative Hopf algebras but not isomorphic to group algebras.



          See the introduction of https://cel.archives-ouvertes.fr/cel-00374383/document (by Nicolas Andruskiewitsch) for further information.






          share|cite|improve this answer









          $endgroup$









          • 1




            $begingroup$
            The CKMM theorem is very powerful! Is there a way to read off the group algebra part?
            $endgroup$
            – Student
            15 hours ago



















          6












          $begingroup$

          If $A$ is the group algebra of a subgroup, then $k[G]$ will be free as a module over $A$, and that may help to rule out some cases. This is not at all an "if and only if" statement, though.



          Proposition 3.2.1 in Sweedler's book Hopf Algebras says that a cocommutative Hopf algebra is a group algebra if and only if it has a basis of group-like elements (those elements $x$ which satisfy $Delta(x) = x otimes x$). So if you have a sub-Hopf algebra, you can try to see if it has such a basis.



          Ravenel says in Theorem 6.2.3 in Complex Cobordism and Stable Homotopy Groups of Spheres: "this is equivalent to the existence of a dual basis of idempotent elements ${y}$ satisfying $y_i^2=y_i$ and $y_iy_j=0$ for $i neq j$."






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Is there a characteristic assumption on the last part? Is there division by 2 in formula for y?
            $endgroup$
            – AHusain
            yesterday










          • $begingroup$
            Great! Also, I think Sweedler provided a fairly nice answer already, since if A comes from some subgroup, then A is automatically a sub-Hopf-algebra!
            $endgroup$
            – Student
            yesterday










          • $begingroup$
            For Ravenel's statement, I do not have access to the book for now. Would you mind pointing it out that in his content, is $A$ assumed to be a Hopf algebra?
            $endgroup$
            – Student
            yesterday






          • 2




            $begingroup$
            Ravenel's book is available from his web page: web.math.rochester.edu/people/faculty/doug/mybooks/ravenel.pdf. He is certainly working in positive characteristic, but I don't know if this is necessary for his condition. He is certainly working with Hopf algebras, since otherwise there wouldn't be a multiplication on the dual.
            $endgroup$
            – John Palmieri
            22 hours ago






          • 2




            $begingroup$
            @JoshuaGrochow: Ravenel uses his version to show that a particular Hopf algebra is a group algebra, so he found it useful.
            $endgroup$
            – John Palmieri
            22 hours ago












          Your Answer








          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "504"
          };
          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%2fmathoverflow.net%2fquestions%2f328396%2fsubalgebra-of-a-group-algebra%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          2 Answers
          2






          active

          oldest

          votes








          2 Answers
          2






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          7












          $begingroup$

          The characteristic of the field is important here, when considering Hopf sub-algebras. The Cartier-Kostant-Milnor-Moore theorem says that a cocommutative Hopf algebra $H$ over an algebraically closed field $k$ of characteristic 0, is a semidirect product of a group algebra and an enveloping algebra of a Lie algebra. In particular, if $H$ is finite dimensional cocommutative Hopf algebra over $k$, then $H$ is isomorphic to a group algebra.



          This theorem is not true over algebraically closed fields in positive characteristics, as there are restricted enveloping $p$-Lie algebras that are finite dimensional cocommutative Hopf algebras but not isomorphic to group algebras.



          See the introduction of https://cel.archives-ouvertes.fr/cel-00374383/document (by Nicolas Andruskiewitsch) for further information.






          share|cite|improve this answer









          $endgroup$









          • 1




            $begingroup$
            The CKMM theorem is very powerful! Is there a way to read off the group algebra part?
            $endgroup$
            – Student
            15 hours ago
















          7












          $begingroup$

          The characteristic of the field is important here, when considering Hopf sub-algebras. The Cartier-Kostant-Milnor-Moore theorem says that a cocommutative Hopf algebra $H$ over an algebraically closed field $k$ of characteristic 0, is a semidirect product of a group algebra and an enveloping algebra of a Lie algebra. In particular, if $H$ is finite dimensional cocommutative Hopf algebra over $k$, then $H$ is isomorphic to a group algebra.



          This theorem is not true over algebraically closed fields in positive characteristics, as there are restricted enveloping $p$-Lie algebras that are finite dimensional cocommutative Hopf algebras but not isomorphic to group algebras.



          See the introduction of https://cel.archives-ouvertes.fr/cel-00374383/document (by Nicolas Andruskiewitsch) for further information.






          share|cite|improve this answer









          $endgroup$









          • 1




            $begingroup$
            The CKMM theorem is very powerful! Is there a way to read off the group algebra part?
            $endgroup$
            – Student
            15 hours ago














          7












          7








          7





          $begingroup$

          The characteristic of the field is important here, when considering Hopf sub-algebras. The Cartier-Kostant-Milnor-Moore theorem says that a cocommutative Hopf algebra $H$ over an algebraically closed field $k$ of characteristic 0, is a semidirect product of a group algebra and an enveloping algebra of a Lie algebra. In particular, if $H$ is finite dimensional cocommutative Hopf algebra over $k$, then $H$ is isomorphic to a group algebra.



          This theorem is not true over algebraically closed fields in positive characteristics, as there are restricted enveloping $p$-Lie algebras that are finite dimensional cocommutative Hopf algebras but not isomorphic to group algebras.



          See the introduction of https://cel.archives-ouvertes.fr/cel-00374383/document (by Nicolas Andruskiewitsch) for further information.






          share|cite|improve this answer









          $endgroup$



          The characteristic of the field is important here, when considering Hopf sub-algebras. The Cartier-Kostant-Milnor-Moore theorem says that a cocommutative Hopf algebra $H$ over an algebraically closed field $k$ of characteristic 0, is a semidirect product of a group algebra and an enveloping algebra of a Lie algebra. In particular, if $H$ is finite dimensional cocommutative Hopf algebra over $k$, then $H$ is isomorphic to a group algebra.



          This theorem is not true over algebraically closed fields in positive characteristics, as there are restricted enveloping $p$-Lie algebras that are finite dimensional cocommutative Hopf algebras but not isomorphic to group algebras.



          See the introduction of https://cel.archives-ouvertes.fr/cel-00374383/document (by Nicolas Andruskiewitsch) for further information.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 19 hours ago









          Oeyvind SolbergOeyvind Solberg

          4614




          4614








          • 1




            $begingroup$
            The CKMM theorem is very powerful! Is there a way to read off the group algebra part?
            $endgroup$
            – Student
            15 hours ago














          • 1




            $begingroup$
            The CKMM theorem is very powerful! Is there a way to read off the group algebra part?
            $endgroup$
            – Student
            15 hours ago








          1




          1




          $begingroup$
          The CKMM theorem is very powerful! Is there a way to read off the group algebra part?
          $endgroup$
          – Student
          15 hours ago




          $begingroup$
          The CKMM theorem is very powerful! Is there a way to read off the group algebra part?
          $endgroup$
          – Student
          15 hours ago











          6












          $begingroup$

          If $A$ is the group algebra of a subgroup, then $k[G]$ will be free as a module over $A$, and that may help to rule out some cases. This is not at all an "if and only if" statement, though.



          Proposition 3.2.1 in Sweedler's book Hopf Algebras says that a cocommutative Hopf algebra is a group algebra if and only if it has a basis of group-like elements (those elements $x$ which satisfy $Delta(x) = x otimes x$). So if you have a sub-Hopf algebra, you can try to see if it has such a basis.



          Ravenel says in Theorem 6.2.3 in Complex Cobordism and Stable Homotopy Groups of Spheres: "this is equivalent to the existence of a dual basis of idempotent elements ${y}$ satisfying $y_i^2=y_i$ and $y_iy_j=0$ for $i neq j$."






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Is there a characteristic assumption on the last part? Is there division by 2 in formula for y?
            $endgroup$
            – AHusain
            yesterday










          • $begingroup$
            Great! Also, I think Sweedler provided a fairly nice answer already, since if A comes from some subgroup, then A is automatically a sub-Hopf-algebra!
            $endgroup$
            – Student
            yesterday










          • $begingroup$
            For Ravenel's statement, I do not have access to the book for now. Would you mind pointing it out that in his content, is $A$ assumed to be a Hopf algebra?
            $endgroup$
            – Student
            yesterday






          • 2




            $begingroup$
            Ravenel's book is available from his web page: web.math.rochester.edu/people/faculty/doug/mybooks/ravenel.pdf. He is certainly working in positive characteristic, but I don't know if this is necessary for his condition. He is certainly working with Hopf algebras, since otherwise there wouldn't be a multiplication on the dual.
            $endgroup$
            – John Palmieri
            22 hours ago






          • 2




            $begingroup$
            @JoshuaGrochow: Ravenel uses his version to show that a particular Hopf algebra is a group algebra, so he found it useful.
            $endgroup$
            – John Palmieri
            22 hours ago
















          6












          $begingroup$

          If $A$ is the group algebra of a subgroup, then $k[G]$ will be free as a module over $A$, and that may help to rule out some cases. This is not at all an "if and only if" statement, though.



          Proposition 3.2.1 in Sweedler's book Hopf Algebras says that a cocommutative Hopf algebra is a group algebra if and only if it has a basis of group-like elements (those elements $x$ which satisfy $Delta(x) = x otimes x$). So if you have a sub-Hopf algebra, you can try to see if it has such a basis.



          Ravenel says in Theorem 6.2.3 in Complex Cobordism and Stable Homotopy Groups of Spheres: "this is equivalent to the existence of a dual basis of idempotent elements ${y}$ satisfying $y_i^2=y_i$ and $y_iy_j=0$ for $i neq j$."






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Is there a characteristic assumption on the last part? Is there division by 2 in formula for y?
            $endgroup$
            – AHusain
            yesterday










          • $begingroup$
            Great! Also, I think Sweedler provided a fairly nice answer already, since if A comes from some subgroup, then A is automatically a sub-Hopf-algebra!
            $endgroup$
            – Student
            yesterday










          • $begingroup$
            For Ravenel's statement, I do not have access to the book for now. Would you mind pointing it out that in his content, is $A$ assumed to be a Hopf algebra?
            $endgroup$
            – Student
            yesterday






          • 2




            $begingroup$
            Ravenel's book is available from his web page: web.math.rochester.edu/people/faculty/doug/mybooks/ravenel.pdf. He is certainly working in positive characteristic, but I don't know if this is necessary for his condition. He is certainly working with Hopf algebras, since otherwise there wouldn't be a multiplication on the dual.
            $endgroup$
            – John Palmieri
            22 hours ago






          • 2




            $begingroup$
            @JoshuaGrochow: Ravenel uses his version to show that a particular Hopf algebra is a group algebra, so he found it useful.
            $endgroup$
            – John Palmieri
            22 hours ago














          6












          6








          6





          $begingroup$

          If $A$ is the group algebra of a subgroup, then $k[G]$ will be free as a module over $A$, and that may help to rule out some cases. This is not at all an "if and only if" statement, though.



          Proposition 3.2.1 in Sweedler's book Hopf Algebras says that a cocommutative Hopf algebra is a group algebra if and only if it has a basis of group-like elements (those elements $x$ which satisfy $Delta(x) = x otimes x$). So if you have a sub-Hopf algebra, you can try to see if it has such a basis.



          Ravenel says in Theorem 6.2.3 in Complex Cobordism and Stable Homotopy Groups of Spheres: "this is equivalent to the existence of a dual basis of idempotent elements ${y}$ satisfying $y_i^2=y_i$ and $y_iy_j=0$ for $i neq j$."






          share|cite|improve this answer









          $endgroup$



          If $A$ is the group algebra of a subgroup, then $k[G]$ will be free as a module over $A$, and that may help to rule out some cases. This is not at all an "if and only if" statement, though.



          Proposition 3.2.1 in Sweedler's book Hopf Algebras says that a cocommutative Hopf algebra is a group algebra if and only if it has a basis of group-like elements (those elements $x$ which satisfy $Delta(x) = x otimes x$). So if you have a sub-Hopf algebra, you can try to see if it has such a basis.



          Ravenel says in Theorem 6.2.3 in Complex Cobordism and Stable Homotopy Groups of Spheres: "this is equivalent to the existence of a dual basis of idempotent elements ${y}$ satisfying $y_i^2=y_i$ and $y_iy_j=0$ for $i neq j$."







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered yesterday









          John PalmieriJohn Palmieri

          2,35011726




          2,35011726












          • $begingroup$
            Is there a characteristic assumption on the last part? Is there division by 2 in formula for y?
            $endgroup$
            – AHusain
            yesterday










          • $begingroup$
            Great! Also, I think Sweedler provided a fairly nice answer already, since if A comes from some subgroup, then A is automatically a sub-Hopf-algebra!
            $endgroup$
            – Student
            yesterday










          • $begingroup$
            For Ravenel's statement, I do not have access to the book for now. Would you mind pointing it out that in his content, is $A$ assumed to be a Hopf algebra?
            $endgroup$
            – Student
            yesterday






          • 2




            $begingroup$
            Ravenel's book is available from his web page: web.math.rochester.edu/people/faculty/doug/mybooks/ravenel.pdf. He is certainly working in positive characteristic, but I don't know if this is necessary for his condition. He is certainly working with Hopf algebras, since otherwise there wouldn't be a multiplication on the dual.
            $endgroup$
            – John Palmieri
            22 hours ago






          • 2




            $begingroup$
            @JoshuaGrochow: Ravenel uses his version to show that a particular Hopf algebra is a group algebra, so he found it useful.
            $endgroup$
            – John Palmieri
            22 hours ago


















          • $begingroup$
            Is there a characteristic assumption on the last part? Is there division by 2 in formula for y?
            $endgroup$
            – AHusain
            yesterday










          • $begingroup$
            Great! Also, I think Sweedler provided a fairly nice answer already, since if A comes from some subgroup, then A is automatically a sub-Hopf-algebra!
            $endgroup$
            – Student
            yesterday










          • $begingroup$
            For Ravenel's statement, I do not have access to the book for now. Would you mind pointing it out that in his content, is $A$ assumed to be a Hopf algebra?
            $endgroup$
            – Student
            yesterday






          • 2




            $begingroup$
            Ravenel's book is available from his web page: web.math.rochester.edu/people/faculty/doug/mybooks/ravenel.pdf. He is certainly working in positive characteristic, but I don't know if this is necessary for his condition. He is certainly working with Hopf algebras, since otherwise there wouldn't be a multiplication on the dual.
            $endgroup$
            – John Palmieri
            22 hours ago






          • 2




            $begingroup$
            @JoshuaGrochow: Ravenel uses his version to show that a particular Hopf algebra is a group algebra, so he found it useful.
            $endgroup$
            – John Palmieri
            22 hours ago
















          $begingroup$
          Is there a characteristic assumption on the last part? Is there division by 2 in formula for y?
          $endgroup$
          – AHusain
          yesterday




          $begingroup$
          Is there a characteristic assumption on the last part? Is there division by 2 in formula for y?
          $endgroup$
          – AHusain
          yesterday












          $begingroup$
          Great! Also, I think Sweedler provided a fairly nice answer already, since if A comes from some subgroup, then A is automatically a sub-Hopf-algebra!
          $endgroup$
          – Student
          yesterday




          $begingroup$
          Great! Also, I think Sweedler provided a fairly nice answer already, since if A comes from some subgroup, then A is automatically a sub-Hopf-algebra!
          $endgroup$
          – Student
          yesterday












          $begingroup$
          For Ravenel's statement, I do not have access to the book for now. Would you mind pointing it out that in his content, is $A$ assumed to be a Hopf algebra?
          $endgroup$
          – Student
          yesterday




          $begingroup$
          For Ravenel's statement, I do not have access to the book for now. Would you mind pointing it out that in his content, is $A$ assumed to be a Hopf algebra?
          $endgroup$
          – Student
          yesterday




          2




          2




          $begingroup$
          Ravenel's book is available from his web page: web.math.rochester.edu/people/faculty/doug/mybooks/ravenel.pdf. He is certainly working in positive characteristic, but I don't know if this is necessary for his condition. He is certainly working with Hopf algebras, since otherwise there wouldn't be a multiplication on the dual.
          $endgroup$
          – John Palmieri
          22 hours ago




          $begingroup$
          Ravenel's book is available from his web page: web.math.rochester.edu/people/faculty/doug/mybooks/ravenel.pdf. He is certainly working in positive characteristic, but I don't know if this is necessary for his condition. He is certainly working with Hopf algebras, since otherwise there wouldn't be a multiplication on the dual.
          $endgroup$
          – John Palmieri
          22 hours ago




          2




          2




          $begingroup$
          @JoshuaGrochow: Ravenel uses his version to show that a particular Hopf algebra is a group algebra, so he found it useful.
          $endgroup$
          – John Palmieri
          22 hours ago




          $begingroup$
          @JoshuaGrochow: Ravenel uses his version to show that a particular Hopf algebra is a group algebra, so he found it useful.
          $endgroup$
          – John Palmieri
          22 hours ago


















          draft saved

          draft discarded




















































          Thanks for contributing an answer to MathOverflow!


          • 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%2fmathoverflow.net%2fquestions%2f328396%2fsubalgebra-of-a-group-algebra%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

          數位音樂下載

          When can things happen in Etherscan, such as the picture below?

          格利澤436b