First, we give another, simpler and shorter, proof of the weak subalgebra lattice characterization theorem formulated in [Bar]. Secondly, we apply this result and also facts from [Pió1] to characterize the weak subalgebra lattice of a partial monounary algebra. Using this characterization and results from the previous part [Pió2] we describe all pairs of lattices (L1, L2) for which there is a partial monounary algebra having its weak and strong subalgebra lattices isomorphic to L1 and L2, respectively.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
A normal pseudo-BCK-algebra X is an algebra in which every subalgebra of X is an ideal of X. Characterizations of normal pseudo-BCK-algebras are given.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
First, we apply results proved in [Pió1] and some results of graph theory to formulate and prove a necessary condition for partial (and thus also total) unary algebras to have isomorphic (strong) subalgebra lattices. Although this condition is not sufficient for arbitrary partial unary algebras, we can form, having this fact, a lot of new partial unary algebras with the same subalgebra lattices. Moreover, we use this result to characterize arbitrary two partial (thus in particular also total) monounary algebras with isomorphic (strong) subalgebra lattices. Having this result we can also describe all pairs (A, L), where A is a partial monounary algebra and L a lattice, such that the subalgebra lattice of A is isomorphic to L. In the next part [Pió2] we apply the results of this paper to characterize connections between weak and strong subalgebra lattices of partial (thus also total) monounary algebras.
A normal pseudo-BCK-algebra \(X\) is an algebra in which every subalgebra of \(X\) is an ideal of \(X\). Characterizations of normal pseudo-BCK-algebras are given.
In the paper there are investigated some properties of Lie algebras, the construction which has a wide range of applications like computer sciences (especially to computer visions), geometry or physics, for example. We concentrate on the semidirect sum of algebras and there are extended some theoretic designs as conditions to be a center, a homomorphism or a derivative. The Killing form of the semidirect sum where the second component is an ideal of the first one is considered as well.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.