Mark L. Lewis

Conjugacy classes of maximal cyclic subgroups

In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of $G$ . We consider $η$ and direct and semi-direct products. We characterize the normal subgroups $N$ so that $η(G/N) = η(G)$ . We set $G^- = \{ g \in G \mid \langle g \rangle {\rm ~is~not ~maximal~cyclic} \}$ . We show if $\langle G^- \rangle < G$ , then $G/\langle G^- \rangle$ is either (1) an elementary abelian $p$ -group for some prime $p$ , (2) a Frobenius group whose Frobenius kernel is a $p$ -group of exponent $p$ and a Frobenius complement has order $q$ for distinct primes $p$ and $q$ , or (3) isomorphic to $A_5$ .

Conjugacy classes of maximal cyclic subgroups and nilpotence class of $p$ -groups

In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of $G$ . We prove that if $G$ is a $p$ -group of order $p^n$ and nilpotence class $l$ , then $η(G)$ is bounded below by a linear function in $n/l$ .

Conjugacy classes of maximal cyclic subgroups of metacyclic $p$ -groups

In this paper, we set $η(G)$ to be the number of conjugacy classes of maximal cyclic subgroups of a finite group $G$ . We compute $η(G)$ for all metacyclic $p$ -groups. We show that if $G$ is a metacyclic $p$ -group of order $p^n$ that is not dihedral, generalized quaternion, or semi-dihedral, then $η(G) \ge n-2$ , and we determine when equality holds.

Groups having all elements off a normal subgroup with prime power order

We consider a finite group $G$ with a normal subgroup $N$ so that all elements of $G \setminus N$ have prime power order. We prove that if there is a prime $p$ so that all the elements in $G \setminus N$ have $p$ -power order, then either $G$ is a $p$ -group or $G = PN$ where $P$ is a Sylow $p$ -subgroup and $(G,P,P \cap N)$ is a Frobenius-Wielandt triple. We also prove that if all the elements of $G \setminus N$ have prime power orders and the orders are divisible by two primes $p$ and $q$ , then $G$ is a $\{ p, q \}$ -group and $G/N$ is either a Frobenius group or a $2$ -Frobenius group. If all the elements of $G \setminus N$ have prime power orders and the orders are divisible by at least three primes, then all elements of $G$ have prime power order and $G/N$ is nonsolvable.

The Average of Some Irreducible Character Degrees

We are interested in determining the bound of the average of the degrees of the irreducible characters whose degrees are not divisible by some prime $p$ that guarantees a finite group $G$ of odd order is $p$ -nilpotent. We find a bound that depends on the prime $p$ . If we further restrict our average by fixing a subfield $k$ of the complex numbers and then compute the average of the degrees of the irreducible characters whose degrees are not divisible by $p$ and have values in $k$ , then we will see that we obtain a bound that depends on both $p$ and $k$ . Moreover, we find examples that make those bounds best possible.

preprint2021arXiv

A characterization of GVZ groups in terms of fully ramified characters

In this paper, we obtain a characterization of GVZ-groups in terms of commutators and monolithic quotients. This characterization is based on counting formulas due to Gallagher.

preprint2021arXiv

Partial GVZ-groups

Following the literature, a group $G$ is called a group of central type if $G$ has an irreducible character that vanishes on $G\setminus Z(G)$ . Motivated by this definition, we say that a character $χ\in {\rm Irr}(G)$ has central type if $χ$ vanishes on $G\setminus Z(χ)$ , where $Z(χ)$ is the center of $χ$ . Groups where every irreducible character has central type have been studied previously under the name GVZ-groups (and several other names) in the literature. In this paper, we study the groups $G$ that possess a nontrivial, normal subgroup $N$ such that every character of $G$ either contains $N$ in its kernel or has central type. The structure of these groups is surprisingly limited and has many aspects in common with both central type groups and GVZ-groups.

Groups that have a Partition by Commuting Subsets

Let $G$ be a nonabelian group. We say that $G$ has an abelian partition, if there exists a partition of $G$ into commuting subsets $A_1, A_2, \ldots, A_n$ of $G$ , such that $|A_i|\geqslant 2$ for each $i=1, 2, \ldots, n$ . This paper investigates problems relating to group with abelian partitions. Among other results, we show that every finite group is isomorphic to a subgroup of a group with an abelian partition and also isomorphic to a subgroup of a group with no abelian partition. We also find bounds for the minimum number of partitions for several families of groups which admit abelian partitions -- with exact calculations in some cases. Finally, we examine how the size of partitions with the minimum number of parts behaves with respect to the direct product.

On solvable groups with one vanishing class size

Let $G$ be a finite group, and let cs $(G)$ be the set of conjugacy class sizes of $G$ . Recalling that an element $g$ of $G$ is called a \emph{vanishing element} if there exists an irreducible character of $G$ taking the value $0$ on $g$ , we consider one particular subset of cs $(G)$ , namely, the set vcs $(G)$ whose elements are the conjugacy class sizes of the vanishing elements of $G$ . Motivated by the results in \cite{BLP}, we describe the class of the finite groups $G$ such that vcs $(G)$ consists of a single element \emph{under the assumption that $G$ is supersolvable or $G$ has a normal Sylow $2$ -subgroup} (in particular, groups of odd order are covered). As a particular case, we also get a characterization of finite groups having a single vanishing conjugacy class size \emph{which is either a prime power or square-free}.

The cyclic graph (deleted enhanced power graph) of a direct product

Let $G$ be a finite group. Define a graph on the set $G^{\#} = G \setminus \{ 1 \}$ by declaring distinct elements $x,y\in G^{\#}$ to be adjacent if and only if $\langle x,y\rangle$ is cyclic. Denote this graph by $Δ(G)$ . The graph $Δ(G)$ has appeared in the literature under the names cyclic graph and deleted enhanced power graph. If $G$ and $H$ are nontrivial groups, then $Δ(G\times H)$ is completely characterized. In particular, if $Δ(G\times H)$ is connected, then a diameter bound is obtained, along with an example meeting this bound. Also, necessary and sufficient conditions for the disconnectedness of $Δ(G\times H)$ are established.

The Solubility Graph Associated With a Finite Group

Let $G$ be a finite group. The solubility graph associated with the finite group $G$ , denoted by $Γ_{\cal S}(G)$ , is a simple graph whose vertices are the non-trivial elements of $G$ , and there is an edge between two distinct elements $x$ and $y$ if and only if $\langle x, y\rangle$ is a soluble subgroup of $G$ . In this paper, we examine some properties of solubility graphs.

Toward a Classification of the Supercharacter Theories of $C_p\times C_p$

In this paper, we study the superscharacter theories of elementary abelian $p$ -groups of order $p^2$ . We show that the supercharacter theories that arise from the direct product construction and the $\ast$ -product construction can be obtained from automorphisms. We also prove that any supercharacter theory of an elementary abelian $p$ -group of order $p^2$ that has a nonidentity superclass of size $1$ or a nonprincipal linear supercharacter must come from either a $\ast$ -product or a direct product. Although we are unable to prove results for general primes, we do compute all of the supercharacter theories when $p = 2, 3, 5$ , and based on these computations along with particular computations for larger primes, we make several conjectures for a general prime $p$ .

preprint2018arXiv

Enumerating isoclinism classes of semi-extraspecial groups

We enumerate the number of isoclinism classes of semi-extraspecial $p$ -groups with derived subgroup of order $p^2$ . To do this, we enumerate $\text{GL}(2, p)$ -orbits of sets of irreducible, monic polynomials in $\mathbb{F}_p[x]$ . Along the way, we also provide a new construction of an infinite family of semi-extraspecial groups as central quotients of Heisenberg groups over local algebras.

preprint2018arXiv

Simple Groups Whose Prime Graph or Solvable Graph is Split

A graph is split if there is a partition of its vertex set into a clique and an independent set. The present paper is devoted to the splitness of some graphs related to finite simple groups, namely, prime graphs and solvable graphs, and their compact forms. It is proved that the compact form of the prime graph of any finite simple group is split.

preprint2016arXiv

${\rm B}_π$ -characters and quotients

Let $π$ be a set of primes, and let $G$ be a finite $π$ -separable group. We consider the Isaacs ${\rm B}_π$ -characters. We show that if $N$ is a normal subgroup of $G$ , then ${\rm B}_π(G/N) = {\rm Irr} (G/N) \cap {\rm B}_π(G)$ .

preprint2016arXiv

Brauer characters of $q^\prime$ - degree

We show that if $p$ is a prime and $G$ is a finite $p$ -solvable group satisfying the condition that a prime $q$ divides the degree of no irreducible $p$ -Brauer character of $G$ , then the normalizer of some Sylow $q$ -subgroup of $G$ meets all the conjugacy classes of $p$ -regular elements of $G$ .

Centralizers of Camina $p$ -groups of nilpotence class $3$

Let $G$ be a Camina $p$ -group of nilpotence class $3$ . We prove that if $G' < C_G (G')$ , then $|Z(G)| \le |G':G_3|^{1/2}$ . We also prove that if $G/G_3$ has only one or two abelian subgroups of order $|G:G'|$ , then $G' < C_G (G')$ . If $G/G_3$ has $p^a + 1$ abelian subgroups of order $|G:G'|$ , then either $G' < C_G (G')$ or $|Z(G)| \le p^{2a}$ .

Finite groups with an irreducible character of large degree

Let $G$ be a finite group and $d$ the degree of a complex irreducible character of $G$ , then write $|G|=d(d+e)$ where $e$ is a nonnegative integer. We prove that $|G|\leq e^4-e^3$ whenever $e>1$ . This bound is best possible and improves on several earlier related results.

Fitting heights of solvable groups with no nontrivial prime power character degrees

We construct solvable groups where the only degree of an irreducible character that is a prime power is $1$ and that have arbitrarily large Fitting heights. We will show that we can construct such groups that also have a Sylow tower. We also will show that we can construct such groups using only three primes.

Groups with exactly two supercharacter theories

In this paper, we classify those finite groups with exactly two supercharacter theories. We show that the solvable groups with two supercharacter theories are $\mathbb{Z}_3$ and $S_3$ . We also show that the only nonsolvable group with two supercharacter theories is ${\rm Sp} (6,2)$ .

Landau's theorem, fields of values for characters, and solvable groups

When $G$ is solvable group, we prove that the number of conjugacy classes of elements of prime power order is less than or equal to the number of irreducible characters with values in fields where $\mathbb {Q}$ is extended by prime power roots of unity. We then combine this result with a theorem of Héthelyi and Külshammer that bounds the order of a finite group in terms of the number of conjugacy classes of elements of prime power order to bound the order of a solvable group by the number of irreducible characters with values in fields extended by prime power roots of unity. This yields for solvable groups a generalization of Landau's theorem.

The character degree ratio and composition factors of a finite group

For a finite non-abelian group $G$ let $\rat(G)$ denote the largest ratio of degrees of two nonlinear irreducible characters of $G$ . We prove that the number of non-abelian composition factors of $G$ is bounded above by $1.8\ln(\rat(G))+1.3$.

Variations on average character degrees and $p$ -nilpotence

We prove that if $p$ is an odd prime, $G$ is a solvable group, and the average value of the irreducible characters of $G$ whose degrees are not divisible by $p$ is strictly less than $2(p+1)/(p+3)$ , then $G$ is $p$ -nilpotent. We show that there are examples that are not $p$ -nilpotent where this bound is met for every prime $p$ . We then prove a number of variations of this result.

preprint2014arXiv

Camina $p$ -groups that are generalized Frobenius complements

Let $P$ be a Camina $p$ -group that acts on a group $Q$ in such a way that $C_P (x) \subseteq P'$ for all nonidentity elements $x \in Q$ . We show that $P$ must be isomorphic to the quaternion group $Q_8$ . If $P$ has class $2$ , this is a known result, and this paper corrects a previously published erroneous proof of the general case.

preprint2014arXiv

Using a Galois connection to compute character degrees

Given a Mersenne prime $q$ and a positive even integer $e$ , let $F$ and $E$ be the fields of orders $q$ and $q^e$ respectively. Let $C$ be a cyclic subgroup of $E^\times$ whose index in $E^\times$ is divisible only by primes dividing $q - 1$ . We compute the character degrees of the group $C \rtimes {\rm Gal} (E/F)$ by using the Galois connection between the subfields of $E$ and the Galois group ${\rm Gal} (E/F)$ .

preprint2013arXiv

Camina pairs that are not $p$ -closed

We show for every prime $p$ that there exists a Camina pair $(G,N)$ where $N$ is a $p$ -group and $G$ is not $p$ -closed.

preprint2012arXiv

Bounding group orders by large character degrees: A question of Snyder

Let $G$ be a nonabelian finite group and let $d$ be an irreducible character degree of $G$ . Then there is a positive integer $e$ so that $|G| = d(d+e)$ . Snyder has shown that if $e > 1$ , then $|G|$ is bounded by a function of $e$ . This bound has been improved by Isaacs and by Durfee and Jensen. In this paper, we will show for groups that have a nontrivial, abelian normal subgroup that $|G| \le e^4 - e^3$ . We use this to prove that $|G| < e^4 + e^3$ for all groups. Given that there are a number of solvable groups that meet the first bound, it is best possible. Our work makes use of results regarding Camina pairs, Gagola characters, and Suzuki 2-groups.

preprint2012arXiv

p-Group Camina pairs

Let $(G,Z(G))$ be a Camina pair. We prove that $G$ must be a $p$ -group for some prime $p$ . We also prove that $|Z(G)| < |G:Z(G)|^{3/4}$ . Also, we discuss how one might build examples with $|Z(G)| > |G:Z(G)|^{1/2}$ , although we are not able to prove the existence of such examples.

Bounding an index by the largest character degree of a solvable group

In this paper, we show that if $p$ is a prime and $G$ is a $p$ -solvable group, then $| G:O_p (G) |_p \le (b(G)^p/p)^{1/(p-1)}$ where $b(G)$ is the largest character degree of $G$ . If $p$ is an odd prime that is not a Mersenne prime or if the nilpotence class of a Sylow $p$ -subgroup of $G$ is at most $p$ , then $| G:O_p (G) |_p \le b(G)$ .

Classifying Camina groups: a theorem of Dark and Scoppola

Recall that a group $G$ is a Camina group if every nonlinear irreducible character of $G$ vanishes on $G \setminus G'$ . Dark and Scoppola classified the Camina groups that can occur. We present a different proof of this classification using Theorem 2, which strengthens a result of Isaacs on Camina pairs. Theorem 2 is of independent interest.

Counting characters in blocks of solvable groups with abelian defect group

If $G$ is a solvable group and $p$ is a prime, then the Fong-Swan theorem shows that given any irreducible Brauer character $ϕ$ of $G$ , there exists a character $χ\in \irrg$ such that $χ^o = ϕ$ , where $^o$ denotes the restriction of $χ$ to the $p$ -regular elements of $G$ . We say that $χ$ is a {\it{lift}} of $ϕ$ in this case. It is known that if $ϕ$ is in a block with abelian defect group $D$ , then the number of lifts of $ϕ$ is bounded above by $|D|$ . In this paper we give a necessary and sufficient condition for this bound to be achieved, in terms of local information in a subgroup $V$ determined by the block $B$ . We also apply these methods to examine the situation when equality occurs in the $k(B)$ conjecture for blocks of solvable groups with abelian defect group.

Isomorphism in expanding families of indistinguishable groups

For every odd prime $p$ and every integer $n\geq 12$ there is a Heisenberg group of order $p^{5n/4+O(1)}$ that has $p^{n^2/24+O(n)}$ pairwise nonisomorphic quotients of order $p^{n}$ . Yet, these quotients are virtually indistinguishable. They have isomorphic character tables, every conjugacy class of a non-central element has the same size, and every element has order at most $p$ . They are also directly and centrally indecomposable and of the same indecomposability type. The recognized portions of their automorphism groups are isomorphic, represented isomorphically on their abelianizations, and of small index in their full automorphism groups. Nevertheless, there is a polynomial-time algorithm to test for isomorphisms between these groups.

Square character degree graphs yield direct products

If $G$ is a solvable group, we take $Δ(G)$ to be the character degree graph for $G$ with primes as vertices. We prove that if $Δ(G)$ is a square, then $G$ must be a direct product.

Counting lifts of Brauer characters

In this paper we examine the behavior of lifts of Brauer characters in p-solvable groups where p is an odd prime. In the main result, we show that if ϕ\in IBrp(G) is a Brauer character of a solvable group such that ϕhas an abelian vertex subgroup Q, then the number of lifts of ϕin Irr(G) is at most |Q|. In order to accomplish this, we develop several results about lifts of Brauer characters in p-solvable groups that were previously only known to be true in the case of groups of odd order.

Inducing $π$ -partial characters with a given vertex

Let $G$ be a solvable group. Let $p$ be a prime and let $Q$ be a $p$ -subgroup of a subgroup $V$ . Suppose $ϕ\in \ibr G$. If either $|G|$ is odd or $p = 2$ , we prove that the number of Brauer characters of $H$ inducing $ϕ$ with vertex $Q$ is at most $|\norm GQ: \norm VQ|$.

Lifts and vertex pairs in solvable groups

Suppose $G$ is a $p$ -solvable group, where $p$ is odd. We explore the connection between lifts of Brauer characters of $G$ and certain local objects in $G$ , called vertex pairs. We show that if $χ$ is a lift, then the vertex pairs of $χ$ form a single conjugacy class. We use this to prove a sufficient condition for a given pair to be a vertex pair of a lift and to study the behavior of lifts with respect to normal subgroups.