On the existence of a single test module

We revisit two questions concerning the existence of a single test module by comparing them with similar questions (see Theorem 3.3). As a corollary, we identify domains over which strongly flat modules and torsion-free Whitehead modules coincide (see Corollary 3.6). We obtain several analogous results to the main theorem under stronger hypotheses (see section 4). In particular, we settle a long-standing question concerning a characterization of almost perfect domains (see Corollary 4.4). We also look into the case when the character module of K and the Matlis-dual of K are isomorphic (see Theorem 5.2).     

Towards Lim

The paper contains an elegant extension of the Nadler fixed point theorem for multivalued contractions (see Theorem 21). It is based on a new idea of the α-step mappings (see Definition 17) being more efficient than α-contractions. In the present paper this theorem is a tool in proving some fixed point theorems for “nonexpansive” mappings in the bead spaces (metric spaces that, roughly speaking, are modelled after convex sets in uniformly convex spaces). More precisely the mappings are nonexpansive on a set with respect to only one point - the centre of this set (see condition (4)). The results are pretty general. At first we assume that the value of the mapping under consideration at this central point looks “sharp” (see Definition 6). This idea leads to a group of theorems (based on Theorem 7). Their proofs are compact and the theorems, in particular, are natural extensions of the classical results for (usual) nonexpansive mappings. In the second part we apply the idea of Lim to investigate the regular sequences and here the proofs are based on our extension of Nadler's Theorem. In consequence we obtain some fixed point theorems that generalise the classical Lim Theorem for multivalued nonexpansive mappings (see e.g. Theorem 26).     

Symmetric spaces with maximal projection constants

In this paper we introduce a special class of finite-dimensional symmetric subspaces of L₁, so-called regular symmetric subspaces. Using this notion, we show that for any k?2, there exist k-dimensional symmetric subspaces of L₁ which have maximal projection constant among all k-dimensional symmetric spaces. Moreover, L₁ is a maximal overspace for these spaces (see Theorems 4.4 and 4.5.) Also a new asymptotic lower bound for projection constants of symmetric spaces is obtained (see Theorem 5.3). This result answers the question posed in [12, p. 36] (see also [15, p. 38]) by H. Koenig and co-authors. The above results are presented both in real and complex cases.     

Locally Nilpotent p-Groups whose Proper Subgroups are Hypercentral or Nilpotent-by-Chernikov

Let G be a group and P be a property of groups. If every propersubgroup of G satisfies P but G itself does not satisfy it,then G is called a minimal non-P group. In this work we studylocally nilpotent minimal non-P groups, where P stands for ‘hypercentral’or ‘nilpotent-by-Chernikov’. In the first case weshow that if G is a minimal non-hypercentral Fitting group inwhich every proper subgroup is solvable, then G is solvable(see Theorem 1.1 below). This result generalizes [3, Theorem1]. In the second case we show that if every proper subgroupof G is nilpotent-by-Chernikov, then G is nilpotent-by-Chernikov(see Theorem 1.3 below). This settles a question which was consideredin [1–3, 10]. Recently in [9], the non-periodic case ofthe above question has been settled but the same work containsan assertion without proof about the periodic case. The main results of this paper are given below (see also [13]).     

Ergodic decomposition

Ergodic systems, being indecomposable are important part of the study of dynamical systems but if a system is not ergodic, it is natural to ask the following question:

Is it possible to split it into ergodic systems in such a way that the study of the former reduces to the study of latter ones?

Also, it will be interesting to see if the latter ones inherit some properties of the former one. This document answers this question for measurable maps defined on complete separable metric spaces with Borel probability measure, using the Rokhlin Disintegration Theorem.     

Automorphisms and primitive elements of free lie superalgebras

We consider images of primitive elements of free color Lie (p-)su per algebras under endomorphisms of these algebras Web prove that endomorphisms preserving primitivity of elements are automorphisms (Theorem 4). Note that for free groups this problem was discussed in [10], Problem 2a. At the same time we show that it is not true if we consider only images of linear combinations of elements from free generatig set (see Example, Theorem 5). We formulate some open questions. In Section 1 we give necessary definitions and collect preliminary results. In Section 2 we prove main theorems. The results of this article were presented at algebraic semi­nars of Moscow State University.     

The minimal genus problem in rational surfaces CP~2#nCP~2

There are three key ingredients in the study of the minimal genus problem for rational surfaces CP2#nCP2: the generalized adjunction formula, the action of the orthogonal group of the Lorentz space and the geometric construction. In this paper, we prove the uniqueness of the standard form (see Definition 1.1 and Theorem 1.1) of a 2-dimensional homology class under the action of the subgroup of the Lorentz orthogonal group that is realized by the diffeomorphisms of CP2#nCP2.Using the geometric construction, we determine the minimal genera of some classes (see Theorem 1.2).     

General methods for converting impulsive fractional differential equations to integral equations and applications

In this paper, we propose the concepts of Caputo fractional derivatives and Caputo type Hadamard fractional derivatives for piecewise continuous functions. We obtain general solutions of four classes of impulsive fractional differential equations (Theorem 3.1–Theorem 3.4) respectively. These results are applied to converting boundary value problems for impulsive fractional differential equations to integral equations. Some comments are made on recently published papers (see Section 4).     

Supremum metric and relatively compact sets of fuzzy sets

The supremum metric D between fuzzy subsets of a metric space is the supremum of the Hausdorff distances of the corresponding level sets. In this paper some new criteria of compactness with respect to the distance D are given; they concern arbitrary fuzzy sets (see Theorem 7), fuzzy sets having no proper local maximum points (see Theorem 12) and, finally, fuzzy sets with convex sendograph (see Theorem 13). In order to compare results with a previous characterization of compactness of Diamond–Kloeden, the criteria will be expressed by equi-(left/right)-continuity. In the proofs a first author's purely topological criterion of D  -compactness and a variational convergence (called Γ$\Gamma$-convergence) which was introduced by De Giorgi and Franzoni, are fundamental.     

Representations of small braid groups in Temperley-Lieb algebra

In this paper we consider the question of faithfulness of the Jones' representation of braid group Bn into the Temperley-Lieb algebra TLn. The obvious motivation to study this problem is that any non-trivial element in the kernel of this representation (for any n) would almost certainly yield a non-trivial knot with trivial Jones polynomial (see [S. Bigelow, Does the Jones polynomial detect the unknot? J. Knot Theory Ramifications 11 (4) (2002) 493-505], we will explain it in more detail in Section 1). As one of the two main results we prove Theorem 1 in which we present a method to obtain non-trivial elements in the kernel of the representation of B₆ into TL9,2—to the authors' knowledge the first such examples in the second gradation of the Temperley-Lieb algebra. Theorem 2 which is a refinement of Theorem 1 may be used to produce smaller examples of the same kind. We also show briefly how some braids that are used in Section 4 to construct specific examples were generated with a computer program.     

A simple constraint qualification in infinite dimensional programming

A new, simple, constraint qualification for infinite dimensional programs with linear programming type constraints is used to derive the dual program; see Theorem 3.1. Applications include a proof of the explicit solution of the best interpolation problem presented in [8].     

The algebraic and geometric classification of nilpotent terminal algebras

We give algebraic and geometric classifications of 4-dimensional complex nilpotent terminal algebras. Specifically, we find that, up to isomorphism, there are 41 one-parameter families of 4-dimensional nilpotent terminal (non-Leibniz) algebras, 18 two-parameter families of 4-dimensional nilpotent terminal (non-Leibniz) algebras, 2 three-parameter families of 4-dimensional nilpotent terminal (non-Leibniz) algebras, complemented by 21 additional isomorphism classes (see Theorem 13). The corresponding geometric variety has dimension 17 and decomposes into 3 irreducible components determined by the Zariski closures of a one-parameter family of algebras, a two-parameter family of algebras and a three-parameter family of algebras (see Theorem 15). In particular, there are no rigid 4-dimensional complex nilpotent terminal algebras.     

On the Brauer–Glauberman correspondence

The purpose of the present paper is two-fold: on the one hand, to show the existence of a correspondence unifying Brauer's and Glauberman's ones (see Theorem 4.6), and, on the other hand, to give an alternative proof of Watanabe's equivalence in [Atumi Watanabe, The Glauberman character correspondence and perfect isometries for blocks of finite groups, J. Algebra 216 (1999) 548–565]. By the way, we give a short proof of the coincidence of the Clifford extensions associated with a pair of Glauberman correspondent irreducible representations (see Corollary 4.16), a question that, surprisingly enough, has only been partially solved recently (see [Morton Harris, Markus Linckelmann, On the Glauberman and Watanabe correspondences for blocks of finite p-solvable groups, Trans. Amer. Math. Soc. 354 (2002) 3435–3453] and [Shigeo Koshitani, Gerhard Michler, Glauberman correspondence of p-blocks of finite groups, J. Algebra 243 (2001) 504–517]).     

The structure theorem of endomorphism algebras for weak Doi-Hopf modules

The paper is concerned with endomorphism algebras for weak Doi-Hopf modules. Under the condition “weak Hopf-Galois extensions”, we present the structure theorem of endomorphism algebras for weak Doi-Hopf modules, which extends Theorem 3.2 given by Schneider in [1]. As applications of the structure theorem, we obtain the Kreimer-Takeuchi theorem (see Theorem 1.7 in [2]) and the Nikshych duality theorem (see Theorem 3.3 in [3]) in the case of weak Hopf algebras, respectively.     

CONVERGENCE OF CASCADE ALGORITHMS AND SMOOTHNESS OF REFINABLE DISTRIBUTIONS

In this paper, the author at first develops a method to study convergence of the cascade algorithm in a Banach space without stable assumption on the initial (see Theorem 2.1), and then applies the previous result on the convergence to characterizing compactly supported refinable distributions in fractional Sobolev spaces and Holder continuous spaces (see Theorems 3.1, 3.3, and 3.4). Finally the author applies the above characterization to choosing appropriate initial to guarantee the convergence of the cascade algorithm (see Theorem 4.2).     

A remark on entire solutions of quasilinear elliptic equations

By applying a main comparison theorem of Pucci and Serrin (2007) [2] we cover, for general equations of p-Laplace type, the open cases of Theorems B, D, E of Farina and Serrin (submitted for publication) [1] as described in Problems 2 and 3 of Section 12 of Farina and Serrin (submitted for publication) [1]. Moreover, we provide significant improvements of Theorem C and Theorem 5 of Farina and Serrin (submitted for publication) [1], the latter in the context of mean curvature type operators, see Theorem 1.3 and Theorems 5.2-5.4 below.Finally, Theorem 1.1 provides a new Liouville theorem outside the context of work in Farina and Serrin (submitted for publication) [1].     

Separation of a finite set in ℝ d by spanned hyperplanes

A question of the following kind will concern us here: what is the minimal numbern, ensuring that any spanning set ofn points in 3-space spans a plane, every open side of which contains at least, say, 1000 points of the set. The answer isn=4001 (see Theorem 2.1 below).This is a part of a Ph.D. thesis, with the same title, supervised by Professor Micha A. Perles in the Hebrew University of Jerusalem     

Homological approximations for profinite and pro-p limit groups

Abstract

We study homological approximations of the profinite completion of a limit group (see Thm. A) and obtain the analogous of Bridson and Howie’s Theorem for the profinite completion of a non-abelian limit group (see Thm. B).