Normal Cayley graphs of finite groups

LetG be a finite group and let S be a nonempty subset of G not containing the identity element 1. The Cayley (di) graph X = Cay(G, S) of G with respect to S is defined byV (X)=G, E (X)={(g,sg)|g∈G, s∈S} A Cayley (di) graph X = Cay (G,S) is said to be normal ifR(G) ◃A = Aut (X). A group G is said to have a normal Cayley (di) graph if G has a subset S such that the Cayley (di) graph X = Cay (G, S) is normal. It is proved that every finite group G has a normal Cayley graph unlessG≅ℤ₄×ℤ₂ orG≅Q ₈×ℤ ₂ ^r (r⩾0) and that every finite group has a normal Cayley digraph, where Z_m is the cyclic group of orderm and Q₈ is the quaternion group of order 8. Project supported by the National Natural Science Foundation of China (Grant No. 10231060) and the Doctorial Program Foundation of Institutions of Higher Education of China.     

Groups with an element permuting with finitely many of its conjugates

We study the problem as to which is the cardinality of connected components of the graph Γ_α, defined as follows. Let G be a group and a an element of G. The vertex set V(Γ_α) of the graph is the conjugacy class of elements,Cl _G(a), and two vertices x and y of the graph Γ_α are bridged by an edge iff x=y. If the intersectionC _G(a)∩Cl _G(a) is finite, Γ_α is locally finite. We prove that connected components of the locally finite graph Γ_α are finite in some classes of groups. Supported by RFFR grant No. 94-01-01084. Translated fromAlgebra i Logika, Vol. 35, No. 5, pp. 543–551, September–October, 1996.     

On r-recognition by prime graph of Bp(3) where p is an odd prime

Let G be a finite group. The prime graph Γ(G) of G is defined as follows. The vertices of Γ(G) are the primes dividing the order of G and two distinct vertices p and p′ are joined by an edge if there is an element in G of order pp′. We denote by k(Γ(G)) the number of isomorphism classes of finite groups H satisfying Γ(G) = Γ(H). Given a natural number r, a finite group G is called r-recognizable by prime graph if k(Γ(G)) =  r. In Shen et al. (Sib. Math. J. 51(2):244–254, 2010), it is proved that if p is an odd prime, then B _p (3) is recognizable by element orders. In this paper as the main result, we show that if G is a finite group such that Γ(G) = Γ(B _p (3)), where p > 3 is an odd prime, then G @ B_p(3){G\cong B_p(3)} or C _p (3). Also if Γ(G) = Γ(B ₃(3)), then G @ B₃(3), C₃(3), D₄(3){G\cong B_3(3), C_3(3), D_4(3)}, or G/O₂(G) @ Aut(²B₂(8)){G/O_2(G)\cong {\rm Aut}(^2B_2(8))}. As a corollary, the main result of the above paper is obtained.     

Characterization of $ {\mathbb{A}_{16}} $ by a noncommuting graph

Let G be a finite non-Abelian group. We define a graph Γ _G ; called the noncommuting graph of G; with a vertex set G − Z(G) such that two vertices x and y are adjacent if and only if xy ≠ yx: Abdollahi, Akbari, and Maimani put forward the following conjecture (the AAM conjecture): If S is a finite non-Abelian simple group and G is a group such that Γ _S ≅ Γ _G ; then S ≅ G: It is still unknown if this conjecture holds for all simple finite groups with connected prime graph except \mathbbA₁₀ {\mathbb{A}_{10}} , L ₄(8), L ₄(4), and U ₄(4). In this paper, we prove that if \mathbbA₁₆ {\mathbb{A}_{16}} denotes the alternating group of degree 16; then, for any finite group G; the graph isomorphism G_\mathbbA16 @ G_G {\Gamma_{{\mathbb{A}_{16}}}} \cong {\Gamma_G} implies that \mathbbA₁₆ @ G {\mathbb{A}_{16}} \cong G .     

Generalized Frobenius groups

A pair (G. K) in whichG is a finite group andK◃G, 1<K<G, is said to satisfy (F2) if |C _G (x)|=|C _G/K (xK)| for allx∈G/K. First we survey all the examples known to us of such pairs in whichG is neither ap-group nor a Frobenius group with Frobenius kernelK. Then we show that under certain restrictions there are, essentially, all the possible examples.     

Verifying Huppert’s Conjecture for <Superscript>2</Superscript><Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">q</Emphasis><Superscript>2</Superscript>)

Let G be a finite group and cd(G) be the set of irreducible character degrees of G. Bertram Huppert conjectured that if H is a finite nonabelian simple group such that cd(G) = cd(H), then G ≅ H×A, where A is an abelian group. In this paper, we verify the conjecture for the twisted Ree groups ² G ₂(q ²) for q ² = 3^2m + 1, m ≥ 1. The argument involves verifying five steps outlined by Huppert in his arguments establishing his conjecture for many of the nonabelian simple groups.     

The algebra ofG-relations

In this paper, we study a tower {A _n ^G: n} ≥ 1 of finite-dimensional algebras; here, G represents an arbitrary finite group,d denotes a complex parameter, and the algebraA _n ^G(d) has a basis indexed by ‘G-stable equivalence relations’ on a set whereG acts freely and has 2n orbits. We show that the algebraA _n ^G(d) is semi-simple for all but a finite set of values ofd, and determine the representation theory (or, equivalently, the decomposition into simple summands) of this algebra in the ‘generic case’. Finally we determine the Bratteli diagram of the tower {A _n ^G(d): n} ≥ 1 (in the generic case).     

Solution of the twisting problem for skew group algebras

LetK be any field of characteristicp>0 and letG be a finite group acting onK via a map τ. The skew group algebraK _τG may be nonsemisimple (precisely whenP|(H), H=Kert). In [1] necessary conditions were given for the existence of a class α∈H ²(G,K^*) which “twists” the skew group algebraK _τG into a semisimple crossed productK _τ ^αG . The “twisting problem” asks whether these conditions are sufficient. In [1] we showed that this is indeed so in many cases. In this paper we prove it in general. During the period of this research the second author was an Associate at the Center for Advanced Study, Urbana, Illinois.     

Groups with an almost regular involution

An involution j of a group G is said to be almost perfect in G if any two involutions in j^G whose product has infinite order are conjugated by a suitable involution in j^G. Let G contain an almost perfect involution j and |C_G(j)| < ∞. Then the following statements hold: (1) [j,G] is contained in an FC-radical of G, and |G: [j,G]| ⩽ |C_G(j)|; (2) the commutant of an FC-radical of G is finite; (3) FC(G) contains a normal nilpotent class 2 subgroup of finite index in G. __________ Translated from Algebra i Logika, Vol. 46, No. 3, pp. 360–368, May–June, 2007.     

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.     

Unique ergodicity of flows on homogeneous spaces

LetG be a unimodular Lie group, Γ a co-compact discrete subgroup ofG and ‘a’ a semisimple element ofG. LetT _a be the mapgΓ →ag Γ:G/Γ →G/Γ. The following statements are pairwise equivalent: (1) (T _a, G/Γ,θ) is weak-mixing. (2) (T _a, G/Γ) is topologically weak-mixing. (3) (G ^u, G/Γ) is uniquely ergodic. (4) (G ^u, G/Γ,θ) is ergodic. (5) (G ^u, G/Γ) is point transitive. (6) (G ^u, G/Γ) is minimal. If in additionG is semisimple with finite center and no compact factors, then the statement “(T _a, G/Γ,θ) is ergodic” may be added to the above list. The authors were partially supported by NSF grant MCS 75-05250.     

Irreducible Algebraic Sets in Metabelian Groups

We present the construction for a u-product G₁ ○ G₂ of two u-groups G₁ and G₂, and prove that G₁ ○ G₂ is also a u-group and that every u-group, which contains G₁ and G₂ as subgroups and is generated by these, is a homomorphic image of G₁ ○ G₂. It is stated that if G is a u-group then the coordinate group of an affine space Gⁿ is equal to G ○ F_n, where F_n is a free metabelian group of rank n. Irreducible algebraic sets in G are treated for the case where G is a free metabelian group or wreath product of two free Abelian groups of finite ranks. __________ Translated from Algebra i Logika, Vol. 44, No. 5, pp. 601–621, September–October, 2005. Supported by RFBR grant No. 05-01-00292, by FP “Universities of Russia” grant No. 04.01.053, and by RF Ministry of Education grant No. E00-1.0-12.     

Quasirecognition by prime graph of F4(q) where q?=?2n?>?2

The prime graph of a finite group G is denoted by Γ(G). In this paper as the main result, we show that if G is a finite group such that Γ(G) = Γ(F ₄(q)), where q = 2 ⁿ  > 2, 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)), where q = 2 ⁿ  > 2, then G @ F₄(q){G \cong F_4(q)}. As a consequence of our result we give a new proof for a conjecture of Shi and Bi for F ₄(q) where q = 2 ⁿ  > 2.     

Reality properties of conjugacy classes in<Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript>

LetG be an algebraic group over a fieldk. We callg εG(k) real ifg is conjugate tog ⁻¹ inG(k). In this paper we study reality for groups of typeG ₂ over fields of characteristic different from 2. LetG be such a group overk. We discuss reality for both semisimple and unipotent elements. We show that a semisimple element inG(k) is real if and only if it is a product of two involutions inG(k). Every unipotent element inG(k) is a product of two involutions inG(k). We discuss reality forG ₂ over special fields and construct examples to show that reality fails for semisimple elements inG ₂ over ℚ and ℚ_p. We show that semisimple elements are real forG ₂ overk withcd(k) ≤ 1. We conclude with examples of nonreal elements inG ₂ overk finite, with characteristick not 2 or 3, which are not semisimple or unipotent.     

Lower bounds for the number of conjugacy classes in finite solvable groups

We prove first that if G is a finite solvable group of derived length d ≥ 2, then k(G) > |G|^1/(2^d−1), where k(G) is the number of conjugacy classes in G. Next, a growth assumption on the sequence [G⁽ⁱ⁾: G⁽ⁱ⁺¹⁾] ₁ ^d−1 , where G⁽ⁱ⁾ is theith derived group, leads to a |G|^1/(2d−1) lower bound for k(G), from which we derive a |G|^c/log ₂log₂|G| lower bound, independent of d(G). Finally, “almost logarithmic” lower bounds are found for solvable groups with a nilpotent maximal subgroup, and for all Frobenius groups, solvable or not.     

On finite groups whose every proper normal subgroup is a union of a given number of conjugacy classes

Let G be a finite group andA be a normal subgroup ofG. We denote by ncc(A) the number ofG-conjugacy classes ofA andA is calledn-decomposable, if ncc(A)= n. SetK _G = {ncc(A)|A ⊲ G}. LetX be a non-empty subset of positive integers. A groupG is calledX-decomposable, ifK _G =X. Ashrafi and his co-authors [1-5] have characterized theX-decomposable non-perfect finite groups forX = {1, n} andn ≤ 10. In this paper, we continue this problem and investigate the structure ofX-decomposable non-perfect finite groups, forX = {1, 2, 3}. We prove that such a group is isomorphic to Z₆, D₈, Q₈, S₄, SmallGroup(20, 3), SmallGroup(24, 3), where SmallGroup(m, n) denotes the mth group of ordern in the small group library of GAP [11].     

Balleans of topological groups

A subset S of a topological group G is called bounded if, for every neighborhood U of the identity of G, there exists a finite subset F such that S ⊆ FU, S ⊆ UF. The family of all bounded subsets of G determines two structures on G, namely the left and right balleans B _l (G) and B _r (G), which are counterparts of the left and right uniformities of G. We study the relationships between the uniform and ballean structures on G, describe all topological groups admitting a metric compatible both with uniform and ballean structures, and construct a group analogue of Higson’s compactification of a proper metric space.     

On ℑ<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-normal subgroups of finite groups

Given a class ℑ of finite groups, a subgroup H of a group G is called ℑ _n -normal in G if there exists a normal subgroup T of G such that HT is a normal subgroup of G and (H ∩ T)H _G /H _G is contained in the ℑ-hypercenter Z _∞^ℑ (G/H _G ) of G/H _G . We obtain some results about the ℑ _n -normal subgroups and use them to study the structure of some groups.     

On a maximal torus in subgroups of a general linear group

Let k be a field, K/k a finite extension of it of degree n. We denote G=Aut(kK), G_o=Aut(k K) and fix in K a basis ω₁,...,ω_n over k. In this basis, to any automorphism group of kK there corresponds a matrix group, which is denoted by the same symbol. Let G′≤G., In this paper, the conditions under which G′⊎G_o is a maximal torus in G′ are studied. The calculation of N_G′(G′⊎G_o) is carried out, provided that thee conditions are fulfilled. The case G′=SL (kK) is of particular interset. It is known that for Galois extensions and for extensions of algebraic number fields, G′⊎G_o is a maximal torus in G′. Bibligraphy: 2 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 227, 1995. pp. 15–22.     

Contractions of infrainvariant systems of subgroups

We create a method which allows an arbitrary group G with an infrainvariant system ℒ(G) of subgroups to be embedded in a group G* with an infrainvariant system ℒ(G*) of subgroups, so that G _α^* ∩G ∈ ℒ(G) for every subgroup G _α^* ∩G ∈ ℒ(G*) and each factor B/A of a jump of subgroups in ℒ(G*) is isomorphic to a factor of a jump in ℒ(G), or to any specified group H. Using this method, we state new results on right-ordered groups. In particular, it is proved that every Conrad right-ordered group is embedded with preservation of order in a Conrad right-ordered group of Hahn type (i.e., a right-ordered group whose factors of jumps of convex subgroups are order isomorphic to the additive group ℝ); every right-ordered Smirnov group is embedded in a right-ordered Smirnov group of Hahn type; a new proof is given for the Holland–McCleary theorem on embedding every linearly ordered group in a linearly ordered group of Hahn type.