Source author record

Mark L. Lewis

Mark L. Lewis appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

38works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

38 published item(s)

preprint2022arXiv

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$.

preprint2022arXiv

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.

preprint2022arXiv

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

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.

preprint2020arXiv

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.

preprint2020arXiv

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}.

preprint2020arXiv

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.

preprint2020arXiv

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.

preprint2015arXiv

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.

preprint2015arXiv

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

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)$.

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.

preprint2011arXiv

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.

preprint2011arXiv

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.

preprint2010arXiv

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.

preprint2010arXiv

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.