Displaying similar documents to “A note on subdirectly irreducible groupoids”

Homomorphic images of subdirectly irreducible groupoids

David Stanovský (2001)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A groupoid H is a homomorphic image of a subdirectly irreducible groupoid G (over its monolith) if and only if H has a smallest ideal.

Distributive implication groupoids

Ivan Chajda, Radomir Halaš (2007)

Open Mathematics

Similarity:

We introduce a concept of implication groupoid which is an essential generalization of the implication reduct of intuitionistic logic, i.e. a Hilbert algebra. We prove several connections among ideals, deductive systems and congruence kernels which even coincide whenever our implication groupoid is distributive.