On some 2-adic properties of a recurrence involving stirling numbers

We analyze some 2-adic properties of the sequence defined by the recurrence Z(1) = 1; Z(n) = Σ _k=1 ⁿ⁻¹ S(n, k)Z(k), n ≥ 2, which counts the number of ultradissimilarity relations, i.e., ultrametrics on an n-set. We prove the 2-adic growth property ν ₂(Z(n)) ≥ ⌈log₂ n⌉ −1 and present conjectures on the exact values.     

On existentially closed and generic nilpotent groups

Letn≧2 be an integer. We prove the following results that are known in casen=2: The upper and the lower central series of an existentially closed nilpotent group of classn coincide. A finitely generic nilpotent group of classn is periodic and the center of a finitely generic torsion-free nilpotent group of classn is isomorphic toQ ⁺, whereas infinitely generic nilpotent groups do not enjoy these properties. We determine the structure of the torsion subgroup of existentially closed nilpotent groups of class 2. Finally we give an algebraic proof that there exist 2^κ non-isomorphic existentially closed nilpotent groups of classn in cardinalityK ≧N ₀. Some results of this paper were contained in [6].     

On scattered Eberlein compact spaces

We prove that scattered Eberlein compacta of Cantor-Bendixson height at most ω + 1 are Uniform Eberlein compact spaces (ω + 1 is optimal for this result). For a set X and n ∈ ω, by σ _n (2^X) we denote the subspace of the product 2^X consisting of all characteristic functions of sets of cardinality ≥ n. We give an example of an Eberlein compactum K of weight ω _ω and of Cantor-Bendixson height 3 which cannot be embedded into any σ _n (2^X). Research of the first author supported by NSERC of Canada. Murray Bell died on December 9, 2001. Research of the second author supported by KBN grants 2 P03A 011 15 and 2 P03A 004 23. The main part of this research was done while the second author was visiting the University of Manitoba in 2000. He expresses his gratitude to the Department of Mathematics of U.M. for its hospitality.     

Recognition of the Projective Special Linear Group over GF（3）

Let P be a finite group and denote by w（P） the set of its element orders. P is called k-recognizable by the set of its element orders if for any finte group G with ω（G） =ω（P） there are, up to isomorphism, k finite groups G such that G ≌P. In this paper we will prove that the group Lp（3）, where p 〉 3 is a prime number, is at most 2-recognizable.     

Elementary abelian operator groups

Letp be a prime,n a positive integer. Suppose thatG is a finite solvablep'-group acted on by an elementary abelianp-groupA. We prove that ifC _G (ϕ) is of nilpotent length at mostn for every nontrivial element ϕ ofA and |A|≥p ⁿ⁺¹ thenG is of nilpotent length at mostn+1.     

A characteristic property of spheres

Summary We prove: Let S be a closed n-dimensional surface in an(n+1)-space of constant curvature (n ≥ 2); k₁ ≥ ... ≥ k_n denote its principle curvatures. Let φ(ξ₁, ..., ξ_n) be such that . Then if φ(k₁, ..., k_n)=const on S and S is subject to some additional general conditions (those(II ₀) or(II) n^o 1), S is a sphere. To Enrico Bompiani on his scientific Jubilee     

Quelques théorèmes sur la structure complexe

We prove the following result: If the function Max (log|ω -f ₁(z)|, ..., log|ω -f _k(z)|) is plurisubharmonic in the open setD×ℂ (D open of ℂ ⁿ ), thenf ₁,...,f _k are analytic functions iff ₁,...,f _k are continuous functions onD(k≥2). We prove also some other results.     

The equator map and the negative exponential functional

We define a negative exponential harmonic map from the ballB ⁿ of ℝ_n into the sphereS ⁿ of ℝ ⁿ⁺¹ . We prove that the equator map is a negative exponential harmonic map, but not stable for the negative exponential functional whenn≥2. Moreover, we consider maps from a ballB ⁿ into the unit sphereS ^m of ℝ_m+1 wherem≥2, and prove that no nonconstant, non surjective map can reach either the minimum or the maximum of the negative exponential functional.     

On the Bruck-Slaby theorem for commutative Moufang loops

With the help of the relationship between commutative Moufang loops and alternative commutative algebras, we prove, rather easily, the following weakened version of the Bruck-Slaby theorem: a finitely generated commutative Moufang loop is centrally nilpotent. Translated fromMatematicheskie Zametki, Vol. 66, No. 2, pp. 275–281, August, 1999.     

Amenability constants for semilattice algebras

For any finite commutative idempotent semigroup S, a semilattice, we show how to compute the amenability constant of its semigroup algebra ℓ ¹(S). This amenability constant is always of the form 4n+1. We then show that these give lower bounds to amenability constants of certain Banach algebras graded over semilattices. We also give example of a commutative Clifford semigroups G _n whose semigroup algebras ℓ ¹(G _n ) admit amenability constants of the form 41+4(n−1)/n. We also show there is no commutative semigroup whose semigroup algebra has an amenability constant between 5 and 9. N. Spronk’s research was supported by NSERC Grant 312515-05.     

On the Representation of Compact Nilpotent Rings by Triangular Matrices

We prove that every compact nilpotent ring R of characteristic p > 0 can be embedded in a ring of upper triangular matrices over a compact commutative ring. Furthermore, we prove that every compact topologically nilpotent ring R of characteristic p > 0, is embedded in a ring of infinite triangular matrices over \mathbbF_p^w(R)\mathbb{F}_{p}^{w(R)}.     

Isomorphism classes and automorphism groups of algebras of Weyl type

In one of our recent papers, the associative and the Lie algebras of Weyl typeA[D]=A⊗F[D] were defined and studied, whereA is a commutative associative algebra with an identity element over a field F of any characteristic, and F[D] is the polynomial algebra of a commutative derivation subalgebraD ofA. In the present paper, a class of the above associative and Lie algebrasA[D] with F being a field of characteristic 0,D consisting of locally finite but not locally nilpotent derivations ofA, are studied. The isomorphism classes and automorphism groups of these associative and Lie algebras are determined     

Characterizations of finite groups by sets of orders of their elements

For a finite group G, ω(G) denotes the set of orders of its elements. If ω is a subset of the set of natural numbers, h(ω) stands for the number of pairwise nonisomorphic finite groups G for which ω(G)=ɛ. We prove that h(ω(G))=1, if G is isomorphic to S₉, S₁₁, S₁₂, S₁₃, or A₁₂, and h(ω(G))=2 if G is isomorphic to S₂(6) or to O ₈ ⁺ (2). 01 Supported by RFFR grant No. 96-01-01893. Translated fromAlgebra i Logika, Vol. 36, No. 1, pp. 37–53, January–February, 1997.     

Vive la différence III

We show that, consistently, there is an ultrafilter on ω such that if N _n^ℓ = (P _n^ℓ ∪ Q _n^ℓ, P _n^ℓ, Q _n^ℓ, R _n^ℓ) (for ℓ = 1, 2, n < ω), P _n^ℓ ∪ Q _n^ℓ ⊆ ω, and are models of the canonical theory t ^ind of the strong independence property, then every isomorphism from onto is a product isomorphism. The first version of this work done in 93; First typed: May 1993. This research was partially supported by the United States-Israel Binational Science Foundation. Publication 509     

Noetherian Skew Inverse Power Series Rings

We study skew inverse power series extensions R[[y ^− 1; τ, δ]], where R is a noetherian ring equipped with an automorphism τ and a τ-derivation δ. We find that these extensions share many of the well known features of commutative power series rings. As an application of our analysis, we see that the iterated skew inverse power series rings corresponding to nth Weyl algebras are complete, local, noetherian, Auslander regular domains whose right Krull dimension, global dimension, and classical Krull dimension are all equal to 2n.     

Two-Dimensional Graphs Moving by Mean Curvature Flow

A surface Σ is a graph in ?⁴ if there is a unit constant 2-form ω on ?⁴ such that <e ₁∧e ₂, ω≥v ₀>0 where {e ₁, e ₂} is an orthonormal frame on Σ. We prove that, if $ \vartheta _{0} \geqslant \frac{1} {{{\sqrt 2 }}} A surface Σ is a graph in ℝ⁴ if there is a unit constant 2-form ω on ℝ⁴ such that <e ₁∧e ₂, ω>≥v ₀>0 where {e ₁, e ₂} is an orthonormal frame on Σ. We prove that, if v ₀≥ on the initial surface, then the mean curvature flow has a global solution and the scaled surfaces converge to a self-similar solution. A surface Σ is a graph in M ₁×M ₂ where M ₁ and M ₂ are Riemann surfaces, if <e ₁∧e ₂, ω₁>≥v ₀>0 where ω₁ is a K?hler form on M ₁. We prove that, if M is a K?hler-Einstein surface with scalar curvature R, v ₀≥ on the initial surface, then the mean curvature flow has a global solution and it sub-converges to a minimal surface, if, in addition, R≥0 it converges to a totally geodesic surface which is holomorphic. Received July 25, 2001, Accepted October 11, 2001     

Estimates on binomial sums of partition functions

Let p(n) denote the partition function and define where p(0)= 1. We prove that p(n,k) is unimodal and satisfies for fixed n≥ 1 and all 1≤k≤n. This result has an interesting application: the minimal dimension of a faithful module for a k-step nilpotent Lie algebra of dimension n is bounded by p(n,k) and hence by , independently of k. So far only the bound n ^{n −1} was known. We will also prove that for n≥ 1 and . Received: 17 December 1999     

Nilpotent n-Lie Algebras

We find examples of nilpotent n-Lie algebras and prove n-Lie analogs of classical group theory and Lie algebra results. As an example we show that a nilpotent ideal I of class c in a n-Lie algebra A with A/I ² nilpotent of class d is nilpotent and find a bound on the class of A. We also find that some classical group theory and Lie algebra results do not hold in n-Lie algebras. In particular, non-nilpotent n-Lie algebras can admit a regular automorphism of order p, and the sum of nilpotent ideals need not be nilpotent.