Homogeneous almost primitive elements of free non-associative (anti-) commutative algebras

Criteria for homogeneous elements to be almost primitive are obtained in the paper for free non-associative commutative and anti-commutative algebras of any rank.     

Almost Primitive Elements of Free lie Algebras of Small Ranks

Let K be a field, X = {x1, . . . , xn}, and let L(X) be the free Lie algebra over K with the set X of free generators. A. G. Kurosh proved that subalgebras of free nonassociative algebras are free, A. I. Shirshov proved that subalgebras of free Lie algebras are free. A subset M of nonzero elements of the free Lie algebra L(X) is said to be primitive if there is a set Y of free generators of L(X), L(X) = L(Y ), such that M ? Y (in this case we have |Y | = |X| = n). Matrix criteria for a subset of elements of free Lie algebras to be primitive and algorithms to construct complements of primitive subsets of elements with respect to sets of free generators have been constructed. A nonzero element u of the free Lie algebra L(X) is said to be almost primitive if u is not a primitive element of the algebra L(X), but u is a primitive element of any proper subalgebra of L(X) that contains it. A series of almost primitive elements of free Lie algebras has been constructed. In this paper, for free Lie algebras of rank 2 criteria for homogeneous elements to be almost primitive are obtained and algorithms to recognize homogeneous almost primitive elements are constructed.     

Primitive Elements and Automorphisms of Free Algebras of Schreier Varieties

In this article, we review results on primitive elements of free algebras of main types of Schreier varieties of algebras. A variety of linear algebras over a field is Schreier if any subalgebra of a free algebra of this variety is free in the same variety of algebras. A system of elements of a free algebra is primitive if it is a subset of some set of free generators of this algebra. We consider free nonassociative algebras, free commutative and anti-commutative nonassociative algebras, free Lie algebras and superalgebras, and free Lie p-algebras and p-superalgebras. We present matrix criteria for systems of elements of elements. Primitive elements distinguish automorphisms: endomorphisms sending primitive elements to primitive elements are automorphisms. We give a series of examples of almost primitive elements (an element of a free algebra is almost primitive if it is not a primitive element of the whole algebra, but it is a primitive element of any proper subalgebra which contains it). We also consider generic elements and Δ-primitive elements. Translated from Itogi Nauki i Tekhniki, Seriya Sovremennaya Matematika i Ee Prilozheniya. Tematicheskie Obzory. Vol. 74, Algebra-15, 2000.     

Generic, almost primitive and test elements of free Lie algebras

We construct a series of generic elements of free Lie algebras. New almost primitive and test elements were found. We present an example of an almost primitive element which is not generic.

     

Dimension Formulas for the Free Nonassociative Algebra

The free nonassociative algebra has two subspaces which are closed under both the commutator and the associator: the Akivis elements and the primitive elements. Every Akivis element is primitive, but there are primitive elements which are not Akivis. Using a theorem of Shestakov, we give a recursive formula for the dimension of the Akivis elements. Using a theorem of Shestakov and Umirbaev, we prove a closed formula for the dimension of the primitive elements. These results generalize the Witt dimension formula for the Lie elements in the free associative algebra.     

PBW-Pairs of Varieties of Linear Algebras

The notion of a Poincaré–Birkhoff–Witt (PBW)-pair of varieties of linear algebras over a field is under consideration. Examples of PBW-pairs are given. We prove that if (𝒱, 𝒲) is a PBW-pair and the variety 𝒱 is homogeneous and Schreier, then so is 𝒲; the results similar to the Schreier property for PBW-pairs are also true for the Freiheitssatz and Word problem. In particular, it follows that the Freiheitssatz is true for the varieties of Akivis and Sabinin algebras. We give also examples of varieties that do not satisfy the Freiheitssatz. It is shown that an element u of a free algebra 𝒲[X] in a homogeneous Schreier variety of algebras 𝒲 satisfying the Freiheitssatz is a primitive element (a coordinate polynomial) if and only if the factor algebra of 𝒲[X] by the ideal generated by the element u is a free algebra in 𝒲. We consider also properties of primitive elements.     

Simple groups, permutation groups, and probability

We derive a new bound for the minimal degree of an almost simple primitive permutation group, and settle a conjecture of Cameron and Kantor concerning the base size of such a group. Additional results concern random generation of simple groups, and the so-called genus conjecture of Guralnick and Thompson. Our proofs are based on probabilistic arguments, together with a new result concerning the size of the intersection of a maximal subgroup of a classical group with a conjugacy class of elements.

     

Sparse polynomials, redundant bases, gauss periods, and efficient exponentiation of primitive elements for small characteristic finite fields

Gauss periods give an exponentiation algorithm that is fast for many finite fields but slow for many other fields. The current paper presents a different method for construction of elements that yield a fast exponentiation algorithm for finite fields where the Gauss period method is slow or does not work. The basic idea is to use elements of low multiplicative order and search for primitive elements that are binomial or trinomial of these elements. Computational experiments indicate that such primitive elements exist, and it is shown that they can be exponentiated fast.     

Solution spaces of homogeneous linear difference systems with coefficient matrices from commutative groups

We analyse the solution spaces of limit periodic homogeneous linear difference systems, where the coefficient matrices of the considered systems are taken from a commutative group which does not need to be bounded. In particular, we study such systems whose fundamental matrices are not asymptotically almost periodic or which have solutions vanishing at infinity. We identify a simple condition on the matrix group which guarantees that the studied systems form a dense subset in the space of all considered systems. The obtained results improve previously known theorems about non-almost periodic and non-asymptotically almost periodic solutions. Note that the elements of the coefficient matrices are taken from an infinite field with an absolute value and that the corresponding almost periodic case is treated as well.     

Reductive homogeneous pseudo-Riemannian manifolds

A classification of homogeneous pseudo-Riemannian structures and a characterization of each primitive class are obtained. Several examples are also given.     

Sums of Two Exact Powers

An asymptotic formula is obtained for the number of representations of an element of a finite field as a weighted sum of two prescribed powers of primitive elements. This generalises previous work on sums of primitive elements, including that relating to some conjectures of Golomb.     

Counting Primitive Elements in Free Groups

In this paper it is proved that the set of primitive elements of a non-Abelian free group has density zero, i.e. the ratio of primitive elements in increasingly large balls is arbitrarily small. Two notions of density (natural and exponential density) are defined and some of their properties are studied. A class of subsets of the free group (graphical sets) is defined restricting the occurrence of adjacent letters in the reduced word for an element, and the relation between graphical sets and the set of primitive elements is studied and used to prove the above result.     

Free Akivis Algebras, Primitive Elements, and Hyperalgebras

Free Akivis algebras and primitive elements in their universal enveloping algebras are investigated. It is proved that subalgebras of free Akivis algebras are free and that finitely generated subalgebras are finitely residual. Decidability of the word problem for the variety of Akivis algebras is also proved.The conjecture of K. H. Hofmann and K. Strambach (Problem 6.15 in [Topological and analytic loops, in “Quasigroups and Loops Theory and Applications,” Series in Pure Mathematics (O. Chein, H. O. Pflugfelder, and J. D. H. Smith, Eds.), Vol. 8, pp. 205–262, Heldermann Verlag, Berlin, 1990]) on the structure of primitive elements is proved to be not valid, and a full system of primitive elements in free nonassociative algebra is constructed.Finally, it is proved that every algebra B can be considered as a hyperalgebra, that is, a system with a series of multilinear operations that plays a role of a tangent algebra for a local analytic loop, where the hyperalgebra operations on B are interpreted by certain primitive elements.     

GR(4,r)上本原序列的元素分布

本文利用GR（4，r)上本原序列的迹表示及二次型的有关结论，给出了本原序列的第一权位序列的元素分布，同时求得本原序列的元素分布。     

有限域上的本原最优正规元

Let q be a prime or prime power and Fqn the extension of q elements finite field Fq with degree n(n1).Davenport,Lenstra and Schoof proved that there exists a primitive element α∈ Fqn such that α generates a normal basis of Fqn over Fq.Later,Mullin,Gao and Lenstra,etc.,raised the definition of optimal normal bases and constructed such bases.In this paper,we determine all primitive type I optimal normal bases and all finite fields in which there exists a pair of reciprocal elements α and α-1 such that both of them generate optimal normal bases of Fqn over Fq.Furthermore,we obtain a sufficient condition for the existence of primitive type II optimal normal bases over finite fields and prove that all primitive optimal normal elements are conjugate to each other.     

One point stabilizers in almost simple sharp permutation groups

In this work we consider primitive sharp permutation groups of type ({0,l}, n). According to a previous result of the author, either the structure of such a group (as well as the associated action) is completely determined, or the group is almost simple. We investigate the viability of the almost simple case, develope additional restrictions on the structure of one point stabilizers, and give some indication of a strategy for a proof that there are no almost simple, primitive sharp permutation groups of type ({0l}n).     

Invariant measures for the subshifts arising from non-primitive substitutions

Every almost primitive substitution gives rise to an almost minimal subshift. The nonatomic, invariant measures of the subshift which are finite on every clopen set disjoint from a unique fixed point are unique up to scaling and ergodic.     

Basic coset geometries

In earlier work we gave a characterisation of pregeometries which are ‘basic’ (that is, admit no ‘non-degenerate’ quotients) relative to two different kinds of quotient operation, namely taking imprimitive quotients and normal quotients. Each basic geometry was shown to involve a faithful group action, which is primitive or quasiprimitive, respectively, on the set of elements of each type. For each O’Nan-Scott type of primitive group, we construct a new infinite family of geometries, which are thick and of unbounded rank, and which admit a flag-transitive automorphism group acting faithfully on the set of elements of each type as a primitive group of the given O’Nan-Scott type.     

On primitively universal quadratic forms

In 1999, Manjul Bhargava proved the Fifteen Theorem and showed that there are exactly 204 universal positive definite integral quaternary quadratic forms. We consider primitive representations of quadratic forms and investigate a primitive counterpart to the Fifteen Theorem. In particular, we give an efficient method for deciding whether a positive definite integral quadratic form in four or more variables with odd square-free determinant is almost primitively universal.     

运输问题求解的一种网络算法

本着重探讨了在网络图上求运输问题的初始解的方法，并指出在求解受时间约束的运输问题时得到的初始解，在很大程度就是该问题的最优解，通过实例说明了该算法。