## SEARCH

#### Country

##### ( see all 53)

- United States 161 (%)
- Hungary 62 (%)
- Canada 60 (%)
- Czech Republic 49 (%)
- Germany 41 (%)

#### Institution

##### ( see all 434)

- University of Manitoba 28 (%)
- La Trobe University 25 (%)
- University of Novi Sad 20 (%)
- University of Colorado 19 (%)
- University of Szeged 19 (%)

#### Author

##### ( see all 612)

- Czédli, Gábor 23 (%)
- Grätzer, G. 14 (%)
- McKenzie, Ralph 10 (%)
- Dube, Themba 9 (%)
- Chajda, Ivan 8 (%)

## CURRENTLY DISPLAYING:

Most articles

Fewest articles

Showing 1 to 10 of 590 matching Articles
Results per page:

## On the hull-kernel and inverse topologies as frames

### Algebra universalis (2013-10-01) 70: 197-212 , October 01, 2013

We consider some frame-theoretic properties of the hull-kernel and the inverse topologies on the set of minimal prime ideals of an algebraic frame with the finite intersection property on its compact elements. Denote by *Alg*_{do} the subcategory of *Frm* consisting of such frames together with dense onto coherent maps. We construct a functor
$${{\sf T} : {\bf Alg}_{\rm do} \rightarrow {\bf Frm}}$$
and a natural transformation
$${\tau : {\sf E} \rightarrow {\sf T}}$$
, where *E* is the inclusion functor from *Alg*_{do} to *Frm*.

## Various disconnectivities of spaces and projectabilities of ℓ-groups

### Algebra universalis (2012-10-01) 68: 91-109 , October 01, 2012

*Arch* denotes the category of archimedean *ℓ*-groups and *ℓ*-homomorphisms. *Tych* denotes the category of Tychonoff spaces with continuous maps, and *α* denotes an infinite cardinal or ∞. This work introduces the concept of an *α*cc-disconnected space and demonstrates that the class of *α*cc-disconnected spaces forms a covering class in *Tych*. On the algebraic side, we introduce the concept of an *α*cc-projectable *ℓ*-group and demonstrate that the class of *α*cc-projectable *ℓ*-groups forms a hull class in *Arch*. In addition, we characterize the *α*cc-projectable objects in *W*—the category of *Arch*-objects with designated weak unit and *ℓ*-homomorphisms that preserve the weak unit—and construct the *α*cc-hull for *G* in *W*. Lastly, we apply our results to negatively answer the question of whether every hull class (resp., covering class) is epireflective (resp., monocoreflective) in the category of *W*-objects with complete *ℓ*-homomorphisms (resp., the category of compact Hausdorff spaces with skeletal maps).

## Some results about neat reducts

### Algebra universalis (2010-02-01) 63: 17-36 , February 01, 2010

This is a survey article on the concept of neat reducts. An old venerable idea in algebraic logic, in this paper we show why it is regaining momentum.

## Mal’cev algebras with supernilpotent centralizers

### Algebra universalis (2011-04-01) 65: 193-211 , April 01, 2011

Let *A* be a finite algebra in a congruence permutable variety. We assume that for every subdirectly irreducible homomorphic image of *A* the centralizer of the monolith is *n*-supernilpotent. Then the clone of polynomial functions on *A* is determined by relations of arity |*A*|^{n+1}. As consequences we obtain finite implicit descriptions of the polynomial functions on finite local rings with 1 and on finite groups *G* such that in every subdirectly irreducible quotient of *G* the centralizer of the monolith is a *p*-group.

## Collapsing inverse monoids

### Algebra universalis (2007-06-01) 56: 241-261 , June 01, 2007

### Abstract.

In this paper we investigate a class of inverse transformation monoids constructed from finite lattices, and we describe a necessary and sufficient condition for such a transformation monoid to be collapsing.

## The cardinality of the set of all clones containing a given minimal clone on three elements

### Algebra universalis (2012-12-01) 68: 295-320 , December 01, 2012

All minimal clones on three elements were found by B. Csákány. In this paper, for each minimal clone the cardinality of the set of all clones containing this clone is found.

## The number of slim rectangular lattices

### Algebra universalis (2016-02-01) 75: 33-50 , February 01, 2016

Slim rectangular lattices are special planar semimodular lattices introduced by G. Grätzer and E. Knapp in 2009. They are finite semimodular lattices *L* such that the ordered set Ji *L* of join-irreducible elements of *L* is the cardinal sum of two nontrivial chains. After describing these lattices of a given length *n* by permutations, we determine their number, |SRectL(*n*)|. Besides giving recursive formulas, which are effective up to about *n* = 1000, we also prove that |SRectL(*n*)| is asymptotically (*n* - 2)! ·
$${e^{2}/2}$$
. Similar results for patch lattices, which are special rectangular lattices introduced by G. Czédli and E. T. Schmidt in 2013, and for slim rectangular lattice diagrams are also given.

## Oligomorphic clones

### Algebra universalis (2007-08-01) 57: 109-125 , August 01, 2007

### Abstract.

A permutation group on a countably infinite domain is called *oligomorphic* if it has finitely many orbits of finitary tuples. We define a clone on a countable domain to be *oligomorphic* if its set of permutations forms an oligomorphic permutation group. There is a close relationship to *ω-categorical structures*, i.e., countably infinite structures with a first-order theory that has only one countable model, up to isomorphism. Every locally closed oligomorphic permutation group is the automorphism group of an *ω*-categorical structure, and conversely, the canonical structure of an oligomorphic permutation group is an *ω*-categorical structure that contains all first-order definable relations. There is a similar Galois connection between locally closed oligomorphic clones and *ω*-categorical structures containing all *primitive positive* definable relations.

In this article we generalise some fundamental theorems of universal algebra from clones over a finite domain to oligomorphic clones. First, we define *minimal* oligomorphic clones, and present equivalent characterisations of minimality, and then generalise Rosenberg’s five types classification to minimal oligomorphic clones. We also present a generalisation of the theorem of Baker and Pixley to oligomorphic clones.

## More covers of the Boolean variety of unital ℓ-groups

### Algebra universalis (2013-10-01) 70: 149-162 , October 01, 2013

Within the lattice of varieties of pseudo MV-algebras, the variety
$${\mathcal{B}}$$
of Boolean algebras is the least nontrivial variety. Komori identified all varieties of (commutative) MV-algebras that cover
$${\mathcal{B}}$$
. The authors previously identified all solvable varieties of pseudo MV-algebras that cover
$${\mathcal{B}}$$
. We will show the existence of continuum many nonsolvable varieties of pseudo MV-algebras that cover
$${\mathcal{B}}$$
, show that periodically primitive u*ℓ*-groups cannot generate Boolean covers, and show that all noncommutative varieties that are Boolean covers must be Top Boolean.

## Categories of partial algebras for critical points between varieties of algebras

### Algebra universalis (2014-06-01) 71: 299-357 , June 01, 2014

We denote by Con_{c}*A* the
$${(\vee, 0)}$$
-semilattice of all finitely generated congruences of an algebra *A*. A *lifting* of a
$${(\vee, 0)}$$
-semilattice *S* is an algebra *A* such that
$${S \cong {\rm Con}_{\rm c} A}$$
. The assignment Conc can be extended to a functor. The notion of lifting is generalized to diagrams of
$${(\vee, 0)}$$
-semilattices.

A *gamp* is a partial algebra endowed with a partial subalgebra together with a semilattice-valued distance; gamps form a category that lends itself to a universal algebraic-type study. The *raison d’être* of gamps is that any algebra can be approximated by its finite subgamps, even in case it is not locally finite.

Let
$${\mathcal{V}}$$
and
$${\mathcal{W}}$$
be varieties of algebras (on finite, possibly distinct, similarity types). Let *P* be a finite lattice. We assume the existence of a combinatorial object, called *an*
$${\aleph_0}$$
-*lifter* of *P*, of infinite cardinality
$${\lambda}$$
. Let
$${\vec{A}}$$
be a *P*-indexed diagram of finite algebras in
$${\mathcal{V}}$$
. If
$${{\rm Con}_{\rm c} \circ \vec{A}}$$
has no *partial lifting* in the category of gamps of
$${\mathcal{W}}$$
, then there is an algebra
$${A \in \mathcal{V}}$$
of cardinality
$${\lambda}$$
such that Con_{c}*A* is not isomorphic to Con_{c}*B* for any
$${B \in \mathcal{W}}$$
.

This makes it possible to generalize several known results. In particular, we prove the following theorem, without assuming that $${\mathcal{W}}$$ is locally finite.

Let $${\mathcal{V}}$$ be locally finite and let $${\mathcal{W}}$$ be congruence-proper (i.e., congruence lattices of infinite members of $${\mathcal{W}}$$ are infinite). The following equivalence holds. Every countable $${(\vee, 0)}$$ -semilattice with a lifting in $${\mathcal{V}}$$ has a lifting in $${\mathcal{W}}$$ if and only if every $${\omega}$$ -indexed diagram of finite $${(\vee, 0)}$$ -semilattices with a lifting in $${\mathcal{V}}$$ has a lifting in $${\mathcal{W}}$$ .

Gamps are also applied to the study of congruence-preserving extensions. Let
$${\mathcal{V}}$$
be a non-semidistributive variety of lattices and let *n* ≥ 2 be an integer. There is a bounded lattice
$${A \in \mathcal{V}}$$
of cardinality
$${\aleph_1}$$
with no congruence *n*-permutable, congruence-preserving extension. The lattice *A* is constructed as a *condensate* of a square-indexed diagram of lattices.