On soluble skew linear groups over finite-dimensional division algebras

Let D be a division ring of finite degree d and let n be a positive integer. If G is any soluble subgroup of , we prove that G has derived length at most

9+log₂d+(11/3)log₂n     

The Schur group of an abelian number field

We characterize the maximum r-local index of a Schur algebra over an abelian number field K in terms of global information determined by the field K for an arbitrary rational prime, r. This completes and unifies previous results of Janusz in [G.J. Janusz, The Schur group of an algebraic number field, Ann. of Math. (2) 103 (1976) 253-281] and Pendergrass in [J.W. Pendergrass, The 2-part of the Schur group, J. Algebra 41 (1976) 422-438].     

A matrix problem over a central quadratic skew field extension

Let F⊂G=F(u) be a central quadratic skew field extension (such that the generator u is central in G) and a natural (G,G)-bimodule. We deal with the matrix problem on finding a canonical form for rectangular matrices over W with help of left elementary transformations of their rows and right elementary transformations of columns over G. We solve this problem reducing it in the separable (resp. inseparable) case to the semilinear (resp. pseudolinear) pencil problem.     

On Isolated Submodules

Let R be a ring with identity and let M be a unital left R-module. A proper submodule L of M is radical if L is an intersection of prime submodules of M. Moreover, a submodule L of M is isolated if, for each proper submodule N of L, there exists a prime submodule K of M such that N ? K but L ? K. It is proved that every proper submodule of M is radical (and hence every submodule of M is isolated) if and only if N ∩ IM = IN for every submodule N of M and every (left primitive) ideal I of R. In case, R/P is an Artinian ring for every left primitive ideal P of R it is proved that a finitely generated submodule N of a nonzero left R-module M is isolated if and only if PN = N ∩ PM for every left primitive ideal P of R. If R is a commutative ring, then a finitely generated submodule N of a projective R-module M is isolated if and only if N is a direct summand of M.     

Orthomodular lattices in ordered vector spaces

In a partly ordered space the orthogonality relation is defined by incomparability. We define integrally open and integrally semi-open ordered real vector spaces. We prove: if an ordered real vector space is integrally semi-open, then a complete lattice of double orthoclosed sets is orthomodular. An integrally open concept is closely related to an open set in the Euclidean topology in a finite dimensional ordered vector space. We prove: if V is an ordered Euclidean space, then V is integrally open and directed (and is also Archimedean) if and only if its positive cone, without vertex 0, is an open set in the Euclidean topology (and also the family of all order segments , a < b, is a base for the Euclidean topology). Received January 7, 2005; accepted in final form November 26, 2005.     

Generalized Lie derivations on skew elements of prime algebras with involution

We characterize generalized Lie derivations on skew elements of prime algebras A with involution, provided that A does not satisfy polynomial identities of low degree. The analogous result for matrix algebras is also described.     

Friezes and a construction of the Euclidean cluster variables

Let Q be a Euclidean quiver. Using friezes in the sense of Assem-Reutenauer-Smith, we provide an algorithm for computing the (canonical) cluster character associated with any object in the cluster category of Q. In particular, this algorithm allows us to compute all the cluster variables in the cluster algebra associated with Q. It also allows us to compute the sum of the Euler characteristics of the quiver Grassmannians of any module M over the path algebra of Q.     

Generic variables in acyclic cluster algebras

Let Q be an acyclic quiver. We introduce the notion of generic variables for the coefficient-free acyclic cluster algebra A(Q). We prove that the set G(Q) of generic variables contains naturally the set M(Q) of cluster monomials in A(Q) and that these two sets coincide if and only if Q is a Dynkin quiver. We establish multiplicative properties of these generic variables analogous to multiplicative properties of Lusztig’s dual semicanonical basis. This allows to compute explicitly the generic variables when Q is a quiver of affine type. When Q is the Kronecker quiver, the set G(Q) is a Z-basis of A(Q) and this basis is compared to Sherman-Zelevinsky and Caldero-Zelevinsky bases.     

An exact upper bound for sums of element orders in non-cyclic finite groups

Denote the sum of element orders in a finite group G by $\psi (G)$ and let $C_n$ denote the cyclic group of order n. Suppose that G is a non-cyclic finite group of order n and q is the least prime divisor of n. We proved that $\psi (G)\le \frac{7}{11}\psi (C_n)$ and $\psi (G)<\frac{1}{q?1}\psi (C_n)$. The first result is best possible, since for each $n=4k$, k odd, there exists a group G of order n satisfying $\psi (G)=\frac{7}{11}\psi (C_n)$ and the second result implies that if G is of odd order, then $\psi (G)<\frac{1}{2}\psi (C_n)$. Our results improve the inequality $\psi (G)<\psi (C_n)$ obtained by H. Amiri, S.M. Jafarian Amiri and I.M. Isaacs in 2009, as well as other results obtained by S.M. Jafarian Amiri and M. Amiri in 2014 and by R. Shen, G. Chen and C. Wu in 2015. Furthermore, we obtained some $\psi (G)$-based sufficient conditions for the solvability of G.     

Universally generic finitely generated ordered Abelian groups

It is shown that a finitely generated ordered Abelian group is generic if and only if it is superdiscrete, i.e., each homomorphic image is discretely ordered. The forcing concept uses universal sentences as forcing conditions.     

On a theorem of Rhemtulla on polycyclic groups

Let H be a subgroup of the polycyclic-by-finite group G and denote the automorphism group of G by Γ. We prove that there exists an integer d such that in the poset {?_γ∈∑H^γ:∑ a subset of Γ} of all intersections of images H^γ of H under Γ, chains have length at most d. In particular the poset satisfies the minimal condition. This extends and improves a theorem of A.H. Rhemtulla. We also provide a very different proof of Rhemtulla’s theorem.     

On nilpotent subsemigroups of the matrix semigroup over an antiring

In this paper, nilpotent subsemigroups in the matrix semigroup over a commutative antiring are discussed. Some basic properties and characterizations for the nilpotent subsemigroups are given, and some equivalent conditions for the matrix semigroup over a commutative antiring to have a maximal nilpotent subsemigroup are obtained. Also, the maximal nilpotent subsemigroups in the matrix semigroup are described.     

Finite group actions and asymptotic expansion ofe P(z)

We establish an asymptotic expansion for the number |Hom (G,S _n )| of actions of a finite groupG on ann-set in terms of the order |G|=m and the numbers _G (d) of subgroups of indexd inG ford|m. This expansion and related results on the enumeration of finite group actions follow from more general results concerning the asymptotic behaviour of the coefficients of entire functions of finite genus with finitely many zeros. As another application of these analytic considerations we establish an asymptotic property of the Hermite polynomials, leading to the explicit determination of the coefficientsC (;z) in Perron's asymptotic expansion for Laguerre polynomials in the cases =±1/2.Research supported by Deutsche Forschungsgemeinschaft through a Heisenberg-Fellowship.     

On global optimization in two-dimensional scaling

We consider multidimensional scaling for embedding dimension two, which allows the detection of structures in dissimilarity data by simply drawing two-dimensional figures. The corresponding objective function, called STRESS, is generally nondifferentiable and has many local minima. In this paper we investigate several features of this function, and discuss the application of different global optimization procedures. A method based on combining a local search algorithm with an evolutionary strategy of generating new initial points is proposed, and its efficiency is investigated by numerical examples.This paper was written while the second author was visiting Professor at Aachen University of Technology, funded by the Deutsche Forschungsgemeinschaft.     

A counterexample in the theory of random orders

We show that the 0–1 law fails in random orders of fixed dimension k, k3. In particular, we give an example of a first-order sentence , in the language of partial orders, which cannot have limiting probability 0 or 1 among random orders of dimension 3.Research supported by ONR grant N00014-85-K-0769     

Radicals in skew polynomial and skew Laurent polynomial rings

We provide a general procedure for characterizing radical-like functions of skew polynomial and skew Laurent polynomial rings under grading hypotheses. In particular, we are able to completely characterize the Wedderburn and Levitzki radicals of skew polynomial and skew Laurent polynomial rings in terms of ideals in the coefficient ring. We also introduce the T-nilpotent radideals, and perform similar characterizations.     

On a continuous time stochastic approximation problem

This paper is concerned with a continuous time stochastic approximation/optimization problem. The algorithm is given by a pair of differential-integral equations. Our main effort is to derive the asymptotic properties of the algorithm. It is shown that ast , a suitably normalized sequence of the estimation error,t(¯x _tr–) is equivalent to a scaled sequence of the random noise process, namely, (1/t) ₀ ^tr _sds. Consequently, the asymptotic normality is obtained via a functional invariance theorem, and the asymptotic covariance matrix is shown to be the optimal one. As a result, the algorithm is asymptotically efficient.Supported in part by the National Science Foundation, and in part by Wayne State University.Supported in part by Wayne State University through a research assistantship.