Mathieu and Ruddy proved that if be a unital spectral isometry from a unital C*-algebra Aonto a unital type I C*-algebra B whose primitive ideal space is Hausdorff and totallydisconnected, then is Jordan isomorphism. The aim of this note is to show that if be asurjective spectrum preserving additive map, then is a Jordan isomorphism without the extraassumption totally disconnected.

This paper defines an isomorphism, an anti-isomorphism and a Jordan isomorphism in a gamma ring and develops some important results relating to these concepts. Using these results we prove Herstein’s theorem of classical rings in case of prime gamma rings by showing that every Jordan isomorphism of a 2-torsion free prime gamma ring is either an isomorphism or an anti-isomorphism. AMS Mathematic...

Let $A$ be a unital $C^{*}$-algebra which has a faithful state. If $varphi:Arightarrow A$ is a unital linear map which is bijective and invertibility preserving or surjective and spectral radius preserving, then $varphi$ is a Jordan isomorphism. Also, we discuss other types of linear preserver maps on $A$.

Derivations, Jordan derivations, as well as automorphisms and Jordan automorphisms of the algebra of triangular matrices and some class of their subalgebras have been the object of active research for a long time [1, 2, 5, 6, 9, 10]. A well-know result of Herstein [11] states that every Jordan isomorphism on a prime ring of characteristic different from 2 is either an isomorphism or an anti-iso...

This submission contains theories that lead to a formalization of the proof of the Jordan-Hölder theorem about composition series of finite groups. The theories formalize the notions of isomorphism classes of groups, simple groups, normal series, composition series, maximal normal subgroups. Furthermore, they provide proofs of the second isomorphism theorem for groups, the characterization theo...

In 1996, Harris and Kadison posed the following problem: show that a linear bijection between C∗-algebras that preserves the identity and the set of invertible elements is a Jordan isomorphism. In this paper, we show that if A and B are semisimple Banach algebras andΦ : A→ B is a linear map onto B that preserves the spectrum of elements, thenΦ is a Jordan isomorphism if either A or B is a C∗-al...

For von Neumann algebras M,N not isomorphic to C C and without type I2 summands, we show that for an order-isomorphism f : AbSub M! AbSub N between the posets of abelian von Neumann subalgebras of M and N , there is a unique Jordan ⇤-isomorphism g : M! N with the image g[S] equal to f(S) for each abelian von Neumann subalgebra S of M. The converse also holds. This shows the Jordan structure of ...

The purpose of this note is to show that any order isomorphism between noncommutative L2-spaces associated with von Neumann algebras is decomposed into a sum of a completely positive map and a completely copositive map. The result is an L2 version of a theorem of Kadison for a Jordan isomorphism on operator algebras.

Physically meaningful regions can be modeled by regular open semianalytic sets with bounded boundaries. These sets are named as Yin sets and they form a topological space called the Yin space. Due to the regularity, the Yin sets can be represented by a collection of particular sets of oriented Jordan curves; this collection is referred to as the Jordan space. After defining a meet operation, a ...

Let A and B be two factor von Neumann algebras. In this paper, we proved that a bijective mapping Φ:A→B satisfies Φ(a∘b+ba∗)=Φ(a)∘Φ(b)+Φ(b)Φ(a)∗ (where ∘ is the special Jordan product on B, respectively), for all elements a,b∈A, if only Φ ∗-ring isomorphism. particular, algebras are type I factors, then unitary isomorphism or conjugate