Periodic groups saturated by finite simple groups <Emphasis Type="Italic">U</Emphasis><Subscript>3</Subscript>(2<Superscript>m</Superscript>)

Let {ie166-01} be a set of finite groups. A group G is said to be saturated by the groups in {ie166-02} if every finite subgroup of G is contained in a subgroup isomorphic to a member of {ie166-03}. It is proved that a periodic group G saturated by groups in a set {U₃(2^m) | m = 1, 2, …} is isomorphic to U₃(Q) for some locally finite field Q of characteristic 2; in particular, G is locally finite. __________ Translated from Algebra i Logika, Vol. 47, No. 3, pp. 288–306, May–June, 2008.     

Periodic groups saturated with <Emphasis Type="Italic">L</Emphasis><Subscript>3</Subscript>(2<Superscript>m</Superscript>)

Let be a set of finite groups. A group G is saturated with groups from if every finite subgroup of G is contained in a subgroup isomorphic to some member of . It is proved that a periodic group G saturated with groups from the set {L₃(2^m)|m = 1, 2, …} is isomorphic to L₃(Q), for a locally finite field Q of characteristic 2; in particular, it is locally finite. __________ Translated from Algebra i Logika, Vol. 46, No. 5, pp. 606–626, September–October, 2007.     

Quasirecognition by prime graph of the simple group <Superscript>2</Superscript><Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

Let G be a finite group. The main result of this paper is as follows: If G is a finite group, such that Γ(G) = Γ(²G₂(q)), where q = 3²ⁿ⁺¹ for some n ≥ 1, then G has a (unique) nonabelian composition factor isomorphic to ² G ₂(q). We infer that if G is a finite group satisfying |G| = |² G ₂(q)| and Γ(G) = Γ (² G ₂(q)) then G ? = ² G ₂(q). This enables us to give new proofs for some theorems; e.g., a conjecture of W. Shi and J. Bi. Some applications of this result are also considered to the problem of recognition by element orders of finite groups.     

On the abelianizations of congruence subgroups of Aut(<Emphasis Type="Italic">F</Emphasis><Subscript>2</Subscript>)

Let F _n be the free group of rank n, and let Aut⁺(F _n ) be its special automorphism group. For an epimorphism π : F _n → G of the free group F _n onto a finite group G we call the standard congruence subgroup of Aut⁺(F _n ) associated to G and π. In the case n = 2 we fully describe the abelianization of Γ⁺(G, π) for finite abelian groups G. Moreover, we show that if G is a finite non-perfect group, then Γ⁺(G, π) ≤ Aut⁺(F ₂) has infinite abelianization.     

Quasirecognition by prime graph of the simple group <Superscript>2</Superscript><Emphasis Type="Italic">F</Emphasis><Subscript>4</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

As the main result, we show that if G is a finite group such that Γ(G) = Γ(² F ₄(q)), where q = 2^2m+1 for some m ≧ 1, then G has a unique nonabelian composition factor isomorphic to ² F ₄(q). We also show that if G is a finite group satisfying |G| =|² F ₄(q)| and Γ(G) = Γ(² F ₄(q)), then G ≅ ² F ₄(q). As a consequence of our result we give a new proof for a conjecture of W. Shi and J. Bi for ² F ₄(q). The third author was supported in part by a grant from IPM (No. 87200022).     

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.     

Periodic Groups Saturated with the Groups <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

Given an indexing set I and a finite field K_α for each α ∈ I, let ? = {L₂(K_α) | α ∈ I} and \(\mathfrak{N} = \{ SL_2 (K_\alpha )|\alpha \in I\}\). We prove that each periodic group G saturated with groups in \(\Re (\mathfrak{N})\) is isomorphic to L₂(P) (respectively SL₂(P)) for a suitable locally finite field P.     

Characterizing projective general unitary groups PGU<Subscript>3</Subscript>(<Emphasis Type="Italic">q</Emphasis><Superscript>2</Superscript>) by their complex group algebras

Let G be a finite group. Let X ₁(G) be the first column of the ordinary character table of G. We will show that if X ₁(G) = X1(PGU₃(q ²)), then G ? PGU₃(q ²). As a consequence, we show that the projective general unitary groups PGU₃(q ²) are uniquely determined by the structure of their complex group algebras.     

Intersections of Primary Subgroups in Nonsoluble Finite Groups Isomorphic to <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(2<Superscript><Emphasis Type="Italic">m</Emphasis></Superscript>)

Given a finite group G with socle isomorphic to L _n (2 ^m ), we describe (up to conjugacy) all ordered pairs of primary subgroups A and B in G such that A ∩ B ^g ≠ 1 for all g ∈ g.     

On <Emphasis Type="Italic">c</Emphasis><Superscript>#</Superscript>-normal subgroups infinite groups

A subgroup H of a finite group G is called a c^#-normal subgroup of G if there exists a normal subgroup K of G such that G = HK and H ∩ K is a CAP-subgroup of G: In this paper, we investigate the influence of fewer c^#-normal subgroups of Sylow p-subgroups on the p-supersolvability, p-nilpotency, and supersolvability of finite groups. We obtain some new sufficient and necessary conditions for a group to be p-supersolvable, p-nilpotent, and supersolvable. Our results improve and extend many known results.     

The classification of <Emphasis Type="Italic">p</Emphasis>-local finite groups over the extraspecial group of order <Emphasis Type="Italic">p</Emphasis><Superscript>3</Superscript> and exponent <Emphasis Type="Italic">p</Emphasis>

In this paper we classify the p-local finite groups over p¹⁺²₊, the extraspecial group of order p³ and exponent p for odd p. This study reduces to the classification of the saturated fusion systems over p¹⁺²₊, which will be characterized by the outer automorphism group, the number of -radical subgroups and the automorphism group of each nontrivial -radical subgroup. As part of this classification, we obtain three new exotic 7-local finite groups.Partially supported by MCYT grant BFM2001-2035.Partially supported by MCYT grant BFM2001-1825.Both authors have been supported by the EU grant nr HPRN-CT-1999-00119.in final form: 1 October 2003     

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     

A necessary condition for non-abelian finite <Emphasis Type="Italic">p</Emphasis>-groups with second centre of order <Emphasis Type="Italic">p</Emphasis><Superscript>2</Superscript>

Let G be a non-abelian finite p-group such that |Z ₂(G)| = p ². In this paper we prove that each maximal subgroup M ≠ C _G (Z ₂(G)) is non-abelian and has cyclic centre.     

Bar-invariant bases of the quantum cluster algebra of type <Emphasis Type="Italic">A</Emphasis><Stack><Subscript>2</Subscript><Superscript>(2)</Superscript></Stack>

We construct bar-invariant ℤ[q ^±1/2]-bases of the quantum cluster algebra of the valued quiver A ₂⁽²⁾, one of which coincides with the quantum analogue of the basis of the corresponding cluster algebra discussed in P. Sherman, A. Zelevinsky: Positivity and canonical bases in rank 2 cluster algebras of finite and affine types, Moscow Math. J., 4, 2004, 947–974.     

Commensurations of Out(F<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>)

Let Out(F _n ) denote the outer automorphism group of the free group F _n with n>3. We prove that for any finite index subgroup Γ<Out(F _n ), the group Aut(Γ) is isomorphic to the normalizer of Γ in Out(F _n ). We prove that Γ is co-Hopfian: every injective homomorphism Γ→Γ is surjective. Finally, we prove that the abstract commensurator Comm(Out(F _n )) is isomorphic to Out(F _n ).     

Simply connected symplectic 4-manifolds with <Emphasis Type="Italic">b</Emphasis><Subscript>2</Subscript><Superscript>+</Superscript>=1 and <Emphasis Type="Italic">c</Emphasis><Subscript>1</Subscript><Superscript>2</Superscript>=2

In this article we construct a new simply connected symplectic 4-manifold with b₂⁺=1 and c₁²=2 which is homeomorphic, but not diffeomorphic, to a rational surface by using rational blow-down technique. As a corollary, we conclude that a rational surface admits an exotic smooth structure. Mathematics Subject Classification (2000) 53D05, 14J26, 57R55, 57R57     

On <Emphasis Type="Italic">F</Emphasis><Subscript><Emphasis Type="Italic">h</Emphasis></Subscript>-supplemented subgroups of finite groups

Suppose that F is a formation of finite groups. We introduce the concept of F _h -supplemented subgroups and investigate the structure of finite groups on assuming that some maximal subgroups of Sylow subgroups, maximal subgroups, minimal subgroups, and 2-maximal subgroup are F _h -supplemented, respectively. Some available results are generalized.     

A Semifield Plane of Odd Order Admitting an Autotopism Subgroup Isomorphic to <Emphasis Type="Italic">A</Emphasis><Subscript>5</Subscript>

We develop an approach to constructing and classifying semifield projective planes with the use of a spread set. The famous conjecture is discussed on the solvability of the full collineation group of a finite semifield nondesarguesian plane. We construct a matrix representation of a spread set of a semifield plane of odd order admitting an autotopism subgroup isomorphic to the alternating group A₅ and find a series of semifield planes of odd order not admitting A₅.