Simplicity of Skew Group Rings of Abelian Groups

Necessary and sufficient conditions for simplicity of a general skew group ring A ?_σ G are not known. In this article, we show that a skew group ring A ?_σ G, of an abelian group G, is simple if and only if its centre is a field and A is G-simple. As an application, we show that a transformation group (X, G), where X is a compact Hausdorff space acted upon by an abelian group G, is minimal and faithful if and only if its associated skew group algebra C(X) ?_σ G is simple.     

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.     

The Normalizer Property for Integral Group Rings of Complete Monomial Groups

Abstract

Let G be a complete monomial group with nilpotent base, namely, G = N wr Sym _m , the wreath product of a finite nilpotent group N with the symmetric group on m letters. Then G satisfies the normalizer conjecture for ?G.     

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.     

The Kernel of the Adjoint Representation of a p-Adic Lie Group Need Not Have an Abelian Open Normal Subgroup

Let G be a p-adic Lie group with Lie algebra 𝔤 and Ad: G → Aut(𝔤) be the adjoint representation. It was claimed in the literature that the kernel K?ker(Ad) always has an abelian open normal subgroup. We show by means of a counterexample that this assertion is false. It can even happen that K = G, but G has no abelian subnormal subgroup except for the trivial group. The arguments are based on auxiliary results on subgroups of free products with central amalgamation.     

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

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.     

The Normalizer Property for Integral Group Rings of a Class of Complete Monomial Groups

Let G = H?S _m be the natural wreath product of H by S _m , where H is a finite 2-closed group and S _m is the symmetric group of degree m. It is shown that the normalizer property holds for G.     

On the Commutative Twisted Group Algebras

Let G be an abelian group and let R be a commutative ring with identity. Denote by R _t G a commutative twisted group algebra (a commutative twisted group ring) of G over R, by ?(R) and ?(R _t G) the nil radicals of R and R _t G, respectively, by G _p the p-component of G and by G ₀ the torsion subgroup of G. We prove that:

1. If R is a ring of prime characteristic p, the multiplicative group R* of R is p-divisible and ?(R) = 0, then there exists a twisted group algebra R _{t 1} (G/G _p ) such that R _t G/?(R _t G) ? R _{t 1} (G/G _p ) as R-algebras;

2. If R is a ring of prime characterisitic p and R* is p-divisible, then ?(R _t G) = 0 if and only if ?(R) = 0 and G _p  = 1; and

3. If B(R) = 0, the orders of the elements of G ₀ are not zero divisors in R, H is any group and the commutative twisted group algebra R _t G is isomorphic as R-algebra to some twisted group algebra R _{t 1} H, then R _t G ₀ ? R _{t 1} H ₀ as R-algebras.

     

Group Connectivity of Bridged Graphs

Let G be a 2-edge-connected simple graph, and let A denote an abelian group with the identity element 0. If a graph G ^* is obtained by repeatedly contracting nontrivial A-connected subgraphs of G until no such a subgraph left, we say G can be A-reduced to G*. A graph G is bridged if every cycle of length at least 4 has two vertices x, y such that d _G (x, y) < d _C (x, y). In this paper, we investigate the group connectivity number Λ _g (G) = min{n: G is A-connected for every abelian group with |A| ≥ n} for bridged graphs. Our results extend the early theorems for chordal graphs by Lai (Graphs Comb 16:165–176, 2000) and Chen et al. (Ars Comb 88:217–227, 2008).     

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.     

Group gradings on the Lie and Jordan superalgebras Q(n)

We classify gradings by arbitrary abelian groups on the classical simple Lie and Jordan superalgebras Q(n), n ≥ 2, over an algebraically closed field of characteristic different from 2 (and not dividing n + 1 in the Lie case): Fine gradings up to equivalence and G-gradings, for a fixed group G, up to isomorphism.     

Relative Group Cohomology and The Orbit Category

Let G be a finite group and ? be a family of subgroups of G closed under conjugation and taking subgroups. We consider the question whether there exists a periodic relative ?-projective resolution for ? when ? is the family of all subgroups H ≤ G with rk H ≤ rkG ? 1. We answer this question negatively by calculating the relative group cohomology ?H*(G, 𝔽₂) where G = ?/2 × ?/2 and ? is the family of cyclic subgroups of G. To do this calculation we first observe that the relative group cohomology ?H*(G, M) can be calculated using the ext-groups over the orbit category of G restricted to the family ?. In second part of the paper, we discuss the construction of a spectral sequence that converges to the cohomology of a group G and whose horizontal line at E ₂ page is isomorphic to the relative group cohomology of G.     

A Note on the Abelianization Functor

It is well known that the abelianization of a group G can be computed as the cokernel of the diagonal morphism (1_G, 1_G): G → G × G in the category of groups. We generalize this to arbitrary regular subtractive categories, among which are the category of groups, the category of topological groups, and the categories of other group-like structures. We also establish that an abelian category is the same as a regular subtractive category in which every monomorphism is a kernel of some morphism.     

Isomorphism of Modular Group Algebras of p-Mixed Abelian Groups

Let A be a torsion-free abelian group and F a free subgroup of A. We prove that if A/F is a reduced p-group and A/(F + C) is reduced for every p-pure subgroup C of A, then A is free.

Let KG be the group algebra of an abelian group G over a field K of prime characteristic p. Denote by S(KG) the p-component of the group V(KG) of normalized units of KG (of augmentation 1). Let H be an arbitrary group and KH ? KG as K-algebras. We prove the following. First, assume that G is a splitting group, the p-component G _p of G is simply presented, and the field K is perfect. Then H _p  ? G _p . If, in addition, G is p-mixed, then G _p is a direct factor of S(KG), and G is a direct factor of V(KG), each with the same simply presented complement. Secondly, we introduce a class of special p-mixed abelian groups and prove that, if G belong to this class, then any group basis of the group algebra KG splits. Besides, H is p-mixed and splits. Thirdly, if G is a special p-mixed abelian group and G _p is a reduced totally projective p-group, then H ? G. These results correct some essential inaccuracies and incompleteness in the proofs of results in this direction of Danchev [3-8 Danchev , P. V. ( 1998 ). Isomorphism of commutative group algebras of mixed splitting groups . Compt. Rend. Acad. Bulg. Sci. 51 : 13 – 16 . Danchev , P. V. ( 2000 ). Isomorphism of modular group algebras of totally projective abelian groups . Communications in Algebra 28 : 2521 – 2531 . Danchev , P. V. ( 2001 ). On a question of W. L. May concerning the isomorphism of modular group algebras . Communications in Algebra 29 : 1953 – 1958 . Danchev , P. V. ( 2001 ). Normed units in Abelian group rings . Glasg. Math. J. 43 : 365 – 373 . Danchev , P. V. ( 2002 ). Invariants for group algebras of splitting abelian groups with simply presented components . Compt. Rend. Acad. Bulg. Sci. 55 : 5 – 8 . Danchev , P. V. ( 2004 ). A note on the isomorphic modular group algebras of abelian groups with simply presented p-components . Compt. Rend. Acad. Bulg. Sci. 57 : 13 – 14 . ].     

P. Hall's covering group and embeddings of countable cc-groups

Let A be an elementary abelian group of order at least p ³ acting on a finite p′-group G that is soluble with derived length d. Assume that γ _c (C _G (a)) has exponent dividing m for any a ∈ A ^#. It is proved that there exist {p, d, c, m}-bounded numbers c ₁ and m ₁ such that γ _{c 1} (G) has exponent dividing m ₁.     

Multiplicative Jordan Decomposition in Group Rings of 3-Groups,II

In this paper, we complete the classification of those finite 3-groups G whose integral group rings have the multiplicative Jordan decomposition property. If G is abelian, then it is clear that ?[G] satisfies the multiplicative Jordan decomposition (MJD). In the nonabelian case, we show that ?[G] satisfies MJD if and only if G is one of the two nonabelian groups of order 3³ = 27.     

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.     

The group PSL(2,q) is not the multiplication group of a loop

ABSTRACT

We introduce the notion of weak transitivity for torsion-free abelian groups. A torsion-free abelian group G is called weakly transitive if for any pair of elements x, y ∈ G and endomorphisms ?, ψ ∈ End(G) such that x? = y, yψ = x, there exists an automorphism of G mapping x onto y. It is shown that every suitable ring can be realized as the endomorphism ring of a weakly transitive torsion-free abelian group, and we characterize up to a number-theoretical property the separable weakly transitive torsion-free abelian groups.