Universally equivalent solvable groups

Every group that is finitely presented in the varietyA ⁿ of solvable groups. and is universally equivalent to a free group F_r(A ⁿ) in this variety, is embedded in the Cartesian degree of F₂(A ⁿ). All subgroups on a set of two generators in that Cartesian degree which are universally equivalent to F₂(A ⁿ) are determined. Free solvable and nilpotent groups are proved universally equivalent. Supported by RFFR grant No. 99-01-00567, and through the RP “Universities of Russia. Fundamental Research.” Translated fromAlgebra i Logika, Vol. 39, No. 2, pp. 227–240, March–April, 2000.     

A constructive approach to Noether's problem

A general method is developed to attack Noether's Problem constructively by trying to find minimal bases consisting of rational invariants which are quotients of polynomials of small degrees. This approach turns out to be successful for many small groups and for most of the classical groups with their natural representations. The applications include affirmative answers to Noether's Problem for the conformal symplectic groups CSp _2n (q), for the simple subgroups Ω _n (q) of the orthogonal groups forn andq odd, for some other subgroups of orthogonal groups and for the special unitary groups SU _n (q ²). The author was supported by the Graduate College “Modelling and Scientific Computing in Mathematics and Science” during this work     

Restrictions of Irreducible Representations of Classical Algebraic Groups to Root A 1-Subgroups

Abstract

Restrictions of irreducible representations of classical algebraic groups to root A ₁-subgroups, i.e., subgroups of type A ₁ generated by root subgroups associated with two opposite roots, are studied. Composition factors of such restrictions are found in the following cases: for groups of types A _n with n > 2 and D _n , for groups of type B _n , n > 2, and long root subgroups, for groups of type C _n , n > 2, and short root subgroups, and for p-restricted representations of A ₂(K), C ₂(K) (recall that B ₂(K) ? C ₂(K)), and of B _n (K), n > 2, and short root subgroups. Here we assume that p > 2 for G = B _n (K) or C _n (K).     

Analysis on discrete cocompact subgroups of the generic filiform Lie groups

Summary Let F_n, n≧ 1, denote the sequence of generic filiform (connected, simply connected) Lie groups. Here we study, for each F_n, the infinite dimensional simple quotients of the group C*-algebra of (the most obvious) one of its discrete cocompact subgroups D_n. For D_n, the most attractive concrete faithful representations are given in terms of Anzai flows, in analogy with the representations of the discrete Heisenberg group H₃ ⊆G₃ on L²(T) that result from the irrational rotation flows on T; the representations of D_n generate infinite-dimensional simple quotients A_n,θ of the group C*-algebra C*(D_n). For n>1, there are other infinite-dimensional simple quotients of C*(D_n) arising from non-faithful representations of D_n. Flows for these are determined, and they are also characterized and represented as matrix algebras over simple affine Furstenberg transformation group C*-algebras of the lower dimensional tori.     

Approximate Subgroups of Linear Groups

We establish various results on the structure of approximate subgroups in linear groups such as SL _n (k) that were previously announced by the authors. For example, generalising a result of Helfgott (who handled the cases n = 2 and 3), we show that any approximate subgroup of SL_n(\mathbb F_q){{\rm SL}_{n}({\mathbb {F}}_{q})} which generates the group must be either very small or else nearly all of SL_n(\mathbb F_q){{\rm SL}_{n}({\mathbb {F}}_{q})}. The argument generalises to other absolutely almost simple connected (and non-commutative) algebraic groups G over an arbitrary field k and yields a classification of approximate subgroups of G(k). In a subsequent paper, we will give applications of this result to the expansion properties of Cayley graphs.     

Gelfand–Kirillov Dimension for Automorphism Groups of Relatively Free Algebras

Using ideas of our recent work on automorphisms of residually nilpotent relatively free groups, we introduce a new growth function for subgroups of the automorphism groups of relatively free algebras Fⁿ(V) over a field of characteristic zero and the related notion of Gelfand-Kirillov dimension, and study their behavior. We prove that, under some natural restrictions, the Gelfand-Kirillov dimension of the group of tame automorphisms of Fⁿ(V) is equal to the Gelfand-Kirillov dimension of the algebra Fⁿ(V). We show that, in some cases, the Gelfand-Kirillov dimension of the group of tame automorphisms of Fⁿ(V) is smaller than the Gelfand-Kirillov dimension of the whole automorphism group, and calculate the Gelfand-Kirillov dimension of the automorphism group of Fⁿ(V) for some important varieties V.Partially supported by Grant MM605/96 of the Bulgarian Foundation for Scientific Research.2000 Mathematics Subject Classification: primary 16R10, 16P90; secondary 16W20, 17B01, 17B30, 17B40     

Purity and Self-Small Groups

Let A be an abelian group. A group B is A-solvable if the natural map Hom(A, B) ?  _E(A) A → B is an isomorphism. We study pure subgroups of A-solvable groups for a self-small group A of finite torsion-free rank. Particular attention is given to the case that A is in , the class of self-small mixed groups G with G/tG? ? ⁿ for some n < ω. We obtain a new characterization of the elements of , and demonstrate that  differs in various ways from the class  ? of torsion-free abelian groups of finite rank despite the fact that the quasi-category ?  is dual to a full subcategory of ?  ?.     

Zeta functions related to the group SL2(ℤ p )

An explicit formula is given for the number of subgroups of indexp ⁿ in the principle congruence subgroups of SL₂(ℤ _p ) (for odd primesp), and for the zeta function associated with the group. Asymptotically this number iscnp ⁿ , wherec is a constant depending on the congruence subgroup. Also, the zeta function of thei-th congruence subgroup coincides with the partial zeta function of the 3-generated subgroups of thei+1-th congruence subgroup, and for each indexp ⁿ the ratio between 2-generated subgroups and 3-generated subgroups tends top - 1:1, asn tends to infinity. This work is part of the author’s Ph.D. thesis carried out at the Hebrew University of Jerusalem under the supervision of Prof. A. Lubotzky. I wish to thank Prof. Lubotzky for his continual interest and encouragement without which this paper would not have been published.     

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 semi-fredholm properties of a boundary value problem inR + n

The paper considers a boundary value problem with the help of the smallest closed extensionL ^∼ :H _k →H _{k 0}×B _{h 1}×...×B _{h N} of a linear operatorL :C ₍₀₎ ^∞ (R ₊ ⁿ ) →L(R ₊ ⁿ )×L(R ⁿ⁻¹)×...×L(R ⁿ⁻¹). Here the spacesH _k (the spaces ℬ _h ) are appropriate subspaces ofD′(R ₊ ⁿ ) (ofD′(R ⁿ⁻¹), resp.),L(R ₊ ⁿ ) andC ₍₀₎ ^∞ (R ₊ ⁿ )) denotes the linear space of smooth functionsR ⁿ →C, which are restrictions onR ₊ ⁿ of a function from the Schwartz classL (fromC ₀ ^∞ , resp.),L(R ⁿ⁻¹) is the Schwartz class of functionsR ⁿ⁻¹ →C andL is constructed by pseudo-differential operators. Criteria for the closedness of the rangeR(L ^∼) and for the uniqueness of solutionsL ^∼ U=F are expressed. In addition, ana priori estimate for the corresponding boundary value problem is established.     

A graphical approach to computing Selmer groups of congruent number curves

Let E _n:y ²=x ³−n ² x denote the family of congruent number elliptic curves. Feng and Xiong (2004) equate the nontriviality of the Selmer groups associated with E _n to the presence of certain types of partitions of graphs associated with the prime factorization of n. In this paper, we extend the ideas of Feng and Xiong in order to compute the Selmer groups of E _n. 2000 Mathematics Subject Classification Primary—11G05; Secondary—14H52, 14H25, 05C90     

Morava K-Theories of p-Groups with Cyclic Maximal Subgroups and Other Related Groups

Let P be a non-Abelian finite p-group, p odd, with cyclic maximal subgroups, and let K(n)^*(–) denote the nth Morava K-theory at p. In this paper we determine the algebras K(n)^*(BP) and K(n)^*(BG) for all groups G with Sylow p-subgroups isomorphic to P, giving further evidence for the fact that Morava K-theory as an invariant of finite groups, is finer than ordinary modp cohomology. Mathematics Subject Classifications (2000): 55N20, 55N22.     

The decidability of some classes of Stone algebras

Iterating the triple construction applied consecutively to n Boolean algebras, we introduce two finitely axiomatizable subclasses SAⁱ_n{{\bf SA}^{\rm i}_n} and SA^s_n{{\bf SA}^{\rm s}_n} of the class SA _n of all Stone algebras of degree n with all the structure homomorphisms in their P-product representation injective or surjective, respectively. Then the class of all Post algebras of degree n is definitionally equivalent to the intersection SAⁱ_n ?SA^s_n{{\bf SA}^{\rm i}_{n} \cap {\bf SA}^{\rm s}_{n}}. We show that for each n ≥ 2 the class SAⁱ_n{{\bf SA}^{\rm i}_n} is hereditarily undecidable while SA^s_n{{\bf SA}^{\rm s}_{n}} is decidable. As a consequence we obtain several (un)decidability results for various axiomatic classes of Stone algebras: among them the decidability of the class of all Stone algebras of degree n which are dually pseudocomplemented and form a dual Stone algebra under the operation of dual pseudocomplement, and undecidability of the class of all Stone algebras with Boolean dense set. On the other hand, the class of all finite members in SA _n is decidable.     

On semidefinite linear complementarity problems

Given a linear transformation L:? ⁿ →? ⁿ and a matrix Q∈? ⁿ , where ? ⁿ is the space of all symmetric real n×n matrices, we consider the semidefinite linear complementarity problem SDLCP(L,? ⁿ ₊,Q) over the cone ? ⁿ ₊ of symmetric n×n positive semidefinite matrices. For such problems, we introduce the P-property and its variants, Q- and GUS-properties. For a matrix A∈R ^n×n , we consider the linear transformation L _A :? ⁿ →? ⁿ defined by L _A (X):=AX+XA ^T and show that the P- and Q-properties for L _A are equivalent to A being positive stable, i.e., real parts of eigenvalues of A are positive. As a special case of this equivalence, we deduce a theorem of Lyapunov. Received: March 1999 / Accepted: November 1999?Published online April 20, 2000     

On Influence of Contranormal Subgroups on the Structure of Infinite Groups

Following Rose, a subgroup H of a group G is called contranormal, if G = H ^G . In certain sense, contranormal subgroups are antipodes to subnormal subgroups. It is well known that a finite group is nilpotent if and only if it has no proper contranormal subgroups. However, for the infinite groups this criterion is not valid. There are examples of non-nilpotent infinite groups whose subgroups are subnormal; in paricular, these groups have no contranormal subgroups. Nevertheless, for some classes of infinite groups, the absence of contranormal subgroups implies the nilpotency of the group. The current article is devoted to the search of such classes. Some new criteria of nilpotency in certain classes of infinite groups have been established.     

Finite p-Groups in Which the Number of Subgroups of Possible Order is Less Than or Equal to $p^3 $

In this paper, groups of order pn in which the number of subgroups of possible order is less than or equal to p3 are classified. It turns out that if p 2, n ≥ 5, then the classification of groups of order pn in which the number of subgroups of possible order is less than or equal to p3 and the classification of groups of order pn with a cyclic subgroup of index p2 are the same.     

Minimal Blocking Sets in PG(n, 2) and Covering Groups by Subgroups

In this article we prove that a set of points B of PG(n, 2) is a minimal blocking set if and only if ?B? = PG(d, 2) with d odd and B is a set of d + 2 points of PG(d, 2) no d + 1 of them in the same hyperplane. As a corollary to the latter result we show that if G is a finite 2-group and n is a positive integer, then G admits a ? _n+1-cover if and only if n is even and G? (C ₂) ⁿ , where by a ? _m -cover for a group H we mean a set 𝒞 of size m of maximal subgroups of H whose set-theoretic union is the whole H and no proper subset of 𝒞 has the latter property and the intersection of the maximal subgroups is core-free. Also for all n < 10 we find all pairs (m,p) (m > 0 an integer and p a prime number) for which there is a blocking set B of size n in PG(m,p) such that ?B? = PG(m,p).     

Permutation groups,simple groups,and sieve methods

We show that the number of integersn≤x which occur as indices of subgroups of nonabelian finite simple groups, excluding that ofA _n−1 inA _n , is ∼hx/logx, for some given constanth. This might be regarded as a noncommutative analogue of the Prime Number Theorem (which counts indicesn≤x of subgroups of abelian simple groups). We conclude that for most positive integersn, the only quasiprimitive permutation groups of degreen areS _n andA _n in their natural action. This extends a similar result for primitive permutation groups obtained by Cameron, Neumann and Teague in 1982. Our proof combines group-theoretic and number-theoretic methods. In particular, we use the classification of finite simple groups, and we also apply sieve methods to estimate the size of some interesting sets of primes. Research partially supported by the Australian Research Council for C.E.P. and by the Bi-National Science Foundation United States-Israel Grant 2000-053 for A.S.