A criterion for the existence of nilpotent hall π-subgroups

2020 ◽  
pp. 2250043
Author(s):  
Neda Ahanjideh
Keyword(s):  
Normal Subgroup ◽  
Nontrivial Normal Subgroup ◽  
Text Element

Let [Formula: see text] be a nontrivial normal subgroup of [Formula: see text] and [Formula: see text]. In this paper, we show that if [Formula: see text] and for every [Formula: see text]-element [Formula: see text] with [Formula: see text], [Formula: see text], for some integer [Formula: see text], then [Formula: see text] has nilpotent Hall [Formula: see text]-subgroups. Further, we show that if [Formula: see text], then [Formula: see text] has abelian Hall [Formula: see text]-subgroups.

scholarly journals Bounds on finite quasiprimitive permutation groups

2001 ◽  
Vol 71 (2) ◽  
pp. 243-258 ◽  
Author(s):  
Cheryl E. Praeger ◽  
Aner Shalev
Keyword(s):  
Normal Subgroup ◽  
Permutation Group ◽  
Minimum Degree ◽  
Permutation Groups ◽  
Primitive Permutation Group ◽  
Base Size ◽  
Nontrivial Normal Subgroup

AbstractA permutation group is said to be quasiprimitive if every nontrivial normal subgroup is transitive. Every primitive permutation group is quasiprimitive, but the converse is not true. In this paper we start a project whose goal is to check which of the classical results on finite primitive permutation groups also holds for quasiprimitive ones (possibly with some modifications). The main topics addressed here are bounds on order, minimum degree and base size, as well as groups containing special p-elements. We also pose some problems for further research.

Free Groups and Folding

2017 ◽  
Author(s):  
Matt Clay
Keyword(s):  
Normal Subgroup ◽  
Free Group ◽  
Finite Index ◽  
Free Groups ◽  
Membership Problem ◽  
Research Projects ◽  
Residually Finite ◽  
Simple Operation ◽  
Nontrivial Normal Subgroup ◽  
Subgroup Theorem

This chapter studies subgroups of free groups using the combinatorics of graphs and a simple operation called folding. It introduces a topological model for free groups and uses this model to show the rank of the free group H and whether every finitely generated nontrivial normal subgroup of a free group has finite index. The edge paths and the fundamental group of a graph are discussed, along with subgroups via graphs. The chapter also considers five applications of folding: the Nielsen–Schreier Subgroup theorem, the membership problem, index, normality, and residual finiteness. A group G is residually finite if for every nontrivial element g of G there is a normal subgroup N of finite index in G so that g is not in N. Exercises and research projects are included.

scholarly journals Finite groups with a self-centralizing subgroup of order 4

1967 ◽  
Vol 7 (4) ◽  
pp. 570-576 ◽  
Author(s):  
Warren J. Wong
Keyword(s):  
Normal Subgroup ◽  
Early Result ◽  
Finite Groups ◽  
Present Author ◽  
Permutation Groups ◽  
Odd Order ◽  
Nontrivial Normal Subgroup

The class of finite groups having a subgroup of order 4 which is its own centralizer has been studied by Suzuki [9], Gorenstein and Walter [6], and the present author [11]. The main purpose of this paper is to strengthen Theorem 5 of [11] by using an early result of Zassenhaus [12]. In particular, we find all groups of the class which are core-free, i.e. which have no nontrivial normal subgroup of odd order. As an application, we make a determination of a certain class of primitive permutation groups.

THE NUMBER OF PROFINITE GROUPS WITH A SPECIFIED SYLOW SUBGROUP

2015 ◽  
Vol 99 (1) ◽  
pp. 108-127
Author(s):  
COLIN D. REID
Keyword(s):  
Normal Subgroup ◽  
Sylow Subgroup ◽  
The Other ◽  
Profinite Groups ◽  
Finitely Generated ◽  
Soluble Groups ◽  
Other Hand ◽  
Formula Group ◽  
Nontrivial Normal Subgroup

Let $S$ be a finitely generated pro-$p$ group. Let ${\mathcal{E}}_{p^{\prime }}(S)$ be the class of profinite groups $G$ that have $S$ as a Sylow subgroup, and such that $S$ intersects nontrivially with every nontrivial normal subgroup of $G$. In this paper, we investigate whether or not there is a bound on $|G:S|$ for $G\in {\mathcal{E}}_{p^{\prime }}(S)$. For instance, we give an example where ${\mathcal{E}}_{p^{\prime }}(S)$ contains an infinite ascending chain of soluble groups, and on the other hand show that $|G:S|$ is bounded in the case where $S$ is just infinite.

ULC Properties in Neighbourhoods of Embedded Surfaces and Curves in E3

1973 ◽  
Vol 25 (1) ◽  
pp. 31-73 ◽  
Author(s):  
J. W. Cannon
Keyword(s):  
Normal Subgroup ◽  
Approximation Theorem ◽  
Sphere Theorem ◽  
Curves And Surfaces ◽  
Local Homology ◽  
Loop Theorem ◽  
Embedded Surfaces ◽  
Nontrivial Normal Subgroup

In this paper we derive those properties of topologically embedded curves and surfaces in E3 which can be obtained without use of Bing's Side Approximation Theorem [3] for surfaces. The local homology and homotopy properties studied classically play the largest role in the paper, but the final geometrization of some of the results requires theorems such as the PL Schoenflies Theorem, Dehn's Lemma, the Loop Theorem, the Sphere Theorem, and Waldhausen's generalization of the Loop Theorem (n.b., one application of Waldhausen's theorem (in (3.4)) requires use of the nontrivial normal subgroup in the statement of that theorem).

Canonical Submersion and Lie Homomorphisms Normal Subgroup

2020 ◽  
Vol 23 (1) ◽  
pp. 97-101
Author(s):  
Mikhail Petrichenko ◽  
Dmitry W. Serow
Keyword(s):  
Normal Subgroup ◽  
Canonical System ◽  
System Of Equations ◽  
Core Group ◽  
The Core ◽  
Switch Group

Normal subgroup module f (module over the ring F = [ f ] 1; 2-diffeomorphisms) coincides with the kernel Ker Lf derivations along the field. The core consists of the trivial homomorphism (integrals of the system v = x = f (t; x )) and bundles with zero switch group Lf , obtained from the condition ᐁ( ω × f ) = 0. There is the analog of the Liouville for trivial immersion. In this case, the core group Lf derivations along the field replenished elements V ( z ), such that ᐁz = ω × f. Hence, the core group Lf updated elements helicoid (spiral) bundles, in particular, such that f = ᐁU. System as an example Crocco shown that the canonical system does not permit the trivial embedding: the canonical system of equations are the closure of the class of systems that permit a submersion.

scholarly journals Some groups with T1 primitive ideal spaces

1985 ◽  
Vol 38 (1) ◽  
pp. 55-64 ◽  
Author(s):  
A. L. Carey ◽  
W. Moran
Keyword(s):  
Normal Subgroup ◽  
Lie Groups ◽  
Lie Group ◽  
Locally Compact Group ◽  
Primitive Ideal ◽  
Ideal Space ◽  
Solvable Lie Groups ◽  
Locally Compact ◽  
Simply Connected ◽  
Connected Lie Group

AbstractLet G be a second countable locally compact group possessing a normal subgroup N with G/N abelian. We prove that if G/N is discrete then G has T1 primitive ideal space if and only if the G-quasiorbits in Prim N are closed. This condition on G-quasiorbits arose in Pukanzky's work on connected and simply connected solvable Lie groups where it is equivalent to the condition of Auslander and Moore that G be type R on N (-nilradical). Using an abstract version of Pukanzky's arguments due to Green and Pedersen we establish that if G is a connected and simply connected Lie group then Prim G is T1 whenever G-quasiorbits in [G, G] are closed.

Free subgroups in k(x 1,... ,x n )(X;σ) and k(x,y)(k;σ)

2019 ◽  
Vol 31 (3) ◽  
pp. 769-777
Author(s):  
Jairo Z. Gonçalves
Keyword(s):  
Normal Subgroup ◽  
Polynomial Ring ◽  
Multiplicative Group ◽  
Free Subgroup ◽  
Laurent Polynomials ◽  
Skew Polynomial Ring ◽  
Ring Of Fractions ◽  
Skew Polynomial ◽  
Free Subgroups ◽  
Mild Restriction

Abstract Let k be a field, let {\mathfrak{A}_{1}} be the k-algebra {k[x_{1}^{\pm 1},\dots,x_{s}^{\pm 1}]} of Laurent polynomials in {x_{1},\dots,x_{s}} , and let {\mathfrak{A}_{2}} be the k-algebra {k[x,y]} of polynomials in the commutative indeterminates x and y. Let {\sigma_{1}} be the monomial k-automorphism of {\mathfrak{A}_{1}} given by {A=(a_{i,j})\in GL_{s}(\mathbb{Z})} and {\sigma_{1}(x_{i})=\prod_{j=1}^{s}x_{j}^{a_{i,j}}} , {1\leq i\leq s} , and let {\sigma_{2}\in{\mathrm{Aut}}_{k}(k[x,y])} . Let {D_{i}} , {1\leq i\leq 2} , be the ring of fractions of the skew polynomial ring {\mathfrak{A}_{i}[X;\sigma_{i}]} , and let {D_{i}^{\bullet}} be its multiplicative group. Under a mild restriction for {D_{1}} , and in general for {D_{2}} , we show that {D_{i}^{\bullet}} , {1\leq i\leq 2} , contains a free subgroup. If {i=1} and {s=2} , we show that a noncentral normal subgroup N of {D_{1}^{\bullet}} contains a free subgroup.

scholarly journals Multidimensional Multiplicative Combinatorial Properties of Dynamical Syndetic Sets

2021 ◽  
Author(s):  
Jiahao Qiu ◽  
Jianjie Zhao
Keyword(s):  
Normal Subgroup ◽  
Finite Index ◽  
Minimal System ◽  
Combinatorial Properties ◽  
Return Times ◽  
Residual Set ◽  
Closed Sets ◽  
Open Set ◽  
Geometric Progressions ◽  
Set Of Points

AbstractIn this paper, it is shown that for a minimal system (X, G), if H is a normal subgroup of G with finite index n, then X can be decomposed into n components of closed sets such that each component is minimal under H-action. Meanwhile, we prove that for a residual set of points in a minimal system with finitely many commuting homeomorphisms, the set of return times to any non-empty open set contains arbitrarily long geometric progressions in multidimension, extending a previous result by Glasscock, Koutsogiannis and Richter.

ON THE REGULAR GRAPH RELATED TO THE G-CONJUGACY CLASSES

2021 ◽  
pp. 1-5
Author(s):  
SH. RAHIMI ◽  
Z. AKHLAGHI
Keyword(s):  
Finite Group ◽  
Normal Subgroup ◽  
Conjugacy Class ◽  
Regular Graph ◽  
Simple Graph ◽  
Conjugacy Classes ◽  
A Finite Group

Abstract Given a finite group G with a normal subgroup N, the simple graph $\Gamma _{\textit {G}}( \textit {N} )$ is a graph whose vertices are of the form $|x^G|$ , where $x\in {N\setminus {Z(G)}}$ and $x^G$ is the G-conjugacy class of N containing the element x. Two vertices $|x^G|$ and $|y^G|$ are adjacent if they are not coprime. We prove that, if $\Gamma _G(N)$ is a connected incomplete regular graph, then $N= P \times {A}$ where P is a p-group, for some prime p, $A\leq {Z(G)}$ and $\textbf {Z}(N)\not = N\cap \textbf {Z}(G)$ .

Sign in / Sign up

Export Citation Format

Share Document