On B(5, 18) Groups

A group G is said to be a B(n, k) group if for any n-element subset A of G, |A²| ≤k. In this paper, a characterization of B(5, 18) groups is given. It is shown that G is a B(5, 18) group if and only if one of the following statements holds: (1) G is abelian; (2) |G| ≤18; (3) G ? ? a, b | a⁵ = b⁴ = 1, a^b = a^?1 ?.     

Degree Graphs of Simple Linear and Unitary Groups

Let G be a finite group and let cd (G) be the set of irreducible character degrees of G. The degree graph Δ(G) is the graph whose set of vertices is the set of primes that divide degrees in cd (G), with an edge between p and q if pq divides a for some degree a ? cd (G). We determine the graph Δ(G) for the finite simple groups of types A _?(q) and ² A _? (q ²), that is, for the simple linear and unitary groups.     

Improving Thompson's Conjecture for Suzuki Groups

Let G be a finite group and cs(G) be the set of conjugacy class sizes of G. In 1987, J. G. Thompson conjectured that, if G is a finite group with Z(G) = 1 and M is a nonabelian simple group satisfying that cs(G) = cs(M), then G ? M. This conjecture has been proved for Suzuki groups in [5 Guiyun, C. (1996). On Thompson's conjecture. J. Algebra 185(1):184–193.[Crossref], [Web of Science ®] , [Google Scholar]]. In this article, we improve this result by proving that, if G is a finite group such that cs(G) = cs(Sz(q)), for q = 2^2m+1, then G ? Sz(q) × A, where A is abelian. We avoid using classification of finite simple groups in our proofs.     

On the Validity of Thompson's Conjecture for Finite Simple Groups

In this article, we prove a conjecture of J. G. Thompson for the finite simple group ² D _n (q). More precisely, we show that every finite group G with the property Z(G) = 1 and N(G) = N(² D _n (q)) is necessarily isomorphic to ² D _n (q). Note that N(G) is the set of lengths of conjugacy classes of G.     

Local Near-Rings and Triply Factorized Groups

Abstract

Groups G of the form G = AB = AM = BM for two subgroups A and B of G and a normal subgroup M of G with A ∩ M = B ∩ M = 1 are called triply factorized and play an important rôle in the theory of factorized groups. In this paper, a method to construct triply factorized groups with non-abelian M using local near-rings is introduced.     

On Finite Groups with Few Automorphism Orbits

Denote by ω(G) the number of orbits of the action of Aut(G) on the finite group G. We prove that if G is a finite nonsolvable group in which ω(G) ≤5, then G is isomorphic to one of the groups A₅, A₆, PSL(2, 7), or PSL(2, 8). We also consider the case when ω(G) = 6 and show that, if G is a nonsolvable finite group with ω(G) = 6, then either G ≈ PSL(3, 4) or there exists a characteristic elementary abelian 2-subgroup N of G such that G/N ≈ A₅.     

On Galois Algebras Satisfying the Fundamental Theorem

Let B be a Galois algebra over a commutative ring R with Galois group G such that B ^H is a separable subalgebra of B for each subgroup H of G. Then it is shown that B satisfies the fundamental theorem if and only if B is one of the following three types: (1) B is an indecomposable commutative Galois algebra, (2) B = Re ⊕ R(1 ? e) where e and 1 ? e are minimal central idempotents in B, and (3) B is an indecomposable Galois algebra such that for each separable subalgebra A, V _B (A) = ?∑ _g∈G(A) J _g , and the centers of A and B ^G(A) are the same where V _B (A) is the commutator subring of A in B, J _g  = {b ∈ B | bx = g(x)b for each x ∈ B} for a g ∈ G, and G(A) = {g ∈ G | g(a) = a for all a ∈ A}.     

The Primitive Sharp Permutation Groups of Twisted Wreath Type

A permutation group G ≤ Sym(X) on a finite set X is sharp if |G|=∏ _l?L(G)(|X| ? l), where L(G) = {|fix(g)| | 1 ≠ g ? G}. We show that no finite primitive permutation groups of twisted wreath type are sharp.     

The Second Cohomology of Simple SL 3-Modules

Let G be the simple, simply connected algebraic group SL ₃ defined over an algebraically closed field K of characteristic p > 0. In this article, we find H ²(G, V) for any irreducible G-module V. When p > 7, we also find H ²(G(q), V) for any irreducible G(q)-module V for the finite Chevalley groups G(q) = SL(3, q) where q is a power of p.     

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).     

A characterization of PGL(2,q),q ODD

LetG be a finite group andA andB solvable subgroups ofG, such thatG=AB and 2 is the only common prime divisor ofA andB. Under suitable restrictions of the 2-structure ofA andB, it is shown that eitherG is solvable orG contains a solvable normal subgroupN, such thatG/N contains a normal subgroup, which is isomorphic to PGL(2,q),q odd.     

Krull Dimension and Deviation in Certain Parafree Groups

Hanna Neumann asked whether it was possible for two non-isomorphic residually nilpotent finitely generated (fg) groups, one of them free, to share the lower central sequence. Baumslag answered the question in the affirmative and thus gave rise to parafree groups. A group G is termed parafree of rank n if it is residually nilpotent and shares the same lower central sequence with a free group of rank n. The deviation of a fg parafree group G of rank n is the difference μ(G) ? n, where μ(G) is the minimum possible number of generators of G.

Let G be fg; then Hom(G, SL ₂?) inherits the structure of an algebraic variety, denoted by R(G). If G is an n generated parafree group, then the deviation of G is 0 iff Dim(R(G)) = 3n. It is known that for n ≥ 2 there exist infinitely many parafree groups of rank n and deviation 1 with non-isomorphic representation varieties of dimension 3n. In this paper it is shown that given integers n ≥ 2 and k ≥ 1, there exists infinitely many parafree groups of rank n and deviation k with non-isomorphic representation varieties of dimension different from 3n; in particular, there exist infinitely many parafree groups G of rank n with Dim(R(G)) > q, where q ≥ 3n is an arbitrary integer.     

Some Results on p-Nilpotence and Supersolvability of Finite Groups

Let G be a finite group. A subgroup K of a group G is called an ?-subgroup of G if N _G (K) ∩ K ^x  ≦ K for all x ? G. The set of all ?-subgroups of G will be denoted by ?(G). Let P be a nontrivial p-group. A chain of subgroups 1 = P ₀ ? P ₁ ? ··· ? P _n  = P is called a maximal chain of P provided that |P _i : P _i?1| = p, i = 1, 2, ···, n. A nontrivial p-subgroup P of G is called weakly supersolvably embedded in G if P has a maximal chain 1 = P ₀ ? P ₁ ? ··· ? P _i  ? ··· ? P _n  = P such that P _i  ? ?(G) for i = 1, 2, ···, n. Using the concept of weakly supersolvably embedded, we obtain new characterizations of p-nilpotent and supersolvable finite groups.     

Finite Groups Whose Minimal Subgroups are c-Supplemented

Let G be a finite group. A subgroup H of a group G is said to be c-supplemented in G if there exists a subgroup K of G such that G = HK and H ∩ K ≤ H _G , where H _G  = Core _G (H) is the largest normal subgroup of G contained in H. In this article, we investigate the structure of a finite group G under the assumption that subgroups of prime order are c-supplemented in G. Moreover, we analyze the structure of a group G when the minimal subgroups of the generalized Fitting subgroup F?(G) of G are c-supplemented in G through the theory of formations.     

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).     

Conjugacy Classes in Sylow p-Subgroups of Finite Chevalley Groups in Bad Characteristic

Let U = U(q) be a Sylow p-subgroup of a finite Chevalley group G = G(q). Röhrle and Goodwin in 2009 determined a parameterization of the conjugacy classes of U, for G of small rank when q is a power of a good prime for G. As a consequence they verified that the number k(U) of conjugacy classes of U is given by a polynomial in q with integer coefficients. In the present paper, we consider the case when p is a bad prime for G. Our motivation is to observe how the situation differs between good and bad characteristics. We obtain a parameterization of the conjugacy classes of U, when G has rank less than or equal to 4, and G is not of type F ₄. In these cases we deduce that k(U) is given by a polynomial in q with integer coefficients; this polynomial is different from the polynomial for good primes.     

On Finite n-Acentralizer Groups

Let G be a group and Aut(G) be the group of automorphisms of G. Then the Acentralizer of an automorphism α ∈Aut(G) in G is defined as C _G (α) = {g ∈ G∣α(g) = g}. For a finite group G, let Acent(G) = {C _G (α)∣α ∈Aut(G)}. Then for any natural number n, we say that G is n-Acentralizer group if |Acent(G)| =n. We show that for any natural number n, there exists a finite n-Acentralizer group and determine the structure of finite n-Acentralizer groups for n ≤ 5.     

On Solvability of Finite Groups with Few Non-Normal Subgroups

For a finite group G, let v(G) denote the number of conjugacy classes of non-normal subgroups of G and vc(G) denote the number of conjugacy classes of non-normal noncyclic subgroups of G. In this paper, we show that every finite group G satisfying v(G) ≤2|π(G)| or vc(G) ≤ |π(G)| is solvable, and for a finite nonsolvable group G, v(G) = 2|π(G)| +1 if and only if G ? A ₅.     

Verifying Huppert's Conjecture for PSL3(q) and PSU3(q 2)

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. We examine arguments to verify this conjecture for the simple groups of Lie type of rank two. To illustrate our arguments, we extend Huppert's results and verify the conjecture for the simple linear and unitary groups of rank two.