Ograniczanie wyników
Czasopisma
Autorzy
Lata
Preferencje
Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 8

Liczba wyników na stronie
Strona / 1
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  algebra uniwersalna
Sortuj według:

Ogranicz wyniki do:
Strona / 1
1
Sameness between based universal algebras
EN
This is the continuation of the paper "Transformations between Menger systems". To define when two universal algebras with bases "are the same", here we propose a universal notion of transformation that comes from a triple characterization concerning three representation facets: the determinations of the Menger system, analytic monoid and endomorphism representation corresponding to a basis. Hence, this notion consists of three equivalent definitions. It characterizes another technical variant and also the universal version of the very semi-linear transformations that were coordinate-free. Universal transformations allow us to check the actual invariance of general algebraic constructions, contrary to the seeming invariance of representation-free thinking. They propose a new interpretation of free algebras as superpositions of "analytic spaces" and deny that our algebras differ from vector spaces at fundamental stages. Contrary to present beliefs, even the foundation of abstract Linear Algebra turns out to be incomplete.
2
Equational bases for k-normal identities
EN
The depth of a term may be used as a measurement of complexity of identities. For any natural number [...] have depth at least k. For any variety V, the k-normalization of V is the variety Nk(V) defined by all k-normal identities of V. We describe a process to produce from a basis for V a basis for Nk(V), for any variety V which has an idempotent term; when the type of V is finite and V is finitely based, this results in a finite basis for Nk(V) as well. This process encompasses several known examples, for varieties of bands and lattices, and allows us to give a new basis for the normalization of the variety PL of pseudo-complemented lattices.
3
Submonoids of generalized hypersubstitutions
EN
In this paper we define the operation G on the set of all generalized hypersubstitutions and investigate some algebraic-structural properties of the set of all generalized hypersubstitutions and of some submonoids M of the set of all generalized hypersubstitutions, respectively.
4
M-hyperquasivarieties
EN
We consider the notion of M-hyper-quasi-identities and M-hyperquasi-varieties, as a common generalization of the concept of quasi-identity (hyper-quasi-identity) and quasivariety (hyper-quasivariety) invented by A. I. Mal'cev, cf. [13], cf. [6] and hypervariety invented by the authors in [15], [8] and hy p erqu as i variety [9]. The results of this paper were presented on the 69th Workshop on General Algebra, held at Potsdam University (Germany) on March 18-20, 2005.
EN
In the paper the duality of the the notions of (higher) hypergraph and (higher) partition is shown. Both higher level hypergraphs and higher partitions are characterized algebr aically as left and right regular bands.
6
Yet another note on congruence uniformity
EN
We describe a countable unary algebra with few operations which is congruence uniform but not congruence regular, and we show that no uncountable algebra with these properties exists.
7
On the notion of homomorphism in many-sorted algebras
8
Ideals and congruences in generalized MV-algebras
Strona / 1
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ć.