Displaying similar documents to “Semi-primal clusters”

Semi-Heyting Algebras and Identities of Associative Type

Juan M. Cornejo, Hanamantagouda P. Sankappanavar (2019)

Bulletin of the Section of Logic

Similarity:

An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice, and it satisfies the identities: x ∧ (x → y) ≈ x ∧ y, x ∧ (y → z) ≈ x ∧ [(x ∧ y) → (x ∧ z)], and x → x ≈ 1. 𝒮ℋ denotes the variety of semi-Heyting algebras. Semi-Heyting algebras were introduced by the second author as an abstraction from Heyting algebras.  They share several important properties with Heyting algebras.  An identity of associative type of length 3 is a groupoid identity,...

On semi-invariants of tilted algebras of type Aₙ

Witold Kraśkiewicz (2001)

Colloquium Mathematicae

Similarity:

We prove that for algebras obtained by tilts from the path algebras of equioriented Dynkin diagrams of type Aₙ, the rings of semi-invariants are polynomial.