BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Keith A. Kearnes appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We extend the validity of Kiss's characterization of the commutator from congruence modular varieties to varieties with a difference term. This fixes a recently discovered gap in our paper [A finite basis theorem for difference-term varieties with a finite residual bound, Trans. Amer. Math. Soc., 368 (2016), 2115--2143]. We also prove some related properties of Kiss terms in varieties with a difference term.
We reprove a theorem of Bunn, Grow, Insall, and Thiem, which asserts that a minimal congruence lattice representation for $\mathbb M_{p+1}$ has size $2p$, and is an expansion of a regular $D_{2p}$-set.
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.
We introduce "neutrabelian algebras", and prove that finite, hereditarily neutrabelian algebras with a cube term are dualizable.
We prove that if $\mathbb A$ is an algebra that is supernilpotent with respect to the $2$-term higher commutator, and $\mathbb B$ is a subalgebra of $\mathbb A$, then $\mathbb B$ is representable as a retract of a finite subdirect power of $\mathbb A$.
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.
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.
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.
We show that the quasiequational theory of a relatively congruence modular quasivariety of left $R$-modules is determined by a two-sided ideal in $R$ together with a filter of left ideals. The two-sided ideal encodes the identities that hold in the quasivariety, while the filter of left ideals encodes the quasiidentities. The filter of left ideals defines a generalized notion of torsion. It follows from our result that if $R$ is left Artinian, then any relatively congruence modular quasivariety of left $R$-modules is axiomatizable by a set of identities together with at most one proper quasiidentity, and if $R$ is a commutative Artinian ring then any relatively congruence modular quasivariety of left $R$-modules is a variety.
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.
We investigate how the behavior of the function d_A(n) that gives the size of a least size generating set for A^n, influences the structure of a finite solvable algebra A.