Another version of “exotic characterization of a commutative -algebra”英文文献资料.docVIP

ANOTHERVERSIONOF‘‘EXOTICCHARACTERIZATIONOF ACOMMUTATIVEH ? -ALGEBRA’’ PARFENYP.SAWOROTNOW Received26July2004 Commutative H -algebra ischaracterized in asomewhat unusual fashion without as- ? sumingeitherHilbertspacestructureorcommutativity.Existenceofaninvolutionisnot postulatedalso. 1.Introductionandmainresult About 5yearsago,theauthor wrote anarticle inwhich hecharacterized commutative H?-algebras inasomewhat unusualway.Nowwewillshowthatasimilarcharacteriza- tioncanbeachieved without assuming aHilbert space structure onthealgebra. More speci?callywewillprovethefollowingtheorem. Theorem1.1. LetAbeasemisimplecomplexBanachalgebrawiththefollowingproperties: (i)foreveryclosedrightidealRinA,thereexistsaclosedleftidealLsuchthatR∩L= {0}andR+L=A(eacha∈Acanbewritten intheforma=a +a witha ∈R, 1 2 1 a ∈L); 2 (ii)ifa,binAaresuchthatab=ba=0,thena+b2=a2+b2. ThenAisacommutativeproperH -algebra[1]. ? ? ItiseasytoseethateachpropercommutativeH -algebrahasproperties(i)and(ii), statedinthetheorem. AproperH space,whichhasaninvolutionx→x A.AnidempotentisamembereofAsuchthate ten as a sum, e=e1+e2, of two nonzero idempotents e , e such that e e =e e =0 ? -algebraisaBanachalgebraA,whoseunderlyingBanachspaceisaHilbert suchthat(xy,z)=(y,x z)=(x,zy )forallx,y∈ 2= ; isprimitiveifitcannotbewrit- ? ? ? e e 1 2 1 2 2 1 (e=e +e implieseithere =0ore =0).ABanachalgebraAissemisimpleifitsradical 1 2 1 2 [2](Jacobson radical) consistsof0alone.Oneoftheproperties ofradical[2,Theorem 16]isthefollowingproposition:ifRisarightidealconsistingofnilpotents(x∈Rimplies xn=0forsomepositiveintegern),thenRisincludedintheradical.Thispropositionis relevanttoboththepresentnoteand[4]. Copyright?2005HindawiPublishingCorporation InternationalJournalofMathematicsandMathematicalSciences2005:3(2005)483–486 DOI:10.1155/IJMMS.2005.483  484 ? Characterization ofacommutativeH -algebra 2.Relevantlemmas Wewillestablishthemainresult(Theorem1.1)byprovingaseriesoflemmas?rst. LetAbeasemisimp