Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 8

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
w słowach kluczowych:  algebra uniwersalna
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
Content available remote Sameness between based universal algebras
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.
Content available remote Equational bases for k-normal identities
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.
Content available remote Submonoids of generalized hypersubstitutions
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.
Content available remote M-hyperquasivarieties
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.
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.
Content available remote Yet another note on congruence uniformity
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.
first rewind previous Strona / 1 next fast forward last
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ć.