Structure Theorems for Equivalence Classes in Finite Post Algebras
Ed DuCasse, Gernot Metze
Abstract
Open-access reader
Ed DuCasse, Gernot Metze
Abstract
Open-access reader
The concept of equivalence for elements of [P(n)]m [4] is a generalization of the notion of equivalence for one-variable functions defined on a Post chain [10,11].Several characterizations of the equivalence classes of this relation are presented here, yielding consider able insight into the structural properties of this important relation.The classes are then related to various ideals and filters of the Post algebra.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
The concept of equivalence for elements of [P(n)]m [4] is a generalization of the notion of equivalence for one-variable functions defined on a Post chain [10,11].Several characterizations of the equivalence classes of this relation are presented here, yielding consider able insight into the structural properties of this important relation.The classes are then related to various ideals and filters of the Post algebra.
Key concepts: Equivalence relation, Quotient algebra, Mathematics, Equivalence (formal languages), Matrix equivalence, Congruence relation, Pure mathematics, Generalization