Two projections in a synaptic algebra
We investigate P. Halmos' two projections theorem, (or two subspaces theorem) in the context of a synaptic algebra (a generalization of the self-adjoint part of a von Neumann algebra).
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Sylvia Pulmannova contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We investigate P. Halmos' two projections theorem, (or two subspaces theorem) in the context of a synaptic algebra (a generalization of the self-adjoint part of a von Neumann algebra).
A generalized pseudo effect algebra (GPEA) is a partially ordered partial algebraic structure with a smallest element 0, but not necessarily with a unit (i.e, a largest element). If a GPEA admits a so-called unitizing automorphism, then it can be embedded as an order ideal in its so-called unitization, which does have a unit. We study unitizations of GPEAs with respect to a unitizing automorphism, paying special attention to the behavior of congruences and ideals in this setting.
State operators on convex effect algebras, in particular effect algebras of unital JC-algebras, JW-algebras and convex sigma-MV algebras are studied and their relations with conditional expectations in algebraic sense as well as in the sense of probability on MV-algebras are shown.
A synaptic algebra is a generalization of the Jordan algebra of selfadjoint elements of a von Neumann algebra. We study symmetries in synaptic algebras, i.e., elements whose square is the unit element, and we investigate the equivalence relation on the projection lattice of the algebra induced by finite sequences of symmetries. In case the projection lattice is complete, or even centrally orthocomplete, this equivalence relation is shown to possess many of the properties of a dimension equivalence relation on an orthomodular lattice.
In this paper we define and study dimension generalized effect algebras (DGEAs), i.e., Dedekind orthocomplete and centrally orthocomplete generalized effect algebras equipped with a dimension equivalence relation. Our theory is a bona fide generalization of the theory of dimension effect algebras (DEAs), i.e., it is formulated so that, if a DGEA happens to be an effect algebra (i.e., it has a unit element), then it is a DEA. We prove that a DGEA decomposes into type I, II, and III DGEAS in a manner analogous to the type I/II/III decomposition of a DEA.
We extend to a generalized pseudoeffect algebra (GPEA) the notion of the exocenter of a generalized effect algebra (GEA) and show that elements of the exocenter are in one-to-one correspondence with direct decompositions of the GPEA; thus the exocenter is a generalization of the center of a pseudoeffect algebra (PEA). The exocenter forms a boolean algebra and the central elements of the GPEA correspond to elements of a sublattice of the exocenter which forms a generalized boolean algebra. We extend to GPEAs the notion of central orthocompleteness, prove that the exocenter of a centrally orthocomplete GPEA (COGPEA) is a complete boolean algebra and show that the sublattice corresponding to the center is a complete boolean subalgebra. We also show that in a COGPEA, every element admits an exocentral cover and that the family of all exocentral covers, the so-called exocentral cover system, has the properties of a hull system on a generalized effect algebra. We extend the notion of type determining (TD) sets, originally introduced for effect algebras and then extended to GEAs and PEAs, to GPEAs, and prove a type-decomposition theorem, analogous to the type decomposition of von Neumann algebras.
Pseudo-effect algebras are partial algebraic structures, that were introduced as a non-commutative generalization of effect algebras. In the present paper, lattice ordered pseudo-effect algebras are considered as possible algebraic non-commutative analogs of non-commutative non-standard reasoning. To this aim, the interplay among conjunction, implication and negation connectives is studied. It turns out that in the non-commutative reasoning, all these connectives are doubled. In particular, there are two negations and two pairs consisting of conjunction and implication, related by residuation laws. The main result of the paper is a characterization of lattice pseudo-effect algebras in terms of so-called pseudo Sasaki algebras. We also show that all pseudo-effect algebras can be characterized in terms of certain partially defined double residuated structures.
A 'state property system' is the mathematical structure which models an arbitrary physical system by means of its set of states, its set of properties, and a relation of 'actuality of a certain property for a certain state'. We work out a new axiomatization for standard quantum mechanics, starting with the basic notion of state property system, and making use of a generalization of the standard quantum mechanical notion of 'superposition' for state property systems.