66 research outputs found
The Largest Subsemilattices of the Endomorphism Monoid of an Independence Algebra
An algebra \A is said to be an independence algebra if it is a matroid
algebra and every map \al:X\to A, defined on a basis of \A, can be
extended to an endomorphism of \A. These algebras are particularly well
behaved generalizations of vector spaces, and hence they naturally appear in
several branches of mathematics such as model theory, group theory, and
semigroup theory.
It is well known that matroid algebras have a well defined notion of
dimension. Let \A be any independence algebra of finite dimension , with
at least two elements. Denote by \End(\A) the monoid of endomorphisms of
\A. We prove that a largest subsemilattice of \End(\A) has either
elements (if the clone of \A does not contain any constant operations) or
elements (if the clone of \A contains constant operations). As
corollaries, we obtain formulas for the size of the largest subsemilattices of:
some variants of the monoid of linear operators of a finite-dimensional vector
space, the monoid of full transformations on a finite set , the monoid of
partial transformations on , the monoid of endomorphisms of a free -set
with a finite set of free generators, among others.
The paper ends with a relatively large number of problems that might attract
attention of experts in linear algebra, ring theory, extremal combinatorics,
group theory, semigroup theory, universal algebraic geometry, and universal
algebra.Comment: To appear in Linear Algebra and its Application
Unary enhancements of inherently nonfinitely based semigroups
We exhibit a simple condition under which a finite involutary semigroup whose
semigroup reduct is inherently nonfinitely based is also inherently nonfinitely
based as a unary semigroup. As applications, we get already known as well as
new examples of inherently nonfinitely based involutory semigroups. We also
show that for finite regular semigroups, our condition is not only sufficient
but also necessary for the property of being inherently nonfinitely based to
persist. This leads to an algorithmic description of regular inherently
nonfinitely based involutory semigroups.Comment: 11 pages, 1 figure. Section 4 has been improved and expanded
according to suggestions of an anonymous referee of the journal version. A
few minor improvements have been done in Section
- …