Finite fixed point algebras are subdiagonalisable (Q581435): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / review text | |||
A fixed point algebra \(<A,B>\) consists of a Boolean algebra \(A\), together with a Boolean algebra \(B\) of functions on \(A\) which is closed under composition and where all the functions in \(B\) have a fixed point. The class of diagonalizable fixed point algebras was defined by Smoryński. It is shown that all finite fixed point algebras are subdiagonalizable, that is, of the form \(<A,C>\) where \(C\leq B\) and \(<A,B>\) is diagonalizable. It is also shown that a finite fixed point algebra is diagonalizable iff it is closed \((<A,B>\) is closed iff \(f\circ g\in B\) whenever \(f\in B\) and \(g\in Pol_1(A))\). | |||
Property / review text: A fixed point algebra \(<A,B>\) consists of a Boolean algebra \(A\), together with a Boolean algebra \(B\) of functions on \(A\) which is closed under composition and where all the functions in \(B\) have a fixed point. The class of diagonalizable fixed point algebras was defined by Smoryński. It is shown that all finite fixed point algebras are subdiagonalizable, that is, of the form \(<A,C>\) where \(C\leq B\) and \(<A,B>\) is diagonalizable. It is also shown that a finite fixed point algebra is diagonalizable iff it is closed \((<A,B>\) is closed iff \(f\circ g\in B\) whenever \(f\in B\) and \(g\in Pol_1(A))\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06E05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06E30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 4019127 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Boolean algebra | |||
Property / zbMATH Keywords: Boolean algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
diagonalisable fixed point algebras | |||
Property / zbMATH Keywords: diagonalisable fixed point algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite fixed point algebras | |||
Property / zbMATH Keywords: finite fixed point algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
subdiagonalisable | |||
Property / zbMATH Keywords: subdiagonalisable / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boolean Algebras with Operators. Part I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Principal congruences in N-permutable varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4121962 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fixed point algebras / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:33, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite fixed point algebras are subdiagonalisable |
scientific article |
Statements
Finite fixed point algebras are subdiagonalisable (English)
0 references
1988
0 references
A fixed point algebra \(<A,B>\) consists of a Boolean algebra \(A\), together with a Boolean algebra \(B\) of functions on \(A\) which is closed under composition and where all the functions in \(B\) have a fixed point. The class of diagonalizable fixed point algebras was defined by Smoryński. It is shown that all finite fixed point algebras are subdiagonalizable, that is, of the form \(<A,C>\) where \(C\leq B\) and \(<A,B>\) is diagonalizable. It is also shown that a finite fixed point algebra is diagonalizable iff it is closed \((<A,B>\) is closed iff \(f\circ g\in B\) whenever \(f\in B\) and \(g\in Pol_1(A))\).
0 references
Boolean algebra
0 references
diagonalisable fixed point algebras
0 references
finite fixed point algebras
0 references
subdiagonalisable
0 references