Varieties of lattice-ordered groups in which prime powers commute

We show that the set of all varieties of lattice ordered groups contained in the metabelian variety defined by the lawx ^p y ^p =y ^p x ^p (wherep is a prime) is a well ordered tower. We give an explicit construction of the subdirectly irreducible members of each of these varieties and show that each variety is defined by a single equation.Presented by L. Fuchs.     

Covers in the Lattice of Varieties of m-Groups

We consider some questions on covers in the lattice of varieties of m-groups. We prove the existence of a nonabelian cover of the smallest nontrivial variety of m-groups. We show that there exists an uncountable set of o-approximable varieties of m-groups each of which has continuum many o-approximable covers. In the lattice of o-approximable varieties of m-groups we find a variety that has no covers in this variety and no independent basis of identities.     

Solvable covers of the boolean variety of unital ℓ-groups

The varieties of solvable lattice-ordered groups covering the abelian variety were shown independently by Gurchenkov, Reilly, and Darnel to be the Scrimger varieties of ?-groups and the three Medvedev representable covers. In this article, the authors give a parallel characterization of varieties of solvable unital ?-groups which cover the minimal nontrivial variety of boolean unital ?-groups.     

Varieties of Birkhoff Systems Part II

This is the second part of a two-part paper on Birkhoff systems. A Birkhoff system is an algebra that has two binary operations ? and + , with each being commutative, associative, and idempotent, and together satisfying x?(x + y) = x+(x?y). The first part of this paper described the lattice of subvarieties of Birkhoff systems. This second part continues the investigation of subvarieties of Birkhoff systems. The 4-element subdirectly irreducible Birkhoff systems are described, and the varieties they generate are placed in the lattice of subvarieties. The poset of varieties generated by finite splitting bichains is described. Finally, a structure theorem is given for one of the five covers of the variety of distributive Birkhoff systems, the only cover that previously had no structure theorem. This structure theorem is used to complete results from the first part of this paper describing the lower part of the lattice of subvarieties of Birkhoff systems.     

Speciality of Metabelian Mal'tsev Algebras

It is proved that, for any metabelian Mal'tsev algebra M over a field of characteristic 2,3, there is an alternative algebra A such that the algebra M can be embedded in the commutator algebra A^(-). Moreover, the enveloping alternative algebra A can be found in the variety of algebras with the identity [x,y][z,t] = 0. The proof of this result is based on the construction of additive bases of the free metabelian Mal'tsev algebra and the free alternative algebra with the identity [x,y][z,t] = 0.     

On Some Extremal Varieties of Associative Algebras

Suppose that F is a field of prime characteristic p and V _p is the variety of associative algebras over F defined by the identities [[x, y], z] = 0 and x ^p = 0 if p > 2 and by the identities [[x, y], z] = 0 and x ⁴ = 0 if p = 2 (here [x, y] = xy ? yx). As is known, the free algebras of countable rank of the varieties V _p contain non-finitely generated T-spaces. We prove that the varieties V _p are minimal with respect to this property.     

On the second commutants of finite Alperin groups

We refer to an Alperin group as a group in which the commutant of every 2-generated subgroup is cyclic. Alperin proved that if p is an odd prime then all finite p-groups with the property are metabelian. Nevertheless, finite Alperin 2-groups may fail to be metabelian. We prove that for each finite abelian group H there exists a finite Alperin group G for which G″ is isomorphic to H.     

The dilation factor of the Peano-Hilbert curve

It is proved that the maximum value of the ratio |p(x) ? p(y)|²/|x ? y| for the Peano-Hilbert curve p: [0, 1] = I → I ² is equal to 6.     

Identities of metabelian alternative algebras

We study metabelian alternative (in particular, associative) algebras over a field of characteristic 0. We construct additive bases of the free algebras of mentioned varieties, describe some centers of these algebras, compute the values of the sequence of codimensions of corresponding T-ideals, and find unitarily irreducible components of the decomposition of mentioned varieties into a union and their bases of identities. In particular, we find a basis of identities for the metabelian alternative Grassmann algebra. We prove that the free algebra of a variety that is generated by the metabelian alternative Grassmann algebra possesses the zero associative center.     

Sturm theorems for second order linear nonhomogenous differential equations and localization of zeros of the solution

It is shown that Sturm theorems, formulated in the 1830??s ([1], [2], [3] and [4]) and valid for second order linear homogeneous differential equation L(y)??y??+a(x)y??+b(x)y=0, could as well be formulated for the class of nonhomogeneous linear differential equations L(y)=f(x). Criteria for the existence of oscillatory solutions of nonhomogeneous equations, as well as more exact locations of the zeros are given.     

On finite Alperin 2-groups with elementary abelian second commutants

By an Alperin group we mean a group in which the commutant of each 2-generated subgroup is cyclic. Alperin proved that if p is an odd prime then all finite p-groups with this property are metabelian. The today??s actual problem is the construction of examples of nonmetabelian finite Alperin 2-groups. Note that the author had given some examples of finite Alperin 2-groups with second commutants isomorphic to Z ₂ and Z ₄ and proved the existence of finite Alperin 2-groups with cyclic second commutants of however large order by appropriate examples. In this article the existence is proved of finite Alperin 2-groups with abelian second commutants of however large rank.     

Varieties of linear algebras with colength one

In the case of characteristic zero it is proved that there exist exactly three varieties of linear algebras with the colength equal to one for all degrees. Those are the variety of all associative-commutative algebras, the variety of all metabelian Lie algebras, and the variety of soluble Jordan algebras of the step 2 with the identity x ² x ≡ 0.     

Representation and character varieties of the Baumslag-Solitar groups

Representation and character varieties of the Baumslag–Solitar groups BS(p, q) are analyzed. Irreducible components of these varieties are found, and their dimension is calculated. It is proved that all irreducible components of the representation variety R_n(BS(p, q)) are rational varieties of dimension n², and each irreducible component of the character variety X_n(BS(p, q)) is a rational variety of dimension k ≤ n. The smoothness of irreducible components of the variety R_n^s (BS(p, q)) of irreducible representations is established, and it is proved that all irreducible components of the variety R_n^s (BS(p, q)) are isomorphic to A¹ {0}.     

On difference polynomials and hereditarily irreducible polynomials

A difference polynomial is one of the form P(x, y) = p(x) ? q(y). Another proof is given of the fact that every difference polynomial has a connected zero set, and this theorem is applied to give an irreducibility criterion for difference polynomials. Some earlier problems about hereditarily irreducible polynomials (HIPs) are solved. For example, P(x, y) is called a HIP (two-variable case) if P(a(x), b(y)) is always irreducible, and it is shown that such two-variable HIPs actually exist.     

Hitting times with taboo for a random walk

For a symmetric homogeneous and irreducible random walk on the d-dimensional integer lattice, which have a finite variance of jumps, we study passage times (taking values in [0,??]) determined by a starting point x, a hitting state y, and a taboo state z. We find the probability that these passage times are finite, and study the distribution tail. In particular, it turns out that, for the above-mentioned random walks on ? ^d except for a simple random walk on ?, the order of the distribution tail decrease is specified by dimension d only. In contrast, for a simple random walk on ?, the asymptotic properties of hitting times with taboo essentially depend on mutual location of the points x, y, and z. These problems originated in recent study of a branching random walk on ? ^d with a single source of branching.     

Computing the Selmer group of an isogeny between Abelian varieties using a further isogeny to a Jacobian

This article describes an algorithm for computing the Selmer group of an isogeny between abelian varieties. This algorithm applies when there is an isogeny from the image abelian variety to the Jacobian of a curve. The use of an auxiliary Jacobian simplifies the determination of locally trivial cohomology classes. An example is presented where the rational solutions to x⁴+(y²+1)(x+y)=0 are determined.     

Varieties minimal over representable varieties of lattice-ordered groups

Weinberg showed that the variety of abelian lattice-ordered groups is the minimal nontrivial variety in the lattice of varieties of lattice-ordered groups. Scrimger showed that the abelian variety of lattice-ordered groups has countably infinitely many nonrepresentable covering varieties, and it is now known that his varieties are the only nonrepresentable covers of the abelian variety.

In this paper, a variation of the method used to construct the Scrimger varieties is developed that is shown to produce every nonrepresentable cover of any representable variety. Using this variation, all nonrepresentable covers of any weakly abelian l-variety are specifically identified, as are the nonrepresentable covers of any l-metabelian representable l-variety. In both instances, such il-varieties have only countably infinitely many such covers.

Any nonrepresentable cover of a representable il-variety is shown to be a subvariety of a quasi-representable il-variety as defined by Reilly. The class of these quasi-representable l-varieties is shown to contain the well-known L_n l-varieties and to generalize many of their properties.     

The structure of irreducible matrix groups with submultiplicative spectrum

We describe the structure of irreducible matrix groups with submultiplicative spectrum. Since all such groups are nilpotent, the study is focused on p-groups. We obtain a block-monomial structure of matrices in irreducible p-groups and build polycyclic series arising from that structure. We give an upper bound to the exponent of these groups. We determine all minimal irreducible groups of p× p matrices with submultiplicative spectrum and discuss the case of p ²× p ² matrices if p is an odd prime.