On a Theorem of Cohen and Lyndon About Free Bases for Normal Subgroups

1972 ◽  
Vol 24 (6) ◽  
pp. 1086-1091 ◽  
Author(s):  
A. Karrass ◽  
D. Solitar

Let S(≠1) be a subgroup of a group G. We consider the question: when are the conjugates of S “as independent as possible“? Specifically, suppose SG (the normal subgroup generated by S in G) is the free product II*S0α where and gα ranges over a subset J of G. Then J must be part of a (left) coset representative system for G mod SG. N where N is the normalizer of S in G. (For, g ∊ SGgαN implies Sg is conjugate to Sgα in SG; however, distinct non-trivial free factors of a free product are never conjugate.)We say that SG is the free product of maximally many conjugates of S in G if SG = II*Sgα where gα ranges over a (complete) left coset representative system for G mod SGN (or equivalently, gα ranges over a double coset representative system for G mod (SG, N)); in this case we say briefly that S has the fpmmc property in G.

2011 ◽  
Vol 31 (6) ◽  
pp. 1835-1847 ◽  
Author(s):  
PAUL A. SCHWEITZER, S. J.

AbstractWe determine all the normal subgroups of the group of Cr diffeomorphisms of ℝn, 1≤r≤∞, except when r=n+1 or n=4, and also of the group of homeomorphisms of ℝn ( r=0). We also study the group A0 of diffeomorphisms of an open manifold M that are isotopic to the identity. If M is the interior of a compact manifold with non-empty boundary, then the quotient of A0 by the normal subgroup of diffeomorphisms that coincide with the identity near to a given end e of M is simple.


Author(s):  
L.A. Kurdachenko ◽  
◽  
A.A. Pypka ◽  
I.Ya. Subbotin ◽  
◽  
...  

We investigate the influence of some natural types of subgroups on the structure of groups. A subgroup H of a group G is called contranormal in G, if G = HG. A subgroup H of a group G is called core-free in G, if CoreG(H) =〈1〉. We study the groups, in which every non-normal subgroup is either contranormal or core-free. In particular, we obtain the structure of some monolithic and non-monolithic groups with this property


2019 ◽  
Vol 18 (04) ◽  
pp. 1950074
Author(s):  
Xuewu Chang

The normal embedding problem of finite solvable groups into [Formula: see text]-groups was studied. It was proved that for a finite solvable group [Formula: see text], if [Formula: see text] has a special normal nilpotent Hall subgroup, then [Formula: see text] cannot be a normal subgroup of any [Formula: see text]-group; on the other hand, if [Formula: see text] has a maximal normal subgroup which is an [Formula: see text]-group, then [Formula: see text] can occur as a normal subgroup of an [Formula: see text]-group under some suitable conditions. The results generalize the normal embedding theorem on solvable minimal non-[Formula: see text]-groups to arbitrary [Formula: see text]-groups due to van der Waall, and also cover the famous counterexample given by Dade and van der Waall independently to the Dornhoff’s conjecture which states that normal subgroups of arbitrary [Formula: see text]-groups must be [Formula: see text]-groups.


1961 ◽  
Vol 13 ◽  
pp. 557-568 ◽  
Author(s):  
Ruth Rebekka Struik

In a previous paper (18), G = F/Fn was studied for F a free product of a finite number of cyclic groups, and Fn the normal subgroup generated by commutators of weight n. In that paper the following cases were completely treated:(a) F a free product of cyclic groups of order pαi, p a prime, αi positive integers, and n = 4, 5, … , p + 1.(b) F a free product of cyclic groups of order 2αi, and n = 4.In this paper, the following case is completely treated:(c) F a free product of cyclic groups of order pαi p a prime, αi positive integers, and n = p + 2.(Note that n = 2 is well known, and n — 3 was studied by Golovin (2).) By ‘'completely treated” is meant: a unique representation of elements of the group is given, and the order of the group is indicated. In the case of n = 4, a multiplication table was given.


Author(s):  
Jonathan A. Hillman

AbstractWe extend earlier work relating asphericity and Euler characteristics for finite complexes whose fundamental groups have nontrivial torsion free abelian normal subgroups. In particular a finitely presentable group which has a nontrivial elementary amenable subgroup whose finite subgroups have bounded order and with no nontrivial finite normal subgroup must have deficiency at most 1, and if it has a presentation of deficiency 1 then the corresponding 2-complex is aspherical. Similarly if the fundamental group of a closed 4-manifold with Euler characteristic 0 is virtually torsion free and elementary amenable then it either has 2 ends or is virtually an extension of Z by a subgroup of Q, or the manifold is asphencal and the group is virtually poly- Z of Hirsch length 4.


2013 ◽  
Vol 12 (05) ◽  
pp. 1250204
Author(s):  
AMIN SAEIDI ◽  
SEIRAN ZANDI

Let G be a finite group and let N be a normal subgroup of G. Assume that N is the union of ξ(N) distinct conjugacy classes of G. In this paper, we classify solvable groups G in which the set [Formula: see text] has at most three elements. We also compute the set [Formula: see text] in most cases.


2020 ◽  
Vol 76 (1) ◽  
pp. 7-23
Author(s):  
Miles A. Clemens ◽  
Branton J. Campbell ◽  
Stephen P. Humphries

The tabulation of normal subgroups of 3D crystallographic space groups that are themselves 3D crystallographic space groups (csg's) is an ambitious goal, but would have a variety of applications. For convenience, such subgroups are referred to as `csg-normal' while normal subgroups of the crystallographic point group (cpg) of a crystallographic space group are referred to as `cpg-normal'. The point group of a csg-normal subgroup must be a cpg-normal subgroup. The present work takes a significant step towards that goal by tabulating the translational subgroups (a.k.a. sublattices) that are capable of supporting csg-normal subgroups. Two necessary conditions are identified on the relative sublattice basis that must be met in order for the sublattice to support csg-normal subgroups: one depends on the operations of the point group of the space group, while the other depends on the operations of the cpg-normal subgroup. Sublattices that meet these conditions are referred to as `normally supportive'. For each cpg-normal subgroup (excluding the identity subgroup 1) of each of the arithmetic crystal classes of 3D space groups, all of the normally supportive sublattices have been tabulated in symbolic form, such that most of the entries in the table contain one or more integer variables of infinite range; thus it could be more accurately described as a table of the infinite families of normally supportive sublattices. For a given pair of cpg-normal subgroup and normally supportive sublattice, csg-normal subgroups of the space groups of the parent arithmetic crystal class can be constructed via group extension, though in general such a pair does not guarantee the existence of a corresponding csg-normal subgroup.


1984 ◽  
Vol 27 (1) ◽  
pp. 7-9 ◽  
Author(s):  
G. Karpilovsky

In what follows, character means irreducible complex character.Let G be a finite group and let % be a character of a normal subgroup N. If χ extends to a character of G then χ is stabilised by G, but the converse is false. The aim of this paper is to prove the following theorem which gives a sufficient condition for χ to be extended to a character of G.


1976 ◽  
Vol 28 (2) ◽  
pp. 420-428 ◽  
Author(s):  
James F. Hurley

In [6] we have constructed certain normal subgroups G7 of the elementary subgroup GR of the Chevalley group G(L, R) over R corresponding to a finite dimensional simple Lie algebra L over the complex field, where R is a commutative ring with identity. The method employed was to augment somewhat the generators of the elementary subgroup EI of G corresponding to an ideal I of the underlying Chevalley algebra LR;EI is thus the group generated by all xr(t) in G having the property that ter ⊂ I. In [6, § 5] we noted that in general EI actually had to be enlarged for a normal subgroup of GR to be obtained.


2006 ◽  
Vol 05 (02) ◽  
pp. 215-229 ◽  
Author(s):  
MARK L. LEWIS

In this paper, we reexamine the foundation of Isaacs' π-theory. One of the key concepts in Isaacs' π-theory is the construction of the characters Bπ(G) for a π-separable group G. The key to determining which characters lie in Bπ(G) was the construction of a nucleus for each irreducible character χ. In this paper, we present a different way of finding a nucleus for χ which is based on a chain of normal subgroup [Formula: see text]. Using this nucleus, we obtain the set of characters [Formula: see text]. We investigate the properties that [Formula: see text] has in common with Bπ(G).


Sign in / Sign up

Export Citation Format

Share Document