Subalgebra of a group algebra
$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?
gr.group-theory rt.representation-theory noncommutative-algebra
$endgroup$
add a comment |
$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?
gr.group-theory rt.representation-theory noncommutative-algebra
$endgroup$
add a comment |
$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?
gr.group-theory rt.representation-theory noncommutative-algebra
$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
gr.group-theory rt.representation-theory noncommutative-algebra
asked yesterday
StudentStudent
1373
1373
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$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.
$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
add a comment |
$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$."
$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
|
show 1 more comment
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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.
$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
add a comment |
$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.
$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
add a comment |
$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.
$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.
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
add a comment |
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
add a comment |
$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$."
$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
|
show 1 more comment
$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$."
$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
|
show 1 more comment
$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$."
$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$."
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
|
show 1 more comment
$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
|
show 1 more comment
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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