Related papers: Mal'tsev products of varieties, II
We investigate the Mal'tsev product $\mathcal{V} \circ \mathcal{W}$ of two varieties $\mathcal{V}$ and $\mathcal{W}$ of the same similarity type. Such a product is usually a quasivariety but not necessarily a variety. We give an equational…
The Mal'tsev product of two varieties of similar algebras is always a quasivariety. We consider the question of when this quasivariety is a variety. The main result asserts that if $\mathcal{V}$ is a strongly irregular variety with no…
We study the difference between internal categories and internal groupoids in terms of generalised Mal'tsev properties---the weak Mal'tsev property on the one hand, and $n$-permutability on the other. In the first part of the article we…
We show that V(A(T)) does not have definable principal subcongruences or bounded Maltsev depth. When the Turing machine T halts, V(A(T)) is an example of a finitely generated semilattice based (and hence congruence meet-semidistributive)…
The paper proves that for any second order conservative constraint language with a Maltsev polymorphism there is a majority polymorphism. Moreover, the majority polymorphism can be defined by the Maltsev polymorphism.
We present a proof that there is no single finite package of identities which characterizes the class of congruence meet semidistributive varieties.
We provide more characterizations of varieties having a term Mal'cev modulo two functions $F$ and $G$. We characterize varieties neutral in the sense of $F$, that is varieties satisfying $R \subseteq F(R)$. We present examples of global…
The homomorphic image of a congruence is always a tolerance (relation) but, within a given variety, a tolerance is not necessarily obtained this way. By a Maltsev-like condition, we characterize varieties whose tolerances are homomorphic…
We classify certain cases when the wreath products of distinct pairs of groups generate the same variety. This allows us to investigate the subvarieties of some nilpotent-by-abelian product varieties ${\mathfrak U}{\mathfrak V}$ with the…
We give a complete characterization of pseudovarieties of semigroups whose finitely generated relatively free profinite semigroups are equidivisible. Besides the pseudovarieties of completely simple semigroups, they are precisely the…
We study biwarped product submanifolds which are special cases of multiply warped product submanifolds in K\"{a}hler manifolds. We observe the non-existence of such submanifolds under some circumstances. We show that there exists a…
A variety is a class of algebraic structures axiomatized by a set of equations. An equation is linear if there is at most one occurrence of an operation symbol on each side. We show that a variety axiomatized by linear equations has the…
We show that there is no transitive Anosov diffeomorphism with the global product structure, which is homotopic to a product of pseudo-Anosov diffeomorphisms, on a product of two closed surfaces each of which has genus greater than or equal…
First, we consider a compact real-analytic irreducible subvariety $M$ in a sphere and its dual variety $M^\vee$. We explain that two matrices of the second fundamental forms for both varieties $M$ and $M^\vee$ can be regarded as the inverse…
It is known that a category of many-sorted algebras on pure sets of similarity type is "concretely equivalent" to a category of single-sorted algebras. In this paper, we characterize a single-sorted variety that corresponds to a many-sorted…
It is known that an ideal of a direct product of commutative unitary rings is directly decomposable into ideals of the corresponding factors. We show that this does not hold in general for commutative rings and we find necessary and…
We prove that the system of Gromov-Witten invariants of the product of two varieties is equal to the tensor product of the systems of Gromov-Witten invariants of the two factors.
In this paper, we investigate the property (P) that finite products commute with arbitrary coequalizers in pointed categories. Examples of such categories include any regular unital or (pointed) majority category with coequalizers, as well…
The "Modularity Conjecture" is the assertion that the join of two nonmodular varieties is nonmodular. We establish the veracity of this conjecture for the case of linear idempotent varieties. We also establish analogous results concerning…
We show that, when restricted to the class of varieties that have a Taylor term, several commutator properties are definable by Maltsev conditions.