The structure of finite groups with trait of non-normal subgroups

In this paper, we investigate the finite groups all of whose non-normal nilpotent subgroups are cyclic. We show that such groups are solvable with cyclic centers. If G is a non-supersolvable group, then G has only one non-cyclic Sylow subgroup which is either isomorphic to Q₈ or is of type (q, q).     

Ideals in group rings of free products

LetG be a group andRG be its group ring. IfA is a nonzero ideal ofRG, we prove that for certain normal subgroupsH ofG, including all nontrivial subgroups ofG whenG is a free product,A∩RH≠0.     

Connectivity of intersection graphs of finite groups

The intersection graph of a group G is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of G, and there is an edge between two distinct vertices H and K if and only if H∩K≠1 where 1 denotes the trivial subgroup of G. In this paper, we classify finite solvable groups whose intersection graphs are not 2-connected and finite nilpotent groups whose intersection graphs are not 3-connected. Our methods are elementary.     

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 Some Finite Nilpotent-by-Nilpotent Groups

In this article, it is shown that the normalizer property holds for the following two kinds of finite nilpotent-by-nilpotent groups: (1) G = NwrH is the standard wreath product of N by H, where N is a finite nilpotent group and H is a finite abelian 2-group; (2) G is a finite group having a normal nilpotent subgroup N such that the integral group ring ?(G/N) has only trivial units. Our results generalize a result of Yuanlin Li and extend some ones obtained by Juriaans, Miranda, and Robério.     

On Influence of Contranormal Subgroups on the Structure of Infinite Groups

Following Rose, a subgroup H of a group G is called contranormal, if G = H ^G . In certain sense, contranormal subgroups are antipodes to subnormal subgroups. It is well known that a finite group is nilpotent if and only if it has no proper contranormal subgroups. However, for the infinite groups this criterion is not valid. There are examples of non-nilpotent infinite groups whose subgroups are subnormal; in paricular, these groups have no contranormal subgroups. Nevertheless, for some classes of infinite groups, the absence of contranormal subgroups implies the nilpotency of the group. The current article is devoted to the search of such classes. Some new criteria of nilpotency in certain classes of infinite groups have been established.     

Group algebras of Kleinian type and groups of units

The algebras of Kleinian type are finite-dimensional semisimple rational algebras A such that the group of units of an order in A is commensurable with a direct product of Kleinian groups. We classify the Schur algebras of Kleinian type and the group algebras of Kleinian type. As an application, we characterize the group rings RG, with R an order in a number field and G a finite group, such that the group of units of RG is virtually a direct product of free-by-free groups.     

Finite groups with hall subnormally embedded Schmidt subgroups

Abstract

A subgroup H of a finite group G is said to be Hall subnormally embedded in G if there is a subnormal subgroup N of G such that H is a Hall subgroup of N. A Schmidt group is a finite non-nilpotent group whose all proper subgroups are nilpotent. We prove the nilpotency of the second derived subgroup of a finite group in which each Schmidt subgroup is Hall subnormally embedded.     

Finite groups with Hall subnormally embedded Schmidt subgroups

Abstract

A subgroup H of a finite group G is said to be Hall subnormally embedded in G if there is a subnormal subgroup N of G such that H is a Hall subgroup of N. A Schmidt group is a finite non-nilpotent group whose all proper subgroups are nilpotent. We prove the nilpotency of the second derived subgroup of a finite group in which each Schmidt subgroup is Hall subnormally embedded.     

Nilpotent Injectors in General Linear Groups

In a recent paper, A. Bialostocki (Israel J. Math.41 (1982), 261-273) has defined a nilpotent injector in an arbitrary finite group G to be a maximal nilpotent subgroup of G, containing a subgroup H of G of maximal order satisfying class (H) ≤2. In the present paper, the author determines the nilpotent injectors of GL(n, q) and shows that they form a unique conjugacy class of subgroups of GL(n, q). It is also proved that if n ≠ 2 or n = 2 and q ≠ 9 is not a Fermat prime >3, then the nilpotent injectors of GL(n, q) are the nilpotent subgroups of maximal order.     

On the Genus of the Nilpotent Graphs of Finite Groups

The nilpotent graph of a group G is a simple graph whose vertex set is G?nil(G), where nil(G) = {y ∈ G | ? x, y ? is nilpotent ? x ∈ G}, and two distinct vertices x and y are adjacent if ? x, y ? is nilpotent. In this article, we show that the collection of finite non-nilpotent groups whose nilpotent graphs have the same genus is finite, derive explicit formulas for the genus of the nilpotent graphs of some well-known classes of finite non-nilpotent groups, and determine all finite non-nilpotent groups whose nilpotent graphs are planar or toroidal.     

Groups whose all subgroups are ascendant or self-normalizing

This paper studies groups G whose all subgroups are either ascendant or self-normalizing. We characterize the structure of such G in case they are locally finite. If G is a hyperabelian group and has the property, we show that every subgroup of G is in fact ascendant provided G is locally nilpotent or non-periodic. We also restrict our study replacing ascendant subgroups by permutable subgroups, which of course are ascendant [Stonehewer S.E., Permutable subgroups of infinite groups, Math. Z., 1972, 125(1), 1–16].     

Finite p-Groups All of Whose Minimal Nonnormal Subgroups Posses Large Normal Closures

We obtained some results about finite p-groups G with G/H^G being abelian for all nonnormal subgroups H, where H^G denotes the normal closure of H. Moreover, we give a classification of finite p-groups G with G/H^G being cyclic for all nonnormal subgroups H.     

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.     

Finite groups with some pronormal subgroups

A subgroup H of finite group G is called pronormal in G if for every element x of G, H is conjugate to H ^x in 〈H, H ^x 〉. A finite group G is called PRN-group if every cyclic subgroup of G of prime order or order 4 is pronormal in G. In this paper, we find all PRN-groups and classify minimal non-PRN-groups (non-PRN-group all of whose proper subgroups are PRN-groups). At the end of the paper, we also classify the finite group G, all of whose second maximal subgroups are PRN-groups.     

On Hall Normally Embedded Subgroups of Finite Groups

A subgroup H of a finite group G is called Hall normally embedded in G if H is a Hall subgroup of the normal closure H ^G . Groups which contain a Hall normally embedded subgroup of order d for every factor d of | G | are characterized. Such groups are supersolvable with a cyclic nilpotent residual of square-free order.     

A Characterization of Nilpotent Injectors in Finite Groups

In this article a class of subgroups of a finite group G, called Q-injectors, is introduced. If G is soluble, the Q-injectors are precisely the injectors of the Fitting sets. A characterization of nilpotent Q-injectors is given as well as a sufficient condition for the solubility of a finite group G, in terms of Q-injectors, which generalizes a well known result.     

Comparing First Order Theories of Modules over Group Rings II: Decidability

We consider R‐torsionfree modules over group rings RG, where R is a Dedekind domain and G is a finite group. In the first part of the paper [4] we compared the theory T(RG) of all R‐torsionfree RG‐modules and the theory T₀(RG) of RG‐lattices (i. e. finitely generated R‐torsionfree RG‐modules), and we realized that they are almost always different. Now we compare their behaviour with respect to decidability, when RG‐lattices are of finite, or wild representation type.