Type-decomposition of an effect algebra (Q535623): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
The authors study centrally orthocomplete effect algebras, i.e. effect algebras with the property that every family of elements dominated by an orthogonal family of central elements has a supremum. They introduce a general notion of decomposition into types, prove that centrally orthocomplete effect algebra decomposes uniquely to a direct sum of types I--III, and obtain a generalization of \textit{A. Ramsay}'s fourfold decomposition of a complete orthomodular lattice [Trans. Am. Math. Soc. 116, 9--31 (1965; Zbl 0163.26206)]. | |||
Property / review text: The authors study centrally orthocomplete effect algebras, i.e. effect algebras with the property that every family of elements dominated by an orthogonal family of central elements has a supremum. They introduce a general notion of decomposition into types, prove that centrally orthocomplete effect algebra decomposes uniquely to a direct sum of types I--III, and obtain a generalization of \textit{A. Ramsay}'s fourfold decomposition of a complete orthomodular lattice [Trans. Am. Math. Soc. 116, 9--31 (1965; Zbl 0163.26206)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Josef Tkadlec / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 81P10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G12 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06C15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5887848 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
effect algebra | |||
Property / zbMATH Keywords: effect algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
orthomodular lattice | |||
Property / zbMATH Keywords: orthomodular lattice / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Boolean algebra | |||
Property / zbMATH Keywords: Boolean algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
atom | |||
Property / zbMATH Keywords: atom / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
central element | |||
Property / zbMATH Keywords: central element / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
direct-sum decomposition | |||
Property / zbMATH Keywords: direct-sum decomposition / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
types I, II, III | |||
Property / zbMATH Keywords: types I, II, III / rank | |||
Normal rank |
Revision as of 09:57, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Type-decomposition of an effect algebra |
scientific article |
Statements
Type-decomposition of an effect algebra (English)
0 references
13 May 2011
0 references
The authors study centrally orthocomplete effect algebras, i.e. effect algebras with the property that every family of elements dominated by an orthogonal family of central elements has a supremum. They introduce a general notion of decomposition into types, prove that centrally orthocomplete effect algebra decomposes uniquely to a direct sum of types I--III, and obtain a generalization of \textit{A. Ramsay}'s fourfold decomposition of a complete orthomodular lattice [Trans. Am. Math. Soc. 116, 9--31 (1965; Zbl 0163.26206)].
0 references
effect algebra
0 references
orthomodular lattice
0 references
Boolean algebra
0 references
atom
0 references
central element
0 references
direct-sum decomposition
0 references
types I, II, III
0 references