A New Characterization of PSL(p,q)

Abstract

Order components of a finite group are introduced in Chen [Chen, G. Y. (1996c) On Thompson's conjecture. J. Algebra 185:184–193]. It was proved that PSL(3, q), where q is an odd prime power, is uniquely determined by its order components [Iranmanesh, A., Alavi, S. H., Khosravi, B. (2002a). A characterization of PSL(3, q) where q is an odd prime power. J. Pure Appl. Algebra 170(2–3): 243–254]. Also in Iranmanesh et al. [Iranmanesh, A., Alavi, S. H., Khosravi, B. (2002b). A characterization of PSL(3, q) where q = 2 ⁿ . Acta Math. Sinica, English Ser. 18(3):463–472] and [Iranmanesh, A., Alavi, S. H. (2002). A characterization of simple groups PSL(5, q). Bull. Austral. Math. Soc. 65:211–222] it was proved that PSL(3, q) for q = 2 ⁿ and PSL(5, q) are uniquely determined by their order components. In this paper we prove that PSL(p, q) can be uniquely determined by its order components, where p is an odd prime number. A main consequence of our results is the validity of Thompson's conjecture for the groups under consideration.     

Local existence of energy class solutions for the dirac—klein—gordon equations

Abstract

We show a method to eliminate a type of mixed asymptotics in certain free boundary problems, and give two examples of its application. It appears that these problems cannot be handled by the monotonicity formula of Alt et al. [Alt, H. W., Caffarelli, L. A., Friedman, A. (1984). Variational problems with two phases and their free boundaries. Trans. Am. Math. Soc. 282(2):431–461] or by the more recent monotonicity formula of Caffarelli et al. [Caffarelli, L. A., Jerison, D., Kenig, C. E. (2002). Some new monotonicity theorems with applications to free boundary problems. Ann. Math. (2) 155(2):369–404].     

Free Subgroups in the Units of ℤ[K 8 × C p ]

Abstract

Marciniak and Sehgal (Marciniak, Z., Sehgal, S. K. (1997). Constructing free subgroups of integral group rings units. Proc. Amer. Math. Soc.125(4):1005–1009) constructed free subgroups in U(?[G]) whenever Ghas a non normal finite subgroup. In this paper we construct free subgroups in U(?[G]), where Gis a group whose subgroups are all normal.     

Osculating Degeneration of Curves

Abstract

The main objects of this paper are osculating spaces of order mto smooth algebraic curves, with the property of meeting the curve again. We prove that the only irreducible curves with an infinite number of this type of osculating spaces of order mare curves in P ^m+1whose degree nis greater than m + 1. This is a generalization of the result and proof of Kaji (Kaji, H. (1986). On the tangentially degenerate curves. J. London Math. Soc.33(2):430–440) that corresponds to the case m = 1. We also obtain an enumerative formula for the number of those osculating spaces to curves in P ^m+2. The case m = 1 of it is a classical formula proved with modern techniques by Le Barz (Le Barz, P. (1982). Formules multisécantes pour les courbes gauches quelconques. In: Enumerative Geometry and Classical Algebraic Geometry. Prog. in Mathematics 24, Birkhäuser, pp. 165–197).     

Algebraic sets in metabelian groups

The research launched in [1] is brought to a close by examining algebraic sets in a metabelian group G in two important cases: (1) G = F_n is a free metabelian group of rank n; (2) G = W_n,k is a wreath product of free Abelian groups of ranks n and k. Supported by RFBR grant No. 05-01-00292. __________ Translated from Algebra i Logika, Vol. 46, No. 4, pp. 503–513, July–August, 2007.     

Interior hölder estimates for solutions of schrödinger equations and the regularity of nodal sets

Abstract

Motivated by the study of selfdual vortices in gauge field theory, we consider a class of Mean Field equations of Liouville-type on compact surfaces involving singular data assigned by Dirac measures supported at finitely many points (the so called vortex points). According to the applications, we need to describe the blow-up behavior of solution-sequences which concentrate exactly at the given vortex points. We provide accurate pointwise estimates for the profile of the bubbling sequences as well as “sup + inf” estimates for solutions. Those results extend previous work of Li [Li, Y. Y. (1999). Harnack type inequality: The method of moving planes. Comm. Math. Phys. 200:421–444] and Brezis et al. [Brezis, H., Li, Y. Shafrir, I. (1993). A sup + inf inequality for some nonlinear elliptic equations involving the exponential nonlinearities. J. Funct. Anal. 115: 344–358] relative to the “regular” case, namely in absence of singular sources.     

On commutative rings which are strongly prüfer

Abstract

As defined by Nicholson [Nicholson, W. K. (1977). Lifting idempotents and exchange rings. Trans. Amer. Math. Soc. 229:269–278] an element of a ring R is clean if it is the sum of a unit and an idempotent, and a subset A of R is clean if every element of A is clean. It is shown that a semiprimitive Gelfand ring R is clean if and only if Max(R) is zero-dimensional; if and only if for each M ∈ Max(R), the intersection all prime ideals contained in M is generated by a set of idempotents. We also give several equivalent conditions for clean functional rings. In fact, a functional ring R is clean if and only if the set of clean elements is closed under sum; if and only if every zero-divisor is clean; if and only if; R has a clean prime ideal.     

FREE SOLVABLE P-ALGEBRAS

The construction of a free solvable P-algebra of finite degree k in the variety of all solvable P-algebras of degree at most k (k ≥ 1) has been given. Some properties of the same have been studied. The structure of the free solvable P-algebra has been viewed as a module over a ring with several objects. The Magnus embedding theorem associated with the Fox-derivative in a free group ring has been considered to prove properties associated with the partial (Fox) derivative in a free associative ring. Residual nilpotency and triviality of the center of a free metabelian P-algebra has been proved. Various properties of a homomorphism associated with a free metabelian P-algebra of finite rank have been studied. The non-embedding property of a free solvable P-algebra of degree k of higher rank in a lower rank has also been presented here.     

Small tight sets of hyperbolic quadrics

An x-tight set of a hyperbolic quadric Q ⁺(2n + 1, q) can be described as a set M of points with the property that the number of points of M in the tangent hyperplanes of points of M is as big as possible. We show that such a set is necessarily the union of x mutually disjoint generators provided that x ≤ q and n ≤ 3, or that x < q, n ≥ 4 and q ≥ 71. This unifies and generalizes many results on x-tight sets that are presently known, see (J Comb Theory Ser A 114(7):1293–1314 [1], J Comb Des 16(4):342–349 [5], Des Codes Cryptogr 50:187–201 [4], Adv Geom 4(3):279–286 [8], Bull Lond Math Soc 42(6):991–996 [11]).     

The Surface Group Conjecture: Cyclically Pinched and Conjugacy Pinched One-Relator Groups

The general surface group conjecture asks whether a one-relator group where every subgroup of finite index is again one-relator and every subgroup of infinite index is free (property IF) is a surface group. We resolve several related conjectures given in Fine et al. (Sci Math A 1:1–15, 2008). First we obtain the Surface Group Conjecture B for cyclically pinched and conjugacy pinched one-relator groups. That is: if G is a cyclically pinched one-relator group or conjugacy pinched one-relator group satisfying property IF then G is free, a surface group or a solvable Baumslag–Solitar Group. Further combining results in Fine et al. (Sci Math A 1:1–15, 2008) on Property IF with a theorem of Wilton (Geom Topol, 2012) and results of Stallings (Ann Math 2(88):312–334, 1968) and Kharlampovich and Myasnikov (Trans Am Math Soc 350(2):571–613, 1998) we show that Surface Group Conjecture C proposed in Fine et al. (Sci Math A 1:1–15, 2008) is true, namely: If G is a finitely generated nonfree freely indecomposable fully residually free group with property IF, then G is a surface group.     

Hilbert C*-Modules over Monotone Complete C*-Algebras

The aim of the present paper is to describe self-duality and C*-reflexivity of Hilbert A-modules ?? over monotone complete C*-algebras A by the completeness of the unit ball of ?? with respect to two types of convergence being defined, and by a structural criterion. The derived results generalize earlier results ofH. Widom [Duke Math. J. 23, 309-324, MR 17 # 1228] and W. L. Paschke [Trans. Amer. Mat. Soc. 182 , 443-468, MR 50 # 8087, Canadian J. Math. 26, 1272-1280, MR 57 # 10433]. For Hilbert C*-modules over commutative AW*-algebras the equivalence of the self-duality property and of the Kaplansky-Hilbert property is reproved, (cf. M. Ozawa [J. Math. Soc. Japan 36, 589-609, MR 85 # 46068]). Especially, one derives that for a C*-algebra A the A-valued inner product of every Hilbert A-module ?? can be continued to an A-valued inner product on it's A-dual Banach A-module ??' turning ??' to a self-dual Hilbert A-module if and only if A is monotone complete (or, equivalently, additively complete) generalizing a result of M. Hamana [Internat. J. Math. 3 (1992), 185 - 204]. A classification of countably generated self-dual Hilbert A-modules over monotone complete C*-algebras A is established. The set of all bounded module operators End ′(??) on self-dual Hilbert A-modules ?? over monotone complete C*-algebras A is proved again to be a monotone complete C*-algebra. Applying these results a Weyl-Berg type theorem is proved.     

On the dimension of global attractors for porous media equations

We provide a short proof on the infinite dimensionality of global attractors for a class of porous media equations. The proof is mainly based on the Z₂ index theory and proper use of energy functions and is completely different from the approaches in the existing literatures (M. Efendiev and S. Zelik, Finite and infinite dimensional attractors for porous media equations, Proc. London Math. Soc. 2008, 96:51–77; M. Efendiev, Infinite dimensional attractors for porous medium equations in heterogeneous medium, Math. Meth. Appl. Sci. 2012, DOI: 10.1002/mma.2619). Copyright © 2013 John Wiley & Sons, Ltd.     

Automorphisms of Free Left Nilpotent Leibniz Algebras and Fixed Points

ABSTRACT

Let F _m (N) be the free left nilpotent (of class two) Leibniz algebra of finite rank m, with m ≥ 2. We show that F _m (N) has non-tame automorphisms and, for m ≥ 3, the automorphism group of F _m (N) is generated by the tame automorphisms and one more non-tame IA-automorphism. Let F(N) be the free left nilpotent Leibniz algebra of rank greater than 1 and let G be an arbitrary non-trivial finite subgroup of the automorphism group of F(N). We prove that the fixed point subalgebra F(N) ^G is not finitely generated.     

Nonfinitely Based Varieties of Right Alternative Metabelian Algebras

Since 1976, it is known from the paper by V. P. Belkin that the variety RA₂ of right alternative metabelian (solvable of index 2) algebras over an arbitrary field is not Spechtian (contains nonfinitely based subvarieties). In 2005, S. V. Pchelintsev proved that the variety generated by the Grassmann RA₂-algebra of finite rank r over a field ?, for char(?) ≠ 2, is Spechtian iff r = 1. We construct a nonfinitely based variety 𝔐 generated by the Grassmann 𝒱-algebra of rank 2 of certain finitely based subvariety 𝒱 ? RA₂ over a field ?, for char(?) ≠ 2, 3, such that 𝔐 can also be generated by the Grassmann envelope of a five-dimensional superalgebra with one-dimensional even part.     

Group C-Rings and Weak Group Algebra Galois Coextensions

Abstract

We use the classification of finite order automorphisms by Kac to characterize all maximal subalgebras, regular, semisimple, reductive or not of a simple complex Lie algebra (up to conjugacy) that we can determine from its Dynkin diagram. Using Barnea et al. [Barnea, Y., Shalev, A., Zelmanov, E. I. (1998). Graded subalgebras of affine Kac–Moody algebras. Israel J. Math. 104:321–334] we extend our results to the case of affine Kac–Moody algebras. We also point out some inaccuracies in the Dynkin paper [Dynkin, E. B. (1957a). Semisimple subalgebras of semisimple Lie algebras. Amer. Math. Soc. Transl t. 6:111–244].     

Computing test rank for a free solvable group

It is proved that test rank of a free solvable non-Abelian group of finite rank is 1 less than the rank of that group. This gives the answer to Question 14.88 posed in the Kourovka Notebook by Fine and Shpilrain, asking whether or not a free solvable group of rank 2 and solvability index n ≥ 3 has test elements. Supported by RFBR grant No. 05-01-00292. __________ Translated from Algebra i Logika, Vol. 45, No. 4, pp. 447–457, July–August, 2006.     

Rings of Continuous Functions on Spaces of Finite Rank and the SV Property

Let X be a compact topological space and let C(X) denote the f-ring of all continuous real-valued functions defined on X. A point x in X is said to have rank n if, in C(X), there are n minimal prime ?-ideals contained in the maximal ?-ideal M _x  = {f ? C(X):f(x) = 0}. The space X has finite rank if there is an n ? N such that every point x ? X has rank at most n. We call X an SV space (for survaluation space) if C(X)/P is a valuation domain for each minimal prime ideal P of C(X). Every compact SV space has finite rank. For a bounded continuous function h defined on a cozeroset U of X, we say there is an h-rift at the point z if h cannot be extended continuously to U ∪ {z}. We use sets of points with h-rift to investigate spaces of finite rank and SV spaces. We show that the set of points with h-rift is a subset of the set of points of rank greater than 1 and that whether or not a compact space of finite rank is SV depends on a characteristic of the closure of the set of points with h-rift for each such h. If X has finite rank and the set of points with h-rift is an F-space for each h, then X is an SV space. Moreover, if every x ? X has rank at most 2, then X is an SV space if and only if for each h, the set of points with h-rift is an F-space.     

On Groups in Which Normality Is a Transitive Relation

A subgroup H of a group G is said to be weakly normal if H ^g  = H whenever g is an element of G such that H ^g  ≤ N _G (H). There is a strictly relation between weak normality and groups in which normality is a transitive relation ( T-groups). In [Ballester-Bolinches, A., Esteban-Romero, R. (2003). On finite T-groups. J. Aust. Math. Soc. 75:181–191] it is proved that a finite group G is a soluble T-group if and only if every subgroup of G is weakly normal. In this article, we extend the above result to infinite groups having no infinite simple sections. Moreover, it will be shown that every locally graded non-periodic group, all of whose subgroups are weakly normal, is abelian.     

The Birman–Murakami–Wenzl Algebras of Type D n

The Birman–Murakami–Wenzl algebra (BMW algebra) of type D _n is shown to be semisimple and free of rank (2 ⁿ  + 1)n!! ? (2 ^n?1 + 1)n! over a specified commutative ring R, where n!! =1·3…(2n ? 1). We also show it is a cellular algebra over suitable ring extensions of R. The Brauer algebra of type D _n is the image of an R-equivariant homomorphism and is also semisimple and free of the same rank, but over the ring ?[δ^±1]. A rewrite system for the Brauer algebra is used in bounding the rank of the BMW algebra above. As a consequence of our results, the generalized Temperley–Lieb algebra of type D _n is a subalgebra of the BMW algebra of the same type.