Radicals and Plotkin's problem concerning geometrically equivalent groups

If and are groups and is a normal subgroup of , then the -closure of in is the normal subgroup of . In particular, is the -radical of . Plotkin calls two groups and geometrically equivalent, written , if for any free group of finite rank and any normal subgroup of the -closure and the -closure of in are the same. Quasi-identities are formulas of the form for any words in a free group. Generally geometrically equivalent groups satisfy the same quasi-identities. Plotkin showed that nilpotent groups and satisfy the same quasi-identities if and only if and are geometrically equivalent. Hence he conjectured that this might hold for any pair of groups. We provide a counterexample.

     

-Weyl's theorem for operator matrices

If is a upper triangular matrix on the Hilbert space , then -Weyl's theorem for and need not imply -Weyl's theorem for , even when . In this note we explore how -Weyl's theorem and -Browder's theorem survive for operator matrices on the Hilbert space.

     

Van der Waerden spaces

A topological space is van der Waerden if for every sequence in there exists a converging subsequence so that contains arbitrarily long finite arithmetic progressions. Not every sequentially compact space is van der Waerden. The product of two van der Waerden spaces is van der Waerden.

The following condition on a Hausdorff space is sufficent for to be van der Waerden:

The closure of every countable set in is compact and first-countable.

A Hausdorff space that satisfies satisfies, in fact, a stronger property: for every sequence in :

There exists so that is converging, and contains arbitrarily long finite arithmetic progressions and sets of the form for arbitrarily large finite sets .

There are nonmetrizable and noncompact spaces which satisfy . In particular, every sequence of ordinal numbers and every bounded sequence of real monotone functions on satisfy .

     

A global pinching theorem for surfaces with constant mean curvature in

Let be a compact immersed surface in the unit sphere with constant mean curvature . Denote by the linear map from into , , where is the linear map associated to the second fundamental form and is the identity map. Let denote the square of the length of . We prove that if , then is either totally umbilical or an -torus, where is a constant depending only on the mean curvature .

     

LCM-splitting sets in some ring extensions

Let be a saturated multiplicative set of an integral domain . Call an lcm splitting set if and are principal ideals for every and . We show that if is an -stable overring of (that is, if whenever and is principal, it follows that and if is an lcm splitting set of , then the saturation of in is an lcm splitting set in . Consequently, if is Noetherian and is a (nonzero) prime element, then is also a prime element of the integral closure of . Also, if is Noetherian, is generated by prime elements of and if the integral closure of is a UFD, then so is the integral closure of .

     

On the absolute continuity of a class of invariant measures

Let be a compact connected subset of , let , be contractive self-conformal maps on a neighborhood of , and let be a family of positive continuous functions on . We consider the probability measure that satisfies the eigen-equation

for some 0$">. We prove that if the attractor is an -set and is absolutely continuous with respect to , the Hausdorff -dimensional measure restricted on the attractor , then is absolutely continuous with respect to (i.e., they are equivalent). A special case of the result was considered by Mauldin and Simon (1998). In another direction, we also consider the -property of the Radon-Nikodym derivative of and give a condition for which is unbounded.

     

Subgroup growth in some pro- groups

For a group let be the number of subgroups of index and let be the number of normal subgroups of index . We show that for 2$">. If and does not divide or if and or , we show that for all sufficiently large . On the other hand if and divides , then is not even bounded as a function of .

     

Index of B-Fredholm operators and generalization of a Weyl theorem

The aim of this paper is to show that if and are commuting B-Fredholm operators acting on a Banach space , then is a B-Fredholm operator and , where means the index. Moreover if is a B-Fredholm operator and is a finite rank operator, then is a B-Fredholm operator and We also show that if is isolated in the spectrum of , then is a B-Fredholm operator of index if and only if is Drazin invertible. In the case of a normal bounded linear operator acting on a Hilbert space , we obtain a generalization of a classical Weyl theorem.     

The sumset phenomenon

Answering a problem posed by Keisler and Leth, we prove a theorem in non-standard analysis to reveal a phenomenon about sumsets, which says that if two sets and are large in terms of ``measure', then the sum is not small in terms of ``order-topology'. The theorem has several corollaries about sumset phenomenon in the standard world; these are described in sections 2-4. One of these is a new result in additive number theory; it says that if two sets and of non-negative integers have positive upper or upper Banach density, then is piecewise syndetic.

     

The f-depth of an ideal on a module

Let be an ideal of a Noetherian local ring and a finitely generated -module. The f-depth of on is the least integer such that the local cohomology module is not Artinian. This paper presents some part of the theory of f-depth including characterizations of f-depth and a relation between f-depth and f-modules.

     

Closed groups induced by finitary permutations and their actions on trees

We describe permutation groups such that is the closure of the subgroup of all elements with finite support and can be realized as where is a saturated structure. We also study isometric actions of such groups on real trees.

     

Simple algebras of Weyl type, II

Over a field of any characteristic, for a commutative associative algebra , and for a commutative subalgebra of , the vector space which consists of polynomials of elements in with coefficients in and which is regarded as operators on forms naturally an associative algebra. It is proved that, as an associative algebra, is simple if and only if is -simple. Suppose is -simple. Then, (a) is a free left -module; (b) as a Lie algebra, the subquotient is simple (except for one case), where is the center of . The structure of this subquotient is explicitly described. This extends the results obtained by Su and Zhao.

     

On the maximal inequalities for martingales involving two functions

Let and be nonnegative convex functions, and let and be the right continuous derivatives of and respectively. In this paper, we prove the equivalence of the following three conditions: (i) (ii) and (iii) s_0,$">where and are the Orlicz martingale spaces. As a corollary, we get a sufficient and necessary condition under which the extension of Doob's inequality holds. We also discuss the converse inequalities.

     

Normal bases for Hopf-Galois algebras

Let be a Hopf algebra over a commutative ring such that is a finitely generated, projective module over , let be a right -comodule algebra, and let be the subalgebra of -coinvariant elements of . If is a Galois extension of and is a local subalgebra of the center of , then is a cleft right -comodule algebra or, equivalently, there is a normal basis for over .

     

Proof of the prime power conjecture for projective planes of order

Let be an abelian collineation group of order of a projective plane of order . We show that must be a prime power, and that the -rank of is at least if for an odd prime .

     

A solvable group whose character degree graph has diameter

We show that there is a solvable group so that the character degree graph of has diameter .

     

The Hopf conjecture for manifolds with low cohomogeneity or high symmetry rank

We prove that the Euler characteristic of an even-dimensional compact manifold with positive (nonnegative) sectional curvature is positive (nonnegative) provided that the manifold admits an isometric action of a compact Lie group with principal isotropy group and cohomogeneity such that . Moreover, we prove that the Euler characteristic of a compact Riemannian manifold or with positive sectional curvature is positive if admits an effective isometric action of a torus , i.e., if the symmetry rank of is .

     

The point spectrum of the Dirac operator on noncompact symmetric spaces

In this note, we consider the Dirac operator on a Riemannian symmetric space  of noncompact type. Using representation theory, we show that has point spectrum iff the -genus of its compact dual does not vanish. In this case, if  is irreducible, then with  odd, and  .

     

Universal perturbations of linear differential equations

Let be a fundamental solution of with and bounded on . We prove that there exist arbitrary small matrix functions with limit as such that has solutions with dense in .

     

On the class number of certain imaginary quadratic fields

Theorem. Let 2$"> denote an integer, the square-free part of and the class number of the field . Then except for the case , divides .