Intrinsic normalizations of a nonholonomic hypersurface with <Emphasis Type="Italic">m</Emphasis>-dimensional generators in affine space <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

We consider some intrinsic normalizations of a nonholonomic hypersurface with m-dimensional generators in the n-dimensional affine spaced. Published in Lietuvos Matematikos Rinkinys, Vol. 47, No. 3, pp. 532–562, October–December, 2007.     

Composite Integers n for Which φ（n）｜n- 1

In this note, we show that the number of composite integers n ≤ x such that φ（n）｜n - 1 is at most O（x^1/2（loglog x）^1/2）, thus improving earlier results by Pomerance and by Shan.     

Gröbner-Shirshov bases for the lie algebra <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

We estimate Gröbner-Shirshov bases for the Lie algebra A_n given arbitrary orders of generators (nodes of a Dynkin graph). Previously, the Gröbner-Shirshov basis was computed in [1] for the particular case where nodes of the Dynkin graph are ordered successively.Supported by RFBR grant Nos. 05-01-00230 and 02-01-00258 and by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-2069.2003.1.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 131–147, March–April, 2005.     

Localization of <Emphasis Type="Italic">LM</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-algebras

The aim of this paper is to define the localization LM _n -algebra of an LM _n —algebra L with respect to a topology F on L; in Section 5 we prove that the maximal LM _n -algebra of fractions (defined in [3]) and the LM _n -algebra of fractions relative to an Λ—closed system (defined in Section 2) are LM _n -algebras of localization.     

The flatness properties of <Emphasis Type="Italic">S</Emphasis>-poset <Emphasis Type="Italic">A</Emphasis>(<Emphasis Type="Italic">I</Emphasis>) and Rees factor <Emphasis Type="Italic">S</Emphasis>-posets

Let S be a pomonoid and I a proper right ideal of S. In a previous paper, using the amalgamated coproduct A(I) of two copies of _S S over I, we were able to solve one of the problems posed in S. Bulman-Fleming et al. (Commun. Algebra 34:1291–1317, 2006). In the present paper, we investigate further flatness properties of A(I). We also solve another problem stated in the paper cited above. Namely, we determine the condition under which Rees factor S-posets have property (P _w ). Research supported by nwnu-kjcxgc-03-18.     

<Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> theory,L.S. category,and strong category

Relations between category and strong category are studied. The notion of a homotopy coalgebra of order r over the Ganea comonad is introduced. It is shown that cat(X) =Cat(X) holds if a finite 1-connected complex X carries such a structure with r sufficiently large.     

Lacunary Strong (<Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">σ</Emphasis></Subscript><Emphasis Type="Italic">, p</Emphasis>)-Convergence

The definition of lacunary strongly convergence is extended to the definition of lacunary strong (A _σ , p)-convergence with respect to invariant mean when A is an infinite matrix and p = (p _i ) is a strictly positive sequence. We study some properties and inclusion relations.     

The <Emphasis Type="Italic">p</Emphasis>-rank of Ext<Subscript>ℤ</Subscript>(<Emphasis Type="Italic">G</Emphasis>, ℤ) in certain models of <Emphasis Type="Italic">ZFC</Emphasis>

We prove that if the existence of a supercompact cardinal is consistent with ZFC, then it is consistent with ZFC that the p-rank of Ext _ℤ(G, ℤ) is as large as possible for every prime p and for any torsion-free Abelian group G. Moreover, given an uncountable strong limit cardinal μ of countable cofinality and a partition of Π (the set of primes) into two disjoint subsets Π₀ and Π₁, we show that in some model which is very close to ZFC, there is an almost free Abelian group G of size 2^μ = μ⁺ such that the p-rank of Ext _ℤ(G, ℤ) equals 2^μ = μ⁺ for every p ∈ Π₀ and 0 otherwise, that is, for p ∈ Π₁. Number 874 in Shelah’s list of publications. Supported by the German-Israeli Foundation for Scientific Research & Development project No. I-706-54.6/2001. Supported by a grant from the German Research Foundation DFG. __________ Translated from Algebra i Logika, Vol. 46, No. 3, pp. 369–397, May–June, 2007.     

SOME NEW PROPERTIES ON L^p（Ω, H^n）

Let L^p（Ω, H^n） indicate the L^P-space of the maps for Heisenberg group target. In this paper some new properties are obtained for the space L^p（Ω, H^n）     

<Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-nearest neighbor estimators of entropy

For estimating the entropy of an absolutely continuous multivariate distribution, we propose nonparametric estimators based on the Euclidean distances between the n sample points and their k _n -nearest neighbors, where {k _n : n = 1, 2, …} is a sequence of positive integers varying with n. The proposed estimators are shown to be asymptotically unbiased and consistent.      

Young diagrams without hooks of length 4 and characters of the group <Emphasis Type="Italic">S</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

All finite Young diagrams not containing hooks of length 4 are found. Self-associated diagrams possessing this property are subdivided into three series. Sets of all hook lengths are determined for diagrams contained in each series. The research conducted has proven necessary for the study of certain pairs of irreducible characters of symmetric and alternating groups.     

Sturmian morphisms,the braid group <Emphasis Type="Italic">B</Emphasis><Subscript>4</Subscript>, Christoffel words and bases of <Emphasis Type="Italic">F</Emphasis><Subscript>2</Subscript>

We give a presentation by generators and relations of a certain monoid generating a subgroup of index two in the group Aut(F ₂) of automorphisms of the rank two free group F ₂ and show that it can be realized as a monoid in the group B ₄ of braids on four strings. In the second part we use Christoffel words to construct an explicit basis of F ₂ lifting any given basis of the free abelian group Z ². We further give an algorithm allowing to decide whether two elements of F ₂ form a basis or not. We also show that, under suitable conditions, a basis has a unique conjugate consisting of two palindromes. Mathematics Subject Classification (2000) 05E99, 20E05, 20F28, 20F36, 20M05, 37B10, 68R15     

On deformations of <Emphasis Type="Italic">F</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> in compact Lie groups

We study some properties of the varieties of deformations of free groups in compact Lie groups. In particular, we prove a conjecture of Margulis and Soifer about the density of non-virtually free points in such variety, and a conjecture of Goldman on the ergodicity of the action of Aut(F _n ) on such variety when n ≥ 3. The author was partially supported by NSF grant DMS-0404557, BSF grant 2004010, and the ‘Finite Structures’ Marie Curie Host Fellowship, carried out at the Alfréd Rényi Institute of Mathematics in Budapest.     

The Fine Spectra of the Difference Operator △ Over the Sequence Space bvp, （1 ≤ p 〈 ∞）^＊

The sequence space bvp consisting of all sequences （xk） such that （xk -xk-1） belongs to the space gp has recently been introduced by Basar and Altay [Ukrainian Math. J., 55（1）, 136-147（2003）]; where 1 ≤ p ≤ ∞. In the present paper, some results concerning with the continuous dual and f-dual, and the AD-property of the sequence space bvp have been given and the norm of the difference operator A acting on the sequence space bvp has been found. The fine spectrum with respect to the Goldberg＇s classification of the difference operator △ over the sequence space bvp has been determined, where 1≤p〈∞.     

Recognizability of finite simple groups <Emphasis Type="Italic">L</Emphasis><Subscript>4</Subscript>(2<Superscript>m</Superscript>) and <Emphasis Type="Italic">U</Emphasis><Subscript>4</Subscript>(2<Superscript>m</Superscript>) by spectrum

It is proved that finite simple groups L₄(2^m), m ⩾ 2, and U₄(2^m), m ⩾ 2, are, up to isomorphism, recognized by spectra, i.e., sets of their element orders, in the class of finite groups. As a consequence the question on recognizability by spectrum is settled for all finite simple groups without elements of order 8. Supported by RFBR (grant Nos. 05-01-00797 and 06-01-39001), by SB RAS (Complex Integration project No. 1.2), and by the Ministry of Education of China (Project for Retaining Foreign Expert). Supported by NSF of Chongqing (CSTC: 2005BB8096). __________ Translated from Algebra i Logika, Vol. 47, No. 1, pp. 83–93, January–February, 2008.     

Sums of the squares of terms of sequence {<Emphasis Type="Italic">u</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>}

In this paper, we consider generalized Fibonacci type second order linear recurrence {u _n }. We derive a generating matrix for both the sums of squares, ∑ _i=0 ⁿ u _i ² and the products of the form u _n u _n+2. We also derive explicit formulas for the sums and products by using matrix methods. Then we give a matrix method to generate the sums of product of two consecutive terms u _n u _n+1 as well as the product, u _n u _n+2. Further we give generating functions and combinatorial representations of the sums of squares of terms of {u _n } and the product, u _n u _n+2.     

Equivalence classes in the Weyl groups of type <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

We consider two families of equivalence classes in the Weyl groups of type B _n which are suggested by the study of left cells in unequal parameter Iwahori-Hecke algebras. Both families are indexed by a non-negative integer r. It has been shown that the first family coincides with left cells corresponding to the equal parameter Iwahori-Hecke algebra when r=0; the equivalence classes in the second family agree with left cells corresponding to a special class of choices of unequal parameters when r is sufficiently large. Our main result shows that the two families of equivalence classes coincide, suggesting the structure of left cells for remaining choices of the Iwahori-Hecke algebra parameters.