On Intermediate Subalgebras of C*-simple Group Actions

Author(s):  
Tattwamasi Amrutam

Abstract We show that for a large class of actions $\Gamma \curvearrowright \mathcal{A}$ of $C^*$-simple groups $\Gamma $ on unital $C^*$-algebras $\mathcal{A}$, including any non-faithful action of a hyperbolic group with trivial amenable radical, every intermediate $C^*$-subalgebra $\mathcal{B}$, $C_{\lambda }^*(\Gamma )\subseteq \mathcal{B} \subseteq \mathcal{A}\rtimes _{r}\Gamma $, is of the form $\mathcal{A}_1\rtimes _{r}\Gamma $, where $\mathcal{A}_1$ is a unital $\Gamma $-$C^*$-subalgebra of $\mathcal{A}$.

2019 ◽  
Vol 12 (05) ◽  
pp. 1950081
Author(s):  
M. Jahandideh ◽  
R. Modabernia ◽  
S. Shokrolahi

Let [Formula: see text] be a non-abelian finite group and [Formula: see text] be the center of [Formula: see text]. The non-commuting graph, [Formula: see text], associated to [Formula: see text] is the graph whose vertex set is [Formula: see text] and two distinct vertices [Formula: see text] are adjacent if and only if [Formula: see text]. We conjecture that if [Formula: see text] is an almost simple group and [Formula: see text] is a non-abelian finite group such that [Formula: see text], then [Formula: see text]. Among other results, we prove that if [Formula: see text] is a certain almost simple group and [Formula: see text] is a non-abelian group with isomorphic non-commuting graphs, then [Formula: see text].


2020 ◽  
Vol 29 (04) ◽  
pp. 2050021
Author(s):  
Mattia Mecchia

We consider 3-manifolds admitting the action of an involution such that its space of orbits is homeomorphic to [Formula: see text] Such involutions are called hyperelliptic as the manifolds admitting such an action. We consider finite groups acting on 3-manifolds and containing hyperelliptic involutions whose fixed-point set has [Formula: see text] components. In particular we prove that a simple group containing such an involution is isomorphic to [Formula: see text] for some odd prime power [Formula: see text], or to one of four other small simple groups.


2021 ◽  
Vol 13 (3) ◽  
pp. 59
Author(s):  
Nader Taffach

In this paper, we study the problem of how a finite group can be generated by some subgroups. In order to the finite simple groups, we show that any finite non-abelian simple group can be generated by two Sylow p1 - and p_2 -subgroups, where p_1  and p_2  are two different primes. We also show that for a given different prime numbers p  and q , any finite group can be generated by a Sylow p -subgroup and a q -subgroup.


2021 ◽  
Vol 28 (04) ◽  
pp. 561-568
Author(s):  
Jinke Hai ◽  
Lele Zhao

Let [Formula: see text] be an extension of a finite characteristically simple group by an abelian group or a finite simple group. It is shown that every Coleman automorphism of [Formula: see text] is an inner automorphism. Interest in such automorphisms arises from the study of the normalizer problem for integral group rings.


2009 ◽  
Vol 12 ◽  
pp. 82-119 ◽  
Author(s):  
László Babai ◽  
Péter P. Pálfy ◽  
Jan Saxl

AbstractA p-regular element in a finite group is an element of order not divisible by the prime number p. We show that for every prime p and every finite simple group S, a fair proportion of elements of S is p-regular. In particular, we show that the proportion of p-regular elements in a finite classical simple group (not necessarily of characteristic p) is greater than 1/(2n), where n – 1 is the dimension of the projective space on which S acts naturally. Furthermore, in an exceptional group of Lie type this proportion is greater than 1/15. For the alternating group An, this proportion is at least 26/(27√n), and for sporadic simple groups, at least 2/29.We also show that for an arbitrary field F, if the simple group S is a quotient of a finite subgroup of GLn(F) then for any prime p, the proportion of p-regular elements in S is at least min{1/31, 1/(2n)}.Along the way we obtain estimates for the proportion of elements of certain primitive prime divisor orders in exceptional groups, complementing work by Niemeyer and Praeger (1998).Our result shows that in finite simple groups, p-regular elements can be found efficiently by random sampling. This is a key ingredient to recent polynomial-time Monte Carlo algorithms for matrix groups.Finally we complement our lower bound results with the following upper bound: for all n ≥ 2 there exist infinitely many prime powers q such that the proportion of elements of odd order in PSL(n,q) is less than 3/√n.


Author(s):  
Zhenfeng Wu

Denote by [Formula: see text] the number of Sylow [Formula: see text]-subgroups of [Formula: see text]. For every subgroup [Formula: see text] of [Formula: see text], it is easy to see that [Formula: see text], but [Formula: see text] does not divide [Formula: see text] in general. Following [W. Guo and E. P. Vdovin, Number of Sylow subgroups in finite groups, J. Group Theory 21(4) (2018) 695–712], we say that a group [Formula: see text] satisfies DivSyl(p) if [Formula: see text] divides [Formula: see text] for every subgroup [Formula: see text] of [Formula: see text]. In this paper, we show that “almost for every” finite simple group [Formula: see text], there exists a prime [Formula: see text] such that [Formula: see text] does not satisfy DivSyl(p).


1995 ◽  
Vol 51 (3) ◽  
pp. 495-499 ◽  
Author(s):  
Ahmad Erfanian ◽  
James Wiegold

The aim of this paper is to give a new precise formula for h(n, A), where A is a finite non-abelian simple group, h(n, A) is the maximum number such that Ah(n, A) can ke generated by n elements, and n ≥ 2. P. Hall gave a formula for h(n, A) in terms of the Möbius function of the subgroup lattice of A; the new formula involves a concept called cospread associated with that of spread as explained in Brenner and Wiegold (1975).


2019 ◽  
Vol 18 (04) ◽  
pp. 1950070
Author(s):  
Ali Mahmoudifar

It is proved that some finite simple groups are quasirecognizable by prime graph. In [A. Mahmoudifar and B. Khosravi, On quasirecognition by prime graph of the simple groups [Formula: see text] and [Formula: see text], J. Algebra Appl. 14(1) (2015) 12pp], the authors proved that if [Formula: see text] is a prime number and [Formula: see text], then there exists a natural number [Formula: see text] such that for all [Formula: see text], the simple group [Formula: see text] (where [Formula: see text] is a linear or unitary simple group) is quasirecognizable by prime graph. Also[Formula: see text] in that paper[Formula: see text] the author posed the following conjecture: Conjecture. For every prime power [Formula: see text] there exists a natural number [Formula: see text] such that for all [Formula: see text] the simple group [Formula: see text] is quasirecognizable by prime graph. In this paper [Formula: see text] as the main theorem we prove that if [Formula: see text] is a prime power and satisfies some especial conditions [Formula: see text] then there exists a number [Formula: see text] associated to [Formula: see text] such that for all [Formula: see text] the finite linear simple group [Formula: see text] is quasirecognizable by prime graph. Finally [Formula: see text] by a calculation via a computer program [Formula: see text] we conclude that the above conjecture is valid for the simple group [Formula: see text] where [Formula: see text] [Formula: see text] is an odd number and [Formula: see text].


Sign in / Sign up

Export Citation Format

Share Document