On the Loewy length of the center of a block with elementary abelian defect groups

Let G be a finite group and k an algebraically closed field of characteristic p. In this paper we investigate the Loewy structure of centers of indecomposable group algebras kG, for groups G with a normal elementary abelian Sylow p-subgroup. Furthermore, we show a reduction result for the case that a normal abelian Sylow p-subgroup is acted upon by a subgroup of its automorphism group; this is fundamental in providing generic formulae for the Loewy lengths considered.     

Commuting Graphs of Group Algebras

The commuting graph of a ring R, denoted by Γ(R), is a graph of all whose vertices are noncentral elements of R, and 2 distinct vertices x and y are adjacent if and only if xy = yx. In this article we investigate some graph-theoretic properties of Γ(kG), where G is a finite group, k is a field, and 0 ≠ |G| ∈k. Among other results it is shown that if G is a finite nonabelian group and k is an algebraically closed field, then Γ(kG) is not connected if and only if |G| = 6 or 8. For an arbitrary field k, we prove that Γ(kG) is connected if G is a nonabelian finite simple group or G′ ≠ G″ and G″ ≠ 1.     

Nilpotent Length of a Finite Solvable Group with a Frobenius Group of Automorphisms

We prove that a finite solvable group G admitting a Frobenius group FH of automorphisms of coprime order with kernel F and complement H such that [G, F] = G and C _{C G (F)}(h) = 1 for all nonidentity elements h ∈ H, is of nilpotent length equal to the nilpotent length of the subgroup of fixed points of H.     

An Equivalence of Categories for Lie Color Algebras

Abstract

Let k be a field with char k = p > 0 and G an abelian group with a bicharacter λ on G. For each p-(G,λ)-Lie color algebra L over k the p-universal enveloping algebra u(L) is a G-graded Hopf algebra,i.e.,a Hopf algebra in the category ^kG ? of kG-comodules. In this paper we describe a subcategory of ^kG ? which is equivalent to the category of the finite dimensional p-(G,λ)-Lie color algebras over k.     

Endomorphism algebras of transitive permutation modules for p-groups

Let G be a finite p-group with subgroup H and k a field of characteristic p. We study the endomorphism algebra E = End_kG(k_H ↑^G), showing that it is a split extension of a nilpotent ideal by the group algebra kN_G(H)/H. We identify the space of endomorphisms that factor through a projective kG-module and hence the endomorphism ring of k_H ↑^G in the stable module category, and determine the Loewy structure of E when G has nilpotency class 2 and [G, H] is cyclic. Received: 3 November 2008     

Fitting Height of a Finite Group with a Metabelian Group of Automorphisms

Let M = FH be a finite group that is a product of a normal abelian subgroup F and an abelian subgroup H. Assume that all elements in M?F have prime order p, and F has at most one subgroup of order p. Examples of such groups are dihedral groups for p = 2 and the semidirect product of a cyclic group F by a group H of prime order p such that C _F (H) = 1 or |C _F (H)| =p and C _{F/C F (H)}(H) = 1. Suppose that M acts on a finite group G in such a manner that C _G (F) = 1. We prove that the Fitting height h(G) of G is at most h(C _G (H))+ 1. Moreover, the Fitting series of C _G (H) coincides with the intersection of C _G (H) with the Fitting series of G.     

Noncyclic Graph of a Group

We associate a graph Γ _G to a nonlocally cyclic group G (called the noncyclic graph of G) as follows: take G\ Cyc(G) as vertex set, where Cyc(G) = {x ? G| 〈x, y〉 is cyclic for all y ? G}, and join two vertices if they do not generate a cyclic subgroup. We study the properties of this graph and we establish some graph theoretical properties (such as regularity) of this graph in terms of the group ones. We prove that the clique number of Γ _G is finite if and only if Γ _G has no infinite clique. We prove that if G is a finite nilpotent group and H is a group with Γ _G  ? Γ _H and |Cyc(G)| = |Cyc(H)| = 1, then H is a finite nilpotent group. We give some examples of groups G whose noncyclic graphs are “unique”, i.e., if Γ _G  ? Γ _H for some group H, then G ? H. In view of these examples, we conjecture that every finite nonabelian simple group has a unique noncyclic graph. Also we give some examples of finite noncyclic groups G with the property that if Γ _G  ? Γ _H for some group H, then |G| = |H|. These suggest the question whether the latter property holds for all finite noncyclic groups.     

Abelian Group Gradings on Full Matrix Rings

For positive integers ? and n, several authors studied ?_?-gradings of the full matrix ring M _n (k) over a field k. In this article, we show that every (G × H)-grading of M _n (k) can be constructed by a pair of compatible G-grading and H-grading of M _n (k), where G and H are any finite groups. When G and H are finite cyclic groups, we characterize all (G × H)-gradings which are isomorphic to a good grading. Moreover, the results can be generalized for any finite abelian group grading of M _n (k).     

OD-Characterization of Some Projective Special Linear Groups Over the Binary Field and Their Automorphism Groups

The Gruenberg–Kegel graph GK(G) = (V _G , E _G ) of a finite group G is a simple graph with vertex set V _G  = π(G), the set of all primes dividing the order of G, and such that two distinct vertices p and q are joined by an edge, {p, q} ∈ E _G , if G contains an element of order pq. The degree deg _G (p) of a vertex p ∈ V _G is the number of edges incident to p. In the case when π(G) = {p ₁, p ₂,…, p _h } with p ₁ < p ₂ < … <p _h , we consider the h-tuple D(G) = (deg _G (p ₁), deg _G (p ₂),…, deg _G (p _h )), which is called the degree pattern of G. The group G is called k-fold OD-characterizable if there exist exactly k non-isomorphic groups H satisfying condition (|H|, D(H)) = (|G|, D(G)). Especially, a 1-fold OD-characterizable group is simply called OD-characterizable. In this paper, we prove that the simple groups L ₁₀(2) and L ₁₁(2) are OD-characterizable. It is also shown that automorphism groups Aut(L _p (2)) and Aut(L _p+1(2)), where 2 ^p  ? 1 is a Mersenne prime, are OD-characterizable. Finally, a list of finite (simple) groups which are presently known to be k-fold OD-characterizable, for certain values of k, is presented.     

Nonsoluble length of finite groups with restrictions on Sylow subgroups

By 𝔛(n) we denote the variety of all groups satisfying the law [x,y]ⁿ≡1, that is, groups with commutators of order dividing n. Let p be a prime and G a finite group whose Sylow p-subgroups have normal series of length k all of whose quotients belong to 𝔛(n). We show that the non-p-soluble length λ_p(G) of G is bounded in terms of k and n only (Theorem 1.2). In the case where p is odd, a stronger result is obtained (Theorem 1.3).     

Non-Nilpotent Graph of a Group

We associate a graph 𝒩 _G with a group G (called the non-nilpotent graph of G) as follows: take G as the vertex set and two vertices are adjacent if they generate a non-nilpotent subgroup. In this article, we study the graph theoretical properties of 𝒩 _G and its induced subgraph on G \ nil(G), where nil(G) = {x ∈ G | ? x, y ? is nilpotent for all y ∈ G}. For any finite group G, we prove that 𝒩 _G has either |Z*(G)| or |Z*(G)| +1 connected components, where Z*(G) is the hypercenter of G. We give a new characterization for finite nilpotent groups in terms of the non-nilpotent graph. In fact, we prove that a finite group G is nilpotent if and only if the set of vertex degrees of 𝒩 _G has at most two elements.     

On Schurity of Finite Abelian Groups

A finite group G is called a Schur group, if any Schur ring over G is associated in a natural way with a subgroup of Sym(G) that contains all right translations. Recently, the authors have completely identified the cyclic Schur groups. In this article, it is shown that any abelian Schur group belongs to one of several explicitly given families only. In particular, any noncyclic abelian Schur group of odd order is isomorphic to ?₃ × ?_{3 ^k} or ?₃ × ?₃ × ? _p where k ≥ 1 and p is a prime. In addition, we prove that ?₂ × ?₂ × ? _p is a Schur group for every prime p.     

Group rings of hyperabelian groups

Ifk is a field of characteristicp>0 then we find all hyper-(Abelian or locally finite-p′) groupsG such that the augmentation ideal of the group algebrakG has the AR property. The second author is partially supported by NSF grant MCS-7828082.     

A Technique for the Search for Vertices of the Components of a k G-Permutation Module

In this paper we present a necessary condition for a p-group V ≤ G to be a vertex of some indecomposable direct summand of the permutation module k _H  ↑ ^G , where H ≤ G, and G is a finite group. We call this condition H-suitability and present a method how to check for it. In an example, we determine all H-suitable groups. In fact, in this example every H-suitable group is the vertex of some indecomposable direct summand of k _H  ↑ ^G .     

Some Extensions of PSL(2, p 2) are Uniquely Determined by Their Complex Group Algebras

In Tong-Viet's, 2012 work, the following question arose: Question. Which groups can be uniquely determined by the structure of their complex group algebras?

It is proved here that some simple groups of Lie type are determined by the structure of their complex group algebras. Let p be an odd prime number and S = PSL(2, p ²). In this paper, we prove that, if M is a finite group such that S < M < Aut(S), M = ?₂ × PSL(2, p ²) or M = SL(2, p ²), then M is uniquely determined by its order and some information about its character degrees. Let X ₁(G) be the set of all irreducible complex character degrees of G counting multiplicities. As a consequence of our results, we prove that, if G is a finite group such that X ₁(G) = X ₁(M), then G ? M. This implies that M is uniquely determined by the structure of its complex group algebra.     

Prime ideals in nilpotent Iwasawa algebras

Let G be a nilpotent complete p-valued group of finite rank and let k be a field of characteristic p. We prove that every faithful prime ideal of the Iwasawa algebra kG is controlled by the centre of G, and use this to show that the prime spectrum of kG is a disjoint union of commutative strata. We also show that every prime ideal of kG is completely prime. The key ingredient in the proof is the construction of a non-commutative valuation on certain filtered simple Artinian rings.     

Generic Idempotent Modules for a Finite Group

Let G be a finite group and k an algebraically closed field of characteristic p. Let F _U be the Rickard idempotent k G-module corresponding to the set U of subvarieties of the cohomology variety V _G which are not irreducible components. We show that F _U is a finite sum of generic modules corresponding to the irreducible components of V _G . In this context, a generic module is an indecomposable module of infinite length over k G but finite length as a module over its endomorphism ring.     

Finite Groups with Conjugacy Classes Number One Greater than Its Same Order Classes Number

ABSTRACT

Let k(G) be the number of conjugacy classes of finite groups G and π _e (G) be the set of the orders of elements in G. Then there exists a non-negative integer k such that k(G) = |π _e (G)| + k. We call such groups to be co(k) groups. This article classifies all finite co(1) groups. They are isomorphic to one of the following groups: A ₅, L ₂(7), S ₅, Z ₃, Z ₄, S ₄, A ₄, D ₁₀, Hol(Z ₅), or Z ₃ ? Z ₄.     

Group Actions,k-Derivations,and Finite Morphisms

Let G be an affine algebraic group over an algebraically closed field k of characteristic zero. In this article, we consider finite G-equivariant morphisms F:X → Y of irreducible affine G-varieties. First we determine under which conditions on Y the induced map F ^G :X//G → Y//G of quotient varieties is also finite. This result is reformulated in terms of kernels of derivations on k-algebras A ? B such that B is integral over A. Second we construct explicitly two examples of finite G-equivariant maps F. In the first one, F ^G is quasifinite but not finite. In the second one, F ^G is not even quasifinite.     

Unitary Units Satisfying a Group Identity

Let K be a nonabsolute field of characteristic p ≠ 2, G a locally finite group and KG its group algebra. Let ?: KG → KG denote the K-linear extension of an involution ? defined on G. In this article, we prove that if the subgroup 𝒰_?(KG), i.e., the ?-unitary units of KG, satisfies a group identity, then KG satisfies a polynomial identity. Moreover, in case the prime radical of KG is nilpotent, we characterize the groups G for which 𝒰_?(KG) satisfies a group identity.