<p>For a <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({\mathcal {A}},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> its <i>scattered radical</i> <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\mathcal {R}}_s({\mathcal {A}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">R</mi> <mi>s</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is the largest scattered ideal of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({\mathcal {A}};\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mo>;</mo> </mrow> </math></EquationSource> </InlineEquation> an ideal is <i>scattered</i> if its elements all have countable spectrum. We say that <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\({\mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> is <i>scattered</i> if <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\({\mathcal {R}}_s({\mathcal {A}})={\mathcal {A}}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">R</mi> <mi>s</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">A</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi mathvariant="script">A</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> In this paper, we first show that any scattered von Neumann algebra is finite dimensional and then obtain a complete characterization of scattered radical of von Neumann algebras. Furthermore, we give a topological characterization of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\({\mathcal {R}}_s(C(M)),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">R</mi> <mi>s</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> that is, <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\({\mathcal {R}}_s(C(M))=\{f\in C(M): f(P(M))=0\},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">R</mi> <mi>s</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>C</mi> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mi>f</mi> <mo>∈</mo> <mi>C</mi> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>P</mi> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <i>M</i> is a Hausdorff compact space and <i>P</i>(<i>M</i>) is the largest perfect subset of <i>M</i>. Finally, we show that <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\({\mathcal {R}}_s({\mathcal {A}}\otimes _{\min } {\mathcal {B}})={\mathcal {R}}_s({\mathcal {A}})\otimes _{\min } {\mathcal {R}}_s({\mathcal {B}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">R</mi> <mi>s</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">A</mi> <msub> <mo>⊗</mo> <mo movablelimits="true">min</mo> </msub> <mi mathvariant="script">B</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi mathvariant="script">R</mi> <mi>s</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">A</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mo>⊗</mo> <mo movablelimits="true">min</mo> </msub> <msub> <mi mathvariant="script">R</mi> <mi>s</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">B</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> if <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\({\mathcal {A}},{\mathcal {B}},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mo>,</mo> <mi mathvariant="script">B</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> satisfying one of the following conditions: (i) <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\({\mathcal {A}},{\mathcal {B}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mo>,</mo> <mi mathvariant="script">B</mi> </mrow> </math></EquationSource> </InlineEquation> are <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebras and <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\({\mathcal {A}},{\mathcal {B}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mo>,</mo> <mi mathvariant="script">B</mi> </mrow> </math></EquationSource> </InlineEquation> are exact; (ii) <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\({\mathcal {A}},{\mathcal {B}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mo>,</mo> <mi mathvariant="script">B</mi> </mrow> </math></EquationSource> </InlineEquation> are <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebras and <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\({\mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\({\mathcal {B}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">B</mi> </math></EquationSource> </InlineEquation> is nuclear.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The scattered radical of some \(C^*\)-algebras

  • Peng Cao,
  • Zhang Xiang

摘要

For a \(C^*\) C -algebra \({\mathcal {A}},\) A , its scattered radical \({\mathcal {R}}_s({\mathcal {A}})\) R s ( A ) is the largest scattered ideal of \({\mathcal {A}};\) A ; an ideal is scattered if its elements all have countable spectrum. We say that \({\mathcal {A}}\) A is scattered if \({\mathcal {R}}_s({\mathcal {A}})={\mathcal {A}}.\) R s ( A ) = A . In this paper, we first show that any scattered von Neumann algebra is finite dimensional and then obtain a complete characterization of scattered radical of von Neumann algebras. Furthermore, we give a topological characterization of \({\mathcal {R}}_s(C(M)),\) R s ( C ( M ) ) , that is, \({\mathcal {R}}_s(C(M))=\{f\in C(M): f(P(M))=0\},\) R s ( C ( M ) ) = { f C ( M ) : f ( P ( M ) ) = 0 } , where M is a Hausdorff compact space and P(M) is the largest perfect subset of M. Finally, we show that \({\mathcal {R}}_s({\mathcal {A}}\otimes _{\min } {\mathcal {B}})={\mathcal {R}}_s({\mathcal {A}})\otimes _{\min } {\mathcal {R}}_s({\mathcal {B}})\) R s ( A min B ) = R s ( A ) min R s ( B ) if \({\mathcal {A}},{\mathcal {B}},\) A , B , satisfying one of the following conditions: (i) \({\mathcal {A}},{\mathcal {B}}\) A , B are \(C^*\) C -algebras and \({\mathcal {A}},{\mathcal {B}}\) A , B are exact; (ii) \({\mathcal {A}},{\mathcal {B}}\) A , B are \(C^*\) C -algebras and \({\mathcal {A}}\) A or \({\mathcal {B}}\) B is nuclear.