On Orderable Poly Engel Groups

It is known that an orderable n-Engel group is nilpotent. We show that an orderable group that is an extension of an n-Engel group by an n-Engel group is nilpotent-by-nilpotent. However, a finitely generated orderable poly n-Engel group need not be solvable in general.     

Images and Open Subspaces of SV Spaces

A topological space is finitely an F-space if its Stone–?ech compactification is a union of finitely many closed F-spaces and a space is SV if C(X) has the property that C(X)/P is a valuation domain for each prime ring ideal P of C(X). This article studies the images under open continuous functions and the open subspaces of spaces that are finitely an F-space or are SV. It is shown that an open continuous image of a compact space that is finitely an F-space is finitely an F-space and an open continuous image of certain SV spaces is SV. Also, it is shown cozerosets, but not necessarily open sets, of SV spaces are SV spaces and a similar situation holds for spaces that are finitely an F-space.     

Stochastic adaptive control for continuous-time linear systems with quadratic cost

An adaptive control problem is formulated and solved for a completely observed, continuous-time, linear stochastic system with an ergodic quadratic cost criterion. The linear transformationsA of the state,B of the control, andC of the noise are assumed to be unknown. Assuming only thatA is stable and that the pair (A, C) is controllable and using a diminishing excitation control that is asymptotically negligible for an ergodic, quadratic cost criterion it is shown that a family of least-squares estimates is strongly consistent. Furthermore, an adaptive control is given using switchings that is self-optimizing for an ergodic, quadratic cost criterion.This research was partially supported b y NSF Grants ECS-9102714, ECS-9113029, and DMS-9305936.     

The Turaev genus of an adequate knot

The Turaev genus of a knot is an obstruction to the knot being alternating. An adequate knot is a generalization of an alternating knot. A natural problem is a characterization of the Turaev genus of an adequate knot. In this paper, we show that the Turaev genus of an adequate knot is realized by the genus of the Turaev surface associated to an adequate diagram of the knot using the Khovanov homology. As a result, we obtain the additivity of the Turaev genus of adequate knots, and show that the Turaev genus of an adequate knot is “often” preserved under mutation. We also show that an n-semi-alternating knot is of Turaev genus n. This is the first examples of adequate knots of Turaev genus two or more.     

Armendariz Properties Relative to a Ring Endomorphism

For an endomorphism α of a ring R, we introduce the notion of an α-Armendariz ring to investigate the relative Armendariz properties. This concept extends the class of Armendariz rings and gives us an opportunity to study Armendariz rings in a general setting. It is obvious that every Armendariz ring is an α-Armendariz ring, but we shall give an example to show that there exists a right α-Armendariz ring which is not Armendariz. A number of properties of this version are established. It is shown that if I is a reduced ideal of a ring R such that R/I is a right α-Armendariz ring, then R is right α-Armendariz. For an endomorphism α of a ring R, we show that R is right α-Armendariz if and only if R[x] is right α-Armendariz. Moreover, a weak form of α-Armendariz rings is considered in the last section. We show that in general weak α-Armendariz rings need not be α-Armendariz.     

Semi-algebraic Absolute Valued Algebras with an Involution

Abstract

Let A be an absolute valued algebra. In El-Mallah (El-Mallah,M. L. (1988). Absolute valued algebras with an involution. Arch. Math. 51: 39–49) we proved that,if A is algebraic with an involution,then A is finite dimensional. This result had been generalized in El-Amin et al. (El-Amin,K.,Ramirez,M. I.,Rodriguez,A. (1997). Absolute valued algebraic algebras are finite dimensional. J. Algebra 195:295–307),by showing that the condition “algebraic” is sufficient for A to be finite dimensional. In the present paper we give a generalization of the concept “algebraic”,which will be called “semi-algebraic”,and prove that if A is semi-algebraic with an involution then A is finite dimensional. We give an example of an absolute valued algebra which is semi-algebraic and infinite dimensional. This example shows that the assumption “with an involution” cannot be removed in our result.     

On characterizations of the ordered field of real numbers

This self-contained note could find classroom use in an introductory course on analysis. It is proved that an ordered field F is complete (that is, order-isomorphic to the field of real numbers) if and only if each bounded monotonic sequence in F converges in F. Also established is the key tool that an ordered field is complete if and only if it is Archimedean and Cauchy-complete, along with a number of characterizations of Archimedean fields.     

The three-in-a-tree problem

We show that there is a polynomial time algorithm that, given three vertices of a graph, tests whether there is an induced subgraph that is a tree, containing the three vertices. (Indeed, there is an explicit construction of the cases when there is no such tree.) As a consequence, we show that there is a polynomial time algorithm to test whether a graph contains a “theta” as an induced subgraph (this was an open question of interest) and an alternative way to test whether a graph contains a “pyramid” (a fundamental step in checking whether a graph is perfect).     

有限ATI-群的类保持Coleman自同构

设G是一个有限群,对G的任意阿贝尔子群A及任意g∈G,若A∩A~g=1或A,则称G为一个ATI-群.本文证明了,对任意p∈τ(G),如果ATI-群G的一个p-方幂阶类保持自同构在G的任意Sylow子群上的限制等于G的某个内自同构的限制,则它必定是一个内自同构.作为该结果的一个直接推论,我们也证明了有限ATI-群G有正规化性质.     

Gap-free compositions and gap-free samples of geometric random variables

We study the asymptotic probability that a random composition of an integer n is gap-free, that is, that the sizes of parts in the composition form an interval. We show that this problem is closely related to the study of the probability that a sample of independent, identically distributed random variables with a geometric distribution is likewise gap-free.