Do we have $delta(ab)=delta(a)delta(b)$ implies $Delta(cd)=Delta(c)Delta(d)$?
$begingroup$
Assume that $B$ is an algebra which is also a coalgebras (we do not assume that $B$ is a bialgebra: we do not assume $Delta(cd)=Delta(c)Delta(d)$). Assume that $A$ is $B$-comodule algebra. Then we have a map $delta: A to B otimes A$ which satisfies $(1 otimes delta)delta = (Delta otimes 1)delta$, where $Delta: B to B otimes B$ is the comultiplication on $B$. Suppose that for all $a,b in A$, we have $delta(ab)=delta(a)delta(b)$. Do we have $Delta(cd)=Delta(c)Delta(d)$ for all $c, d in B$?
Let $a,b in A$ and $delta(a)=a_{(1)} otimes a_{(2)}$, $delta(b)=b_{(1)} otimes b_{(2)}$. Then
begin{align}
(1 otimes delta)delta(ab) & = (1 otimes delta)(delta(a)delta(b)) \
& = (1 otimes delta)(a_{(1)}b_{(1)} otimes a_{(2)} b_{(2)}) \
& = a_{(1)}b_{(1)} otimes delta(a_{(2)}b_{(2)}) \
& = a_{(1)}b_{(1)} otimes delta(a_{(2)})delta(b_{(2)}) \
& = (a_{(1)} otimes delta(b_{(1)}))(a_{(2)} otimes delta(b_{(2)})) \
& = ((1 otimes delta)delta(a))((1 otimes delta)delta(b)) \
& = ((Delta otimes 1)delta(a))((Delta otimes 1)delta(b)) \
& = (Delta(a_{(1)}) otimes a_{(2)})(Delta(b_{(1)}) otimes b_{(2)}) \
& = ( Delta(a_{(1)}) Delta(b_{(1)}) ) otimes a_{(2)}b_{(2)}. quad (1)
end{align}
On the other hand,
begin{align}
(1 otimes delta)delta(ab) & = (Delta otimes 1)delta(ab) \
& = (Delta otimes 1)(delta(a)delta(b)) \
& = (Delta otimes 1)(a_{(1)}b_{(1)} otimes a_{(2)} b_{(2)}) \
& = Delta(a_{(1)}b_{(1)}) otimes a_{(2)} b_{(2)}. quad (2)
end{align}
By $(1)$ and $(2)$, do we have $Delta(cd)=Delta(c)Delta(d)$ for all $c,d in B$? Thank you very much.
Edit: assume that $B$ is an algebra which is also a coalgebras (but not necessarily bialgebra). Assume that $A$ is $B$-comodule algebra.
abstract-algebra representation-theory hopf-algebras
$endgroup$
|
show 4 more comments
$begingroup$
Assume that $B$ is an algebra which is also a coalgebras (we do not assume that $B$ is a bialgebra: we do not assume $Delta(cd)=Delta(c)Delta(d)$). Assume that $A$ is $B$-comodule algebra. Then we have a map $delta: A to B otimes A$ which satisfies $(1 otimes delta)delta = (Delta otimes 1)delta$, where $Delta: B to B otimes B$ is the comultiplication on $B$. Suppose that for all $a,b in A$, we have $delta(ab)=delta(a)delta(b)$. Do we have $Delta(cd)=Delta(c)Delta(d)$ for all $c, d in B$?
Let $a,b in A$ and $delta(a)=a_{(1)} otimes a_{(2)}$, $delta(b)=b_{(1)} otimes b_{(2)}$. Then
begin{align}
(1 otimes delta)delta(ab) & = (1 otimes delta)(delta(a)delta(b)) \
& = (1 otimes delta)(a_{(1)}b_{(1)} otimes a_{(2)} b_{(2)}) \
& = a_{(1)}b_{(1)} otimes delta(a_{(2)}b_{(2)}) \
& = a_{(1)}b_{(1)} otimes delta(a_{(2)})delta(b_{(2)}) \
& = (a_{(1)} otimes delta(b_{(1)}))(a_{(2)} otimes delta(b_{(2)})) \
& = ((1 otimes delta)delta(a))((1 otimes delta)delta(b)) \
& = ((Delta otimes 1)delta(a))((Delta otimes 1)delta(b)) \
& = (Delta(a_{(1)}) otimes a_{(2)})(Delta(b_{(1)}) otimes b_{(2)}) \
& = ( Delta(a_{(1)}) Delta(b_{(1)}) ) otimes a_{(2)}b_{(2)}. quad (1)
end{align}
On the other hand,
begin{align}
(1 otimes delta)delta(ab) & = (Delta otimes 1)delta(ab) \
& = (Delta otimes 1)(delta(a)delta(b)) \
& = (Delta otimes 1)(a_{(1)}b_{(1)} otimes a_{(2)} b_{(2)}) \
& = Delta(a_{(1)}b_{(1)}) otimes a_{(2)} b_{(2)}. quad (2)
end{align}
By $(1)$ and $(2)$, do we have $Delta(cd)=Delta(c)Delta(d)$ for all $c,d in B$? Thank you very much.
Edit: assume that $B$ is an algebra which is also a coalgebras (but not necessarily bialgebra). Assume that $A$ is $B$-comodule algebra.
abstract-algebra representation-theory hopf-algebras
$endgroup$
$begingroup$
What does "$ab$" mean? Are $A$ and $B$ actually bialgebras? Anyway I don't see why that would be true, at least not with some sort of unitality condition: you could just take $delta = 0$ and get a $B$-coalgebra no matter what $Delta$ is.
$endgroup$
– Najib Idrissi
Aug 12 '15 at 8:55
$begingroup$
I second the concern that you are assuming the existence of a multiplication, something that doesn't exist if $A$ and $B$ are just co-algebras. But I'm also curious about your definition of $B$-coalgeba. Nowhere do you make use of $A$'s comultiplication, you just have that $A$ is a co-module of $B$. I feel like you want to use $delta$ as a comultiplication, but it isn't quite. It seems to me like your definition should probably be that you have a map of coalgebras $Ato B$ (dual to the definition of $Rto S$ making $S$ into an $R$-algebra).
$endgroup$
– Aaron
Aug 12 '15 at 9:15
$begingroup$
@NajibIdrissi, thank you very much. I added that assume that $A, B$ are also algebras in the last line of the post.
$endgroup$
– LJR
Aug 12 '15 at 9:31
$begingroup$
@Aaron, thank you very much. Yes, we only need the condition that $A$ is a comodule algebra.
$endgroup$
– LJR
Aug 12 '15 at 9:32
1
$begingroup$
OK. But $A$ can be the zero ring. It then becomes a $B$-comodule algebra in an obvious way, but clearly this cannot say anything about $B$. So the literal answer to your question should be a "No". On the other hand, it may be worth looking for weak assumptions under which the answer can be "Yes", such as the existence of an algebra homomorphism from $A$ to $B$ which interacts with the structures nicely (whatever this means).
$endgroup$
– darij grinberg
Aug 12 '15 at 15:17
|
show 4 more comments
$begingroup$
Assume that $B$ is an algebra which is also a coalgebras (we do not assume that $B$ is a bialgebra: we do not assume $Delta(cd)=Delta(c)Delta(d)$). Assume that $A$ is $B$-comodule algebra. Then we have a map $delta: A to B otimes A$ which satisfies $(1 otimes delta)delta = (Delta otimes 1)delta$, where $Delta: B to B otimes B$ is the comultiplication on $B$. Suppose that for all $a,b in A$, we have $delta(ab)=delta(a)delta(b)$. Do we have $Delta(cd)=Delta(c)Delta(d)$ for all $c, d in B$?
Let $a,b in A$ and $delta(a)=a_{(1)} otimes a_{(2)}$, $delta(b)=b_{(1)} otimes b_{(2)}$. Then
begin{align}
(1 otimes delta)delta(ab) & = (1 otimes delta)(delta(a)delta(b)) \
& = (1 otimes delta)(a_{(1)}b_{(1)} otimes a_{(2)} b_{(2)}) \
& = a_{(1)}b_{(1)} otimes delta(a_{(2)}b_{(2)}) \
& = a_{(1)}b_{(1)} otimes delta(a_{(2)})delta(b_{(2)}) \
& = (a_{(1)} otimes delta(b_{(1)}))(a_{(2)} otimes delta(b_{(2)})) \
& = ((1 otimes delta)delta(a))((1 otimes delta)delta(b)) \
& = ((Delta otimes 1)delta(a))((Delta otimes 1)delta(b)) \
& = (Delta(a_{(1)}) otimes a_{(2)})(Delta(b_{(1)}) otimes b_{(2)}) \
& = ( Delta(a_{(1)}) Delta(b_{(1)}) ) otimes a_{(2)}b_{(2)}. quad (1)
end{align}
On the other hand,
begin{align}
(1 otimes delta)delta(ab) & = (Delta otimes 1)delta(ab) \
& = (Delta otimes 1)(delta(a)delta(b)) \
& = (Delta otimes 1)(a_{(1)}b_{(1)} otimes a_{(2)} b_{(2)}) \
& = Delta(a_{(1)}b_{(1)}) otimes a_{(2)} b_{(2)}. quad (2)
end{align}
By $(1)$ and $(2)$, do we have $Delta(cd)=Delta(c)Delta(d)$ for all $c,d in B$? Thank you very much.
Edit: assume that $B$ is an algebra which is also a coalgebras (but not necessarily bialgebra). Assume that $A$ is $B$-comodule algebra.
abstract-algebra representation-theory hopf-algebras
$endgroup$
Assume that $B$ is an algebra which is also a coalgebras (we do not assume that $B$ is a bialgebra: we do not assume $Delta(cd)=Delta(c)Delta(d)$). Assume that $A$ is $B$-comodule algebra. Then we have a map $delta: A to B otimes A$ which satisfies $(1 otimes delta)delta = (Delta otimes 1)delta$, where $Delta: B to B otimes B$ is the comultiplication on $B$. Suppose that for all $a,b in A$, we have $delta(ab)=delta(a)delta(b)$. Do we have $Delta(cd)=Delta(c)Delta(d)$ for all $c, d in B$?
Let $a,b in A$ and $delta(a)=a_{(1)} otimes a_{(2)}$, $delta(b)=b_{(1)} otimes b_{(2)}$. Then
begin{align}
(1 otimes delta)delta(ab) & = (1 otimes delta)(delta(a)delta(b)) \
& = (1 otimes delta)(a_{(1)}b_{(1)} otimes a_{(2)} b_{(2)}) \
& = a_{(1)}b_{(1)} otimes delta(a_{(2)}b_{(2)}) \
& = a_{(1)}b_{(1)} otimes delta(a_{(2)})delta(b_{(2)}) \
& = (a_{(1)} otimes delta(b_{(1)}))(a_{(2)} otimes delta(b_{(2)})) \
& = ((1 otimes delta)delta(a))((1 otimes delta)delta(b)) \
& = ((Delta otimes 1)delta(a))((Delta otimes 1)delta(b)) \
& = (Delta(a_{(1)}) otimes a_{(2)})(Delta(b_{(1)}) otimes b_{(2)}) \
& = ( Delta(a_{(1)}) Delta(b_{(1)}) ) otimes a_{(2)}b_{(2)}. quad (1)
end{align}
On the other hand,
begin{align}
(1 otimes delta)delta(ab) & = (Delta otimes 1)delta(ab) \
& = (Delta otimes 1)(delta(a)delta(b)) \
& = (Delta otimes 1)(a_{(1)}b_{(1)} otimes a_{(2)} b_{(2)}) \
& = Delta(a_{(1)}b_{(1)}) otimes a_{(2)} b_{(2)}. quad (2)
end{align}
By $(1)$ and $(2)$, do we have $Delta(cd)=Delta(c)Delta(d)$ for all $c,d in B$? Thank you very much.
Edit: assume that $B$ is an algebra which is also a coalgebras (but not necessarily bialgebra). Assume that $A$ is $B$-comodule algebra.
abstract-algebra representation-theory hopf-algebras
abstract-algebra representation-theory hopf-algebras
edited Aug 12 '15 at 13:47
LJR
asked Aug 12 '15 at 8:37
LJRLJR
6,63641850
6,63641850
$begingroup$
What does "$ab$" mean? Are $A$ and $B$ actually bialgebras? Anyway I don't see why that would be true, at least not with some sort of unitality condition: you could just take $delta = 0$ and get a $B$-coalgebra no matter what $Delta$ is.
$endgroup$
– Najib Idrissi
Aug 12 '15 at 8:55
$begingroup$
I second the concern that you are assuming the existence of a multiplication, something that doesn't exist if $A$ and $B$ are just co-algebras. But I'm also curious about your definition of $B$-coalgeba. Nowhere do you make use of $A$'s comultiplication, you just have that $A$ is a co-module of $B$. I feel like you want to use $delta$ as a comultiplication, but it isn't quite. It seems to me like your definition should probably be that you have a map of coalgebras $Ato B$ (dual to the definition of $Rto S$ making $S$ into an $R$-algebra).
$endgroup$
– Aaron
Aug 12 '15 at 9:15
$begingroup$
@NajibIdrissi, thank you very much. I added that assume that $A, B$ are also algebras in the last line of the post.
$endgroup$
– LJR
Aug 12 '15 at 9:31
$begingroup$
@Aaron, thank you very much. Yes, we only need the condition that $A$ is a comodule algebra.
$endgroup$
– LJR
Aug 12 '15 at 9:32
1
$begingroup$
OK. But $A$ can be the zero ring. It then becomes a $B$-comodule algebra in an obvious way, but clearly this cannot say anything about $B$. So the literal answer to your question should be a "No". On the other hand, it may be worth looking for weak assumptions under which the answer can be "Yes", such as the existence of an algebra homomorphism from $A$ to $B$ which interacts with the structures nicely (whatever this means).
$endgroup$
– darij grinberg
Aug 12 '15 at 15:17
|
show 4 more comments
$begingroup$
What does "$ab$" mean? Are $A$ and $B$ actually bialgebras? Anyway I don't see why that would be true, at least not with some sort of unitality condition: you could just take $delta = 0$ and get a $B$-coalgebra no matter what $Delta$ is.
$endgroup$
– Najib Idrissi
Aug 12 '15 at 8:55
$begingroup$
I second the concern that you are assuming the existence of a multiplication, something that doesn't exist if $A$ and $B$ are just co-algebras. But I'm also curious about your definition of $B$-coalgeba. Nowhere do you make use of $A$'s comultiplication, you just have that $A$ is a co-module of $B$. I feel like you want to use $delta$ as a comultiplication, but it isn't quite. It seems to me like your definition should probably be that you have a map of coalgebras $Ato B$ (dual to the definition of $Rto S$ making $S$ into an $R$-algebra).
$endgroup$
– Aaron
Aug 12 '15 at 9:15
$begingroup$
@NajibIdrissi, thank you very much. I added that assume that $A, B$ are also algebras in the last line of the post.
$endgroup$
– LJR
Aug 12 '15 at 9:31
$begingroup$
@Aaron, thank you very much. Yes, we only need the condition that $A$ is a comodule algebra.
$endgroup$
– LJR
Aug 12 '15 at 9:32
1
$begingroup$
OK. But $A$ can be the zero ring. It then becomes a $B$-comodule algebra in an obvious way, but clearly this cannot say anything about $B$. So the literal answer to your question should be a "No". On the other hand, it may be worth looking for weak assumptions under which the answer can be "Yes", such as the existence of an algebra homomorphism from $A$ to $B$ which interacts with the structures nicely (whatever this means).
$endgroup$
– darij grinberg
Aug 12 '15 at 15:17
$begingroup$
What does "$ab$" mean? Are $A$ and $B$ actually bialgebras? Anyway I don't see why that would be true, at least not with some sort of unitality condition: you could just take $delta = 0$ and get a $B$-coalgebra no matter what $Delta$ is.
$endgroup$
– Najib Idrissi
Aug 12 '15 at 8:55
$begingroup$
What does "$ab$" mean? Are $A$ and $B$ actually bialgebras? Anyway I don't see why that would be true, at least not with some sort of unitality condition: you could just take $delta = 0$ and get a $B$-coalgebra no matter what $Delta$ is.
$endgroup$
– Najib Idrissi
Aug 12 '15 at 8:55
$begingroup$
I second the concern that you are assuming the existence of a multiplication, something that doesn't exist if $A$ and $B$ are just co-algebras. But I'm also curious about your definition of $B$-coalgeba. Nowhere do you make use of $A$'s comultiplication, you just have that $A$ is a co-module of $B$. I feel like you want to use $delta$ as a comultiplication, but it isn't quite. It seems to me like your definition should probably be that you have a map of coalgebras $Ato B$ (dual to the definition of $Rto S$ making $S$ into an $R$-algebra).
$endgroup$
– Aaron
Aug 12 '15 at 9:15
$begingroup$
I second the concern that you are assuming the existence of a multiplication, something that doesn't exist if $A$ and $B$ are just co-algebras. But I'm also curious about your definition of $B$-coalgeba. Nowhere do you make use of $A$'s comultiplication, you just have that $A$ is a co-module of $B$. I feel like you want to use $delta$ as a comultiplication, but it isn't quite. It seems to me like your definition should probably be that you have a map of coalgebras $Ato B$ (dual to the definition of $Rto S$ making $S$ into an $R$-algebra).
$endgroup$
– Aaron
Aug 12 '15 at 9:15
$begingroup$
@NajibIdrissi, thank you very much. I added that assume that $A, B$ are also algebras in the last line of the post.
$endgroup$
– LJR
Aug 12 '15 at 9:31
$begingroup$
@NajibIdrissi, thank you very much. I added that assume that $A, B$ are also algebras in the last line of the post.
$endgroup$
– LJR
Aug 12 '15 at 9:31
$begingroup$
@Aaron, thank you very much. Yes, we only need the condition that $A$ is a comodule algebra.
$endgroup$
– LJR
Aug 12 '15 at 9:32
$begingroup$
@Aaron, thank you very much. Yes, we only need the condition that $A$ is a comodule algebra.
$endgroup$
– LJR
Aug 12 '15 at 9:32
1
1
$begingroup$
OK. But $A$ can be the zero ring. It then becomes a $B$-comodule algebra in an obvious way, but clearly this cannot say anything about $B$. So the literal answer to your question should be a "No". On the other hand, it may be worth looking for weak assumptions under which the answer can be "Yes", such as the existence of an algebra homomorphism from $A$ to $B$ which interacts with the structures nicely (whatever this means).
$endgroup$
– darij grinberg
Aug 12 '15 at 15:17
$begingroup$
OK. But $A$ can be the zero ring. It then becomes a $B$-comodule algebra in an obvious way, but clearly this cannot say anything about $B$. So the literal answer to your question should be a "No". On the other hand, it may be worth looking for weak assumptions under which the answer can be "Yes", such as the existence of an algebra homomorphism from $A$ to $B$ which interacts with the structures nicely (whatever this means).
$endgroup$
– darij grinberg
Aug 12 '15 at 15:17
|
show 4 more comments
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
});
}
});
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%2fmath.stackexchange.com%2fquestions%2f1394170%2fdo-we-have-deltaab-deltaa-deltab-implies-deltacd-deltac-deltad%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
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.
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%2fmath.stackexchange.com%2fquestions%2f1394170%2fdo-we-have-deltaab-deltaa-deltab-implies-deltacd-deltac-deltad%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
$begingroup$
What does "$ab$" mean? Are $A$ and $B$ actually bialgebras? Anyway I don't see why that would be true, at least not with some sort of unitality condition: you could just take $delta = 0$ and get a $B$-coalgebra no matter what $Delta$ is.
$endgroup$
– Najib Idrissi
Aug 12 '15 at 8:55
$begingroup$
I second the concern that you are assuming the existence of a multiplication, something that doesn't exist if $A$ and $B$ are just co-algebras. But I'm also curious about your definition of $B$-coalgeba. Nowhere do you make use of $A$'s comultiplication, you just have that $A$ is a co-module of $B$. I feel like you want to use $delta$ as a comultiplication, but it isn't quite. It seems to me like your definition should probably be that you have a map of coalgebras $Ato B$ (dual to the definition of $Rto S$ making $S$ into an $R$-algebra).
$endgroup$
– Aaron
Aug 12 '15 at 9:15
$begingroup$
@NajibIdrissi, thank you very much. I added that assume that $A, B$ are also algebras in the last line of the post.
$endgroup$
– LJR
Aug 12 '15 at 9:31
$begingroup$
@Aaron, thank you very much. Yes, we only need the condition that $A$ is a comodule algebra.
$endgroup$
– LJR
Aug 12 '15 at 9:32
1
$begingroup$
OK. But $A$ can be the zero ring. It then becomes a $B$-comodule algebra in an obvious way, but clearly this cannot say anything about $B$. So the literal answer to your question should be a "No". On the other hand, it may be worth looking for weak assumptions under which the answer can be "Yes", such as the existence of an algebra homomorphism from $A$ to $B$ which interacts with the structures nicely (whatever this means).
$endgroup$
– darij grinberg
Aug 12 '15 at 15:17