FINITE SEMIGROUPS AND UNIVERSAL ALGEBRA (World Scientific Series in Algebra 3)

1997 ◽  
Vol 29 (1) ◽  
pp. 114-116
Author(s):  
P. M. Cohn
2001 ◽  
Vol 11 (02) ◽  
pp. 247-267 ◽  
Author(s):  
M. LURDES TEIXEIRA

This paper presents a study of the semidirectly closed pseudovariety generated by the aperiodic Brandt semigroup B2, denoted V*(B2). We construct a basis of pseudoidentities for the semidirect powers of the pseudovariety generated by B2 which leads to the main result, which states that V*(B2) is decidable. Independently, using some suggestions given by J. Almeida in his book "Finite Semigroups and Universal Algebra", we constructed an algorithm to solve the membership problem in V* (B2).


1996 ◽  
Vol 52 (1) ◽  
pp. 393-396
Author(s):  
Boris M. Schein

2021 ◽  
pp. 1-10
Author(s):  
Narjes Firouzkouhi ◽  
Abbas Amini ◽  
Chun Cheng ◽  
Mehdi Soleymani ◽  
Bijan Davvaz

Inspired by fuzzy hyperalgebras and fuzzy polynomial function (term function), some homomorphism properties of fundamental relation on fuzzy hyperalgebras are conveyed. The obtained relations of fuzzy hyperalgebra are utilized for certain applications, i.e., biological phenomena and genetics along with some elucidatory examples presenting various aspects of fuzzy hyperalgebras. Then, by considering the definition of identities (weak and strong) as a class of fuzzy polynomial function, the smallest equivalence relation (fundamental relation) is obtained which is an important tool for fuzzy hyperalgebraic systems. Through the characterization of these equivalence relations of a fuzzy hyperalgebra, we assign the smallest equivalence relation α i 1 i 2 ∗ on a fuzzy hyperalgebra via identities where the factor hyperalgebra is a universal algebra. We extend and improve the identities on fuzzy hyperalgebras and characterize the smallest equivalence relation α J ∗ on the set of strong identities.


Symmetry ◽  
2021 ◽  
Vol 13 (5) ◽  
pp. 753
Author(s):  
Ivan Chajda ◽  
Helmut Länger

In order to be able to use methods of universal algebra for investigating posets, we assigned to every pseudocomplemented poset, to every relatively pseudocomplemented poset and to every sectionally pseudocomplemented poset, a certain algebra (based on a commutative directoid or on a λ-lattice) which satisfies certain identities and implications. We show that the assigned algebras fully characterize the given corresponding posets. A certain kind of symmetry can be seen in the relationship between the classes of mentioned posets and the classes of directoids and λ-lattices representing these relational structures. As we show in the paper, this relationship is fully symmetric. Our results show that the assigned algebras satisfy strong congruence properties which can be transferred back to the posets. We also mention applications of such posets in certain non-classical logics.


Sign in / Sign up

Export Citation Format

Share Document