splitting lemma in $C^*$ algebras

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












In abelian category,there is a splitting lemma. see https://en.wikipedia.org/wiki/Splitting_lemma



I wonder whether the splitting lemma also holds in $C^*$ algebras .Is left split equivalent to right split?







share|cite|improve this question



















  • This question is very similar to:math.stackexchange.com/questions/2848612/…
    – Adrián González-Pérez
    Jul 23 at 10:49














up vote
1
down vote

favorite












In abelian category,there is a splitting lemma. see https://en.wikipedia.org/wiki/Splitting_lemma



I wonder whether the splitting lemma also holds in $C^*$ algebras .Is left split equivalent to right split?







share|cite|improve this question



















  • This question is very similar to:math.stackexchange.com/questions/2848612/…
    – Adrián González-Pérez
    Jul 23 at 10:49












up vote
1
down vote

favorite









up vote
1
down vote

favorite











In abelian category,there is a splitting lemma. see https://en.wikipedia.org/wiki/Splitting_lemma



I wonder whether the splitting lemma also holds in $C^*$ algebras .Is left split equivalent to right split?







share|cite|improve this question











In abelian category,there is a splitting lemma. see https://en.wikipedia.org/wiki/Splitting_lemma



I wonder whether the splitting lemma also holds in $C^*$ algebras .Is left split equivalent to right split?









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 22 at 8:11









mathrookie

437211




437211











  • This question is very similar to:math.stackexchange.com/questions/2848612/…
    – Adrián González-Pérez
    Jul 23 at 10:49
















  • This question is very similar to:math.stackexchange.com/questions/2848612/…
    – Adrián González-Pérez
    Jul 23 at 10:49















This question is very similar to:math.stackexchange.com/questions/2848612/…
– Adrián González-Pérez
Jul 23 at 10:49




This question is very similar to:math.stackexchange.com/questions/2848612/…
– Adrián González-Pérez
Jul 23 at 10:49










1 Answer
1






active

oldest

votes

















up vote
3
down vote



accepted










No, not even if the C$^*$-algebra is commutative. For instance if you take $A=C_b(mathbb N)$ (bounded sequences), then $I=c_0(mathbb N)$ is an ideal that is not complemented.






share|cite|improve this answer





















  • If $A$ has a unit ,$I$ is a finite dimensional ideal,can we decompose it?
    – mathrookie
    Jul 22 at 19:01










  • Not sure. I'll think about it.
    – Martin Argerami
    Jul 22 at 19:08










  • I have found the answer in Blackdar's book,for a fixed $C^*$ algebra $A$ and $B$,there is always at least extension $E=Aoplus B$.If $B$ is unital,this is the only extension (see Busty 's paper Double centralizers and extension of $C^*$ algeras)
    – mathrookie
    Jul 23 at 15:41










  • But that's not what you were asking. If you are given $A$ and $B$, you can form $E=Aoplus B$. Your question is about having $B$ and $E$ and finding $A$.
    – Martin Argerami
    Jul 23 at 15:46











  • If $A$ and $A/I$ were given,$E_1=Aoplus A/I$,$E_2=A$ are both extensions,they are $ *$ isomorphic
    – mathrookie
    Jul 25 at 0:42











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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
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%2f2859200%2fsplitting-lemma-in-c-algebras%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
3
down vote



accepted










No, not even if the C$^*$-algebra is commutative. For instance if you take $A=C_b(mathbb N)$ (bounded sequences), then $I=c_0(mathbb N)$ is an ideal that is not complemented.






share|cite|improve this answer





















  • If $A$ has a unit ,$I$ is a finite dimensional ideal,can we decompose it?
    – mathrookie
    Jul 22 at 19:01










  • Not sure. I'll think about it.
    – Martin Argerami
    Jul 22 at 19:08










  • I have found the answer in Blackdar's book,for a fixed $C^*$ algebra $A$ and $B$,there is always at least extension $E=Aoplus B$.If $B$ is unital,this is the only extension (see Busty 's paper Double centralizers and extension of $C^*$ algeras)
    – mathrookie
    Jul 23 at 15:41










  • But that's not what you were asking. If you are given $A$ and $B$, you can form $E=Aoplus B$. Your question is about having $B$ and $E$ and finding $A$.
    – Martin Argerami
    Jul 23 at 15:46











  • If $A$ and $A/I$ were given,$E_1=Aoplus A/I$,$E_2=A$ are both extensions,they are $ *$ isomorphic
    – mathrookie
    Jul 25 at 0:42















up vote
3
down vote



accepted










No, not even if the C$^*$-algebra is commutative. For instance if you take $A=C_b(mathbb N)$ (bounded sequences), then $I=c_0(mathbb N)$ is an ideal that is not complemented.






share|cite|improve this answer





















  • If $A$ has a unit ,$I$ is a finite dimensional ideal,can we decompose it?
    – mathrookie
    Jul 22 at 19:01










  • Not sure. I'll think about it.
    – Martin Argerami
    Jul 22 at 19:08










  • I have found the answer in Blackdar's book,for a fixed $C^*$ algebra $A$ and $B$,there is always at least extension $E=Aoplus B$.If $B$ is unital,this is the only extension (see Busty 's paper Double centralizers and extension of $C^*$ algeras)
    – mathrookie
    Jul 23 at 15:41










  • But that's not what you were asking. If you are given $A$ and $B$, you can form $E=Aoplus B$. Your question is about having $B$ and $E$ and finding $A$.
    – Martin Argerami
    Jul 23 at 15:46











  • If $A$ and $A/I$ were given,$E_1=Aoplus A/I$,$E_2=A$ are both extensions,they are $ *$ isomorphic
    – mathrookie
    Jul 25 at 0:42













up vote
3
down vote



accepted







up vote
3
down vote



accepted






No, not even if the C$^*$-algebra is commutative. For instance if you take $A=C_b(mathbb N)$ (bounded sequences), then $I=c_0(mathbb N)$ is an ideal that is not complemented.






share|cite|improve this answer













No, not even if the C$^*$-algebra is commutative. For instance if you take $A=C_b(mathbb N)$ (bounded sequences), then $I=c_0(mathbb N)$ is an ideal that is not complemented.







share|cite|improve this answer













share|cite|improve this answer



share|cite|improve this answer











answered Jul 22 at 18:53









Martin Argerami

116k1071164




116k1071164











  • If $A$ has a unit ,$I$ is a finite dimensional ideal,can we decompose it?
    – mathrookie
    Jul 22 at 19:01










  • Not sure. I'll think about it.
    – Martin Argerami
    Jul 22 at 19:08










  • I have found the answer in Blackdar's book,for a fixed $C^*$ algebra $A$ and $B$,there is always at least extension $E=Aoplus B$.If $B$ is unital,this is the only extension (see Busty 's paper Double centralizers and extension of $C^*$ algeras)
    – mathrookie
    Jul 23 at 15:41










  • But that's not what you were asking. If you are given $A$ and $B$, you can form $E=Aoplus B$. Your question is about having $B$ and $E$ and finding $A$.
    – Martin Argerami
    Jul 23 at 15:46











  • If $A$ and $A/I$ were given,$E_1=Aoplus A/I$,$E_2=A$ are both extensions,they are $ *$ isomorphic
    – mathrookie
    Jul 25 at 0:42

















  • If $A$ has a unit ,$I$ is a finite dimensional ideal,can we decompose it?
    – mathrookie
    Jul 22 at 19:01










  • Not sure. I'll think about it.
    – Martin Argerami
    Jul 22 at 19:08










  • I have found the answer in Blackdar's book,for a fixed $C^*$ algebra $A$ and $B$,there is always at least extension $E=Aoplus B$.If $B$ is unital,this is the only extension (see Busty 's paper Double centralizers and extension of $C^*$ algeras)
    – mathrookie
    Jul 23 at 15:41










  • But that's not what you were asking. If you are given $A$ and $B$, you can form $E=Aoplus B$. Your question is about having $B$ and $E$ and finding $A$.
    – Martin Argerami
    Jul 23 at 15:46











  • If $A$ and $A/I$ were given,$E_1=Aoplus A/I$,$E_2=A$ are both extensions,they are $ *$ isomorphic
    – mathrookie
    Jul 25 at 0:42
















If $A$ has a unit ,$I$ is a finite dimensional ideal,can we decompose it?
– mathrookie
Jul 22 at 19:01




If $A$ has a unit ,$I$ is a finite dimensional ideal,can we decompose it?
– mathrookie
Jul 22 at 19:01












Not sure. I'll think about it.
– Martin Argerami
Jul 22 at 19:08




Not sure. I'll think about it.
– Martin Argerami
Jul 22 at 19:08












I have found the answer in Blackdar's book,for a fixed $C^*$ algebra $A$ and $B$,there is always at least extension $E=Aoplus B$.If $B$ is unital,this is the only extension (see Busty 's paper Double centralizers and extension of $C^*$ algeras)
– mathrookie
Jul 23 at 15:41




I have found the answer in Blackdar's book,for a fixed $C^*$ algebra $A$ and $B$,there is always at least extension $E=Aoplus B$.If $B$ is unital,this is the only extension (see Busty 's paper Double centralizers and extension of $C^*$ algeras)
– mathrookie
Jul 23 at 15:41












But that's not what you were asking. If you are given $A$ and $B$, you can form $E=Aoplus B$. Your question is about having $B$ and $E$ and finding $A$.
– Martin Argerami
Jul 23 at 15:46





But that's not what you were asking. If you are given $A$ and $B$, you can form $E=Aoplus B$. Your question is about having $B$ and $E$ and finding $A$.
– Martin Argerami
Jul 23 at 15:46













If $A$ and $A/I$ were given,$E_1=Aoplus A/I$,$E_2=A$ are both extensions,they are $ *$ isomorphic
– mathrookie
Jul 25 at 0:42





If $A$ and $A/I$ were given,$E_1=Aoplus A/I$,$E_2=A$ are both extensions,they are $ *$ isomorphic
– mathrookie
Jul 25 at 0:42













 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2859200%2fsplitting-lemma-in-c-algebras%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Relationship between determinant of matrix and determinant of adjoint?

Color the edges and diagonals of a regular polygon