Polar decomposition in e-rings (Q2370752)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Polar decomposition in e-rings |
scientific article |
Statements
Polar decomposition in e-rings (English)
0 references
29 June 2007
0 references
An e-ring is a pair \((R,E)\) consisting of an associative ring \(R\) with unity \(1\) and a subset \(E \subseteq R\) of elements called effects such that (i) \(1 \in E\), (ii) if \(e \in E\), then \(1-e \in E,\) (iii) if \(e \in E^+\), then \(e = e_1 +\dots+e_n\) with \(e_1,\dots,e_n \in E\). Moreover, \(E^+\) satisfies additional conditions. A prototype of an e-ring is a couple \((B(\mathbb H), E(\mathbb H))\), where \(E(\mathbb H) =\{A \in B(\mathbb H)\mid O \leq A \leq 1\}\). The paper under review gives a necessary and sufficient condition when any element of the directed group of an e-ring admits a polar decomposition.
0 references
e-ring
0 references
effect algebra
0 references
directed group
0 references
projection
0 references
orthomodular poset
0 references
fuzzy set
0 references
polar decomposition
0 references
comparability property
0 references
positive and negative parts
0 references
absolute value
0 references
carrier projection
0 references
signum
0 references