A certain Galois connection and weak automorphisms
A Galois correspondence for universal algebras
A transvection decomposition in GL(n,2)
An algorithm is given to decompose an automorphism of a finite vector space over ℤ₂ into a product of transvections. The procedure uses partitions of the indexing set of a redundant base. With respect to tents, i.e. finite ℤ₂-representations generated by a redundant base, this is a decomposition into base changes.
Adjoint Semilattice and Minimal Brouwerian Extensions of a Hilbert Algebra
Let be a Hilbert algebra. The monoid of all unary operations on generated by operations , which is actually an upper semilattice w.r.t. the pointwise ordering, is called the adjoint semilattice of . This semilattice is isomorphic to the semilattice of finitely generated filters of , it is subtractive (i.e., dually implicative), and its ideal lattice is isomorphic to the filter lattice of . Moreover, the order dual of the adjoint semilattice is a minimal Brouwerian extension of , and the...
Algebras determined by their endomorphism monoids
Automorphism Groups of Finite Distributive Lattices with a Given Sublattice of Fixed Points.
Automorphisms of categories of free algebras of varieties.
Bases in incidence structures defined on projective spaces
Boolean matrices ... neither Boolean nor matrices
Boolean matrices, the incidence matrices of a graph, are known not to be the (universal) matrices of a Boolean algebra. Here, we also show that their usual composition cannot make them the matrices of any algebra. Yet, later on, we "show" that it can. This seeming paradox comes from the hidden intrusion of a widespread set-theoretical (mis) definition and notation and denies its harmlessness. A minor modification of this standard definition might fix it.
Class preserving mappings of equivalence systems
By an equivalence system is meant a couple where is a non-void set and is an equivalence on . A mapping of an equivalence system into is called a class preserving mapping if for each . We will characterize class preserving mappings by means of permutability of with the equivalence induced by .
Closure properties for relational systems with given endomorphism structure
Compatible Idempotent Terms in Universal Algebra
In universal algebra, we oftentimes encounter varieties that are not especially well-behaved from any point of view, but are such that all their members have a “well-behaved core”, i.e. subalgebras or quotients with satisfactory properties. Of special interest is the case in which this “core” is a retract determined by an idempotent endomorphism that is uniformly term definable (through a unary term ) in every member of the given variety. Here, we try to give a unified account of this phenomenon....
Congruence lattices of intransitive G-Sets and flat M-Sets
An M-Set is a unary algebra whose set of operations is a monoid of transformations of ; is a G-Set if is a group. A lattice is said to be represented by an M-Set if the congruence lattice of is isomorphic to . Given an algebraic lattice , an invariant is introduced here. provides substantial information about properties common to all representations of by intransitive G-Sets. is a sublattice of (possibly isomorphic to the trivial lattice), a -product lattice. A -product...
Construction of all homomorphisms of mono--ary algebras
Convex automorphisms of partial monounary algebras
Coregularity of endomorphism monoids of unars
Decompositions of homomorphisms
Definability for equational theories of commutative groupoids
We find several large classes of equations with the property that every automorphism of the lattice of equational theories of commutative groupoids fixes any equational theory generated by such equations, and every equational theory generated by finitely many such equations is a definable element of the lattice. We conjecture that the lattice has no non-identical automorphisms.
Disjoint and complete unions of incidence structures
Some decompositions of general incidence structures with regard to distinguished components (modular or simple) are considered and several structure theorems for them are deduced.
Disjoint unions of incidence structures and complete lattices