Source author record

Agnes Szendrei

Agnes Szendrei appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.RA math.LO math.CT math.GR

Catalog footprint

What is connected

9works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2021arXiv

Algebras from Congruences

We present a functorial construction which, starting from a congruence $α$ of finite index in an algebra A, yields a new algebra C with the following properties: the congruence lattice of C is isomorphic to the interval of congruences between 0 and $α$ on A, this isomorphism preserves higher commutators and TCT types, and C inherits all idempotent Maltsev conditions from A. As applications of this construction, we first show that supernilpotence is decidable for congruences of finite algebras in varieties that omit type 1. Secondly, we prove that the subpower membership problem for finite algebras with a cube term can be effectively reduced to membership questions in subdirect products of subdirectly irreducible algebras with central monoliths. As a consequence, we obtain a polynomial time algorithm for the subpower membership problem for finite algebras with a cube term in which the monolith of every subdirectly irreducible section has a supernilpotent centralizer.

preprint2020arXiv

Minimal abelian varieties of algebras, I

We show that any abelian variety that is not affine has a nontrivial strongly abelian subvariety. In later papers in this sequence we apply this result to the study of minimal abelian varieties.

preprint2020arXiv

Neutrabelian algebras

We introduce "neutrabelian algebras", and prove that finite, hereditarily neutrabelian algebras with a cube term are dualizable.

preprint2016arXiv

Cube term blockers without finiteness

We show that an idempotent variety has a $d$-dimensional cube term if and only if its free algebra on two generators has no $d$-ary compatible cross. We employ Hall's Marriage Theorem to show that a variety of finite signature whose fundamental operations have arities $n_1, \ldots, n_k$ has a $d$-dimensional cube term if and only if it has one of dimension $d=1+\sum_{i=1}^k (n_i-1)$. This lower bound on dimension is shown to be sharp. We show that a pure cyclic term variety has a cube term if and only if it contains no $2$-element semilattice. We prove that the Maltsev condition "existence of a cube term" is join prime in the lattice of idempotent Maltsev conditions.

preprint2016arXiv

Varieties whose finitely generated members are free

We prove that a variety of algebras whose finitely generated members are free must be definitionally equivalent to the variety of sets, the variety of pointed sets, a variety of vector spaces over a division ring, or a variety of affine vector spaces over a division ring.

preprint2015arXiv

Dualizable algebras with parallelogram terms

We prove that if A is a finite algebra with a parallelogram term that satisfies the split centralizer condition, then A is dualizable. This yields yet another proof of the dualizability of any finite algebra with a near unanimity term, but more importantly proves that every finite module, group or ring in a residually small variety is dualizable.

preprint2014arXiv

Growth Rates of Algebras, II: Wiegold Dichotomy

We investigate the function $d_\mathbf{A}(n)$, which gives the size of a least size generating set for $\mathbf{A}^n$, in the case where $\mathbf{A}$ has a cube term. We show that if $\mathbf{A}$ has a $k$-cube term and $\mathbf{A}^k$ is finitely generated, then $d_\mathbf{A}(n) \in O(\log(n))$ if $\mathbf{A}$ is perfect and $d_\mathbf{A}(n) \in O(n)$ if $\mathbf{A}$ is imperfect. When $\mathbf{A}$ is finite, then one may replace "Big Oh" with "Big Theta" in these estimates.

preprint2009arXiv

The submaximal clones on the three-element set with finitely many relative R-classes

For each clone C on a set A there is an associated equivalence relation analogous to Green's R-relation, which relates two operations on A if and only if each one is a substitution instance of the other using operations from C. We study the maximal and submaximal clones on a three-element set and determine which of them have only finitely many relative R-classes.

preprint2007arXiv

Equivalence of operations with respect to discriminator clones

For each clone C on a set A there is an associated equivalence relation, called C-equivalence, on the set of all operations on A, which relates two operations iff each one is a substitution instance of the other using operations from C. In this paper we prove that if C is a discriminator clone on a finite set, then there are only finitely many C-equivalence classes. Moreover, we show that the smallest discriminator clone is minimal with respect to this finiteness property. For discriminator clones of Boolean functions we explicitly describe the associated equivalence relations.