Showing 1–50 of 80 results for author: Lewis, M L

Ducci on $\mathbb{Z}_m^n$ and the Maximum Length for $n$ Odd

Authors: Mark L. Lewis, Shannon M. Tefft

Abstract: Define the Ducci function $D: \mathbb{Z}_m^n \to \mathbb{Z}_m^n$ so $D(x_1,x_2, ...,x_n)=(x_1+x_2 \;\text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m)$. In this paper, we will prove that for $n$ odd and $m=2^lm_1$ where $m_1$ is odd, then the largest the length of a tuple can be is $l$ and… ▽ More Define the Ducci function $D: \mathbb{Z}_m^n \to \mathbb{Z}_m^n$ so $D(x_1,x_2, ...,x_n)=(x_1+x_2 \;\text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m)$. In this paper, we will prove that for $n$ odd and $m=2^lm_1$ where $m_1$ is odd, then the largest the length of a tuple can be is $l$ and $K(\mathbb{Z}_m^n)=\{(x_1, x_2, ..., x_n) \in \mathbb{Z}_m^n \; \mid \; x_1+x_2+ \cdots +x_n \equiv 0 \; \text{mod} \; 2^l\}$. △ Less

Submitted 8 March, 2024; originally announced March 2024.

MSC Class: 20D60; 11B83; 11B50

Some results on the norm of finite groups

Authors: Mark L. Lewis, Zhencai Shen, Quanfu Yan

Abstract: Let $G$ be a finite group and $N_Ω(G)$ be the intersection of the normalizers of all subgroups belonging to the set $Ω(G),$ where $Ω(G)$ is a set of all subgroups of $G$ which have some theoretical group property. In this paper, we show that $N_Ω(G)= Z_{\infty}(G)$ if $Ω(G)$ is one of the following: (i) the set of all self-normalizing subgroups of $G$; (ii) the set of all subgroups of $G$ satisfyi… ▽ More Let $G$ be a finite group and $N_Ω(G)$ be the intersection of the normalizers of all subgroups belonging to the set $Ω(G),$ where $Ω(G)$ is a set of all subgroups of $G$ which have some theoretical group property. In this paper, we show that $N_Ω(G)= Z_{\infty}(G)$ if $Ω(G)$ is one of the following: (i) the set of all self-normalizing subgroups of $G$; (ii) the set of all subgroups of $G$ satisfying the subnormalizer condition in $G$; (iii) the set of all pronormal subgroups of $G$; (iv) the set of all $\mathscr{H}$-subgroups of $G$; (v) the set of all weakly normal subgroups of $G$; (vi) the set of all $NE$-subgroups of $G$. △ Less

Submitted 20 February, 2024; originally announced February 2024.

On the group pseudo-algebra of finite groups

Authors: Mark L. Lewis, Quanfu Yan

Abstract: Let $G$ be a finite group. The group pseudo-algebra of $G$ is defined as the multi-set $C(G)=\{(d,m_G(d))\mid d\in{\rm Cod}(G)\},$ where $m_G(d)$ is the number of irreducible characters of with codegree $d\in {\rm Cod}(G)$. We show that there exist two finite $p$-groups with distinct orders that have the same group pseudo-algebra, providing an answer to Question 3.2 in \cite{Moreto2023}. In additi… ▽ More Let $G$ be a finite group. The group pseudo-algebra of $G$ is defined as the multi-set $C(G)=\{(d,m_G(d))\mid d\in{\rm Cod}(G)\},$ where $m_G(d)$ is the number of irreducible characters of with codegree $d\in {\rm Cod}(G)$. We show that there exist two finite $p$-groups with distinct orders that have the same group pseudo-algebra, providing an answer to Question 3.2 in \cite{Moreto2023}. In addition, we also discuss under what hypothesis two $p$-groups with the same group pseudo-algebra will be isomorphic. △ Less

Submitted 19 February, 2024; originally announced February 2024.

A note on the codegree of finite groups

Authors: Mark L. Lewis, Quanfu Yan

Abstract: Let $χ$ be an irreducible character of a group $G,$ and $S_c(G)=\sum_{χ\in {\rm Irr}(G)}{\rm cod}(χ)$ be the sum of the codegrees of the irreducible characters of $G.$ Write ${\rm fcod} (G)=\frac{S_c(G)}{|G|}.$ We aim to explore the structure of finite groups in terms of ${\rm fcod} (G).$ On the other hand, we determine the lower bound of $S_c(G)$ for nonsolvable groups and prove that if $G$ is no… ▽ More Let $χ$ be an irreducible character of a group $G,$ and $S_c(G)=\sum_{χ\in {\rm Irr}(G)}{\rm cod}(χ)$ be the sum of the codegrees of the irreducible characters of $G.$ Write ${\rm fcod} (G)=\frac{S_c(G)}{|G|}.$ We aim to explore the structure of finite groups in terms of ${\rm fcod} (G).$ On the other hand, we determine the lower bound of $S_c(G)$ for nonsolvable groups and prove that if $G$ is nonsolvable, then $S_c(G)\geq S_c(A_5)=68,$ with equality if and only if $G\cong A_5.$ Additionally, we show that there is a solvable group so that it has the codegree sum as $A_5.$ △ Less

Submitted 19 February, 2024; originally announced February 2024.

On the sum of character codegrees of finite groups

Authors: Mark L. Lewis, Quanfu Yan

Abstract: Let $χ$ be an irreducible character of a group $G.$ We denote the sum of the codegrees of the irreducible characters of $G$ by $S_c(G)=\sum_{χ\in {\rm Irr}(G)}{\rm cod}(χ).$ We consider the question if $S_c(G)\leq S_c(C_n)$ is true for any finite group $G,$ where $n=|G|$ and $C_n$ is a cyclic group of order $n.$ We show this inequality holds for many classes of groups. In particular, we provide an… ▽ More Let $χ$ be an irreducible character of a group $G.$ We denote the sum of the codegrees of the irreducible characters of $G$ by $S_c(G)=\sum_{χ\in {\rm Irr}(G)}{\rm cod}(χ).$ We consider the question if $S_c(G)\leq S_c(C_n)$ is true for any finite group $G,$ where $n=|G|$ and $C_n$ is a cyclic group of order $n.$ We show this inequality holds for many classes of groups. In particular, we provide an affirmative answer for any finite group whose order is divisible by up to 99 primes. However, we show that the question does not hold true in all cases, by evidence of a counterexample. △ Less

Submitted 19 February, 2024; originally announced February 2024.

A lower bound on the size of maximal abelian subgroups

Authors: Mark L. Lewis

Abstract: Let $G$ be a $p$-group for some prime $p$. Let $n$ be the positive integer so that $|G:Z(G)| = p^n$. Suppose $A$ is a maximal abelian subgroup of $G$. Let $$p^l = {\rm max} \{|Z(C_G (g)):Z(G)| : g \in G \setminus Z(G)\},$$ $$p^b = {\rm max} \{|cl(g)| : g \in G \setminus Z(G) \},$$ and $p^a = |A:Z(G)|$. Then we show that $a \ge n/(b+l)$. Let $G$ be a $p$-group for some prime $p$. Let $n$ be the positive integer so that $|G:Z(G)| = p^n$. Suppose $A$ is a maximal abelian subgroup of $G$. Let $$p^l = {\rm max} \{|Z(C_G (g)):Z(G)| : g \in G \setminus Z(G)\},$$ $$p^b = {\rm max} \{|cl(g)| : g \in G \setminus Z(G) \},$$ and $p^a = |A:Z(G)|$. Then we show that $a \ge n/(b+l)$. △ Less

Submitted 19 February, 2024; originally announced February 2024.

MSC Class: 20D25

Ducci on $\mathbb{Z}_m^3$ and the Max Period

Authors: Mark L. Lewis, Shannon M Tefft

Abstract: Let $D(x_1, x_2, ..., x_n)=(x_1+x_2 \;\text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m)$ where $D \in End(\mathbb{Z}_m^n)$ be the Ducci function. The sequence $\{D^k(\mathbf{u})\}_{k=0}^{\infty}$ will eventually enter a cycle. If $n=3$, we aim to establish the longest a cycle can be for a given $m$. Let $D(x_1, x_2, ..., x_n)=(x_1+x_2 \;\text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m)$ where $D \in End(\mathbb{Z}_m^n)$ be the Ducci function. The sequence $\{D^k(\mathbf{u})\}_{k=0}^{\infty}$ will eventually enter a cycle. If $n=3$, we aim to establish the longest a cycle can be for a given $m$. △ Less

Submitted 13 March, 2024; v1 submitted 12 February, 2024; originally announced February 2024.

MSC Class: 20D60; 11B83; 11B50

Characterizing finite groups whose enhanced power graphs have universal vertices

Authors: David G. Costanzo, Mark L. Lewis, Stefano Schmidt, Eyob Tsegaye, Gabe Udell

Abstract: Let $G$ be a finite group and construct a graph $Δ(G)$ by taking $G\setminus\{1\}$ as the vertex set of $Δ(G)$ and by drawing an edge between two vertices $x$ and $y$ if $\langle x,y\rangle$ is cyclic. Let $K(G)$ be the set consisting of the universal vertices of $Δ(G)$ along the identity element. For a solvable group $G$, we present a necessary and sufficient conditon for $K(G)$ to be nontrivial.… ▽ More Let $G$ be a finite group and construct a graph $Δ(G)$ by taking $G\setminus\{1\}$ as the vertex set of $Δ(G)$ and by drawing an edge between two vertices $x$ and $y$ if $\langle x,y\rangle$ is cyclic. Let $K(G)$ be the set consisting of the universal vertices of $Δ(G)$ along the identity element. For a solvable group $G$, we present a necessary and sufficient conditon for $K(G)$ to be nontrivial. We also develop a connection between $Δ(G)$ and $K(G)$ when $|G|$ is divisible by two distinct primes and the diameter of $Δ(G)$ is $2$. △ Less

Submitted 8 February, 2024; originally announced February 2024.

Comments: 8 pages

MSC Class: Primary 20D25; Secondary 05C25

The Period of Ducci Cycles on $\mathbb{Z}_{2^l}$ for Tuples of Length $2^k$

Authors: Mark L. Lewis, Shannon M. Tefft

Abstract: Let the Ducci function $D: \mathbb{Z}_m^n \to \mathbb{Z}_m^n$ be defined as $D(x_1, x_2, ..., x_n)=(x_1+x_2 \; \text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m)$. In this paper, we will prove that if $n,m$ are powers of $2$, then repeatedly applying $D$ will eventually result in $(0,0,...,0)$, as well as establish an upper bound for how many iterations it will take for… ▽ More Let the Ducci function $D: \mathbb{Z}_m^n \to \mathbb{Z}_m^n$ be defined as $D(x_1, x_2, ..., x_n)=(x_1+x_2 \; \text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m)$. In this paper, we will prove that if $n,m$ are powers of $2$, then repeatedly applying $D$ will eventually result in $(0,0,...,0)$, as well as establish an upper bound for how many iterations it will take for this to happen. △ Less

Submitted 30 January, 2024; originally announced January 2024.

MSC Class: 20D60; 11B83; 11B50

Finite solvable tidy Groups whose orders are divisible by two primes

Authors: Nicolas F. Beike, Rachel Carleton, David G. Costanzo, Colin Heath, Mark L. Lewis, Kaiwen Lu, Jamie D. Pearce

Abstract: In this paper, we investigate finite solvable tidy groups. We classify the tidy $\{ p, q \}$-groups. Combining this with a previous result, we are able to characterize the finite tidy solvable groups. Using this characterization, we bound the Fitting height of finite tidy solvable groups and we prove that the quotients of finite tidy solvable groups are tidy. In this paper, we investigate finite solvable tidy groups. We classify the tidy $\{ p, q \}$-groups. Combining this with a previous result, we are able to characterize the finite tidy solvable groups. Using this characterization, we bound the Fitting height of finite tidy solvable groups and we prove that the quotients of finite tidy solvable groups are tidy. △ Less

Submitted 21 January, 2024; originally announced January 2024.

MSC Class: Primary: 20D10 Secondary: 20D20

Solvable groups whose monomial, monolithic characters have prime power codegrees

Authors: Xiaoyou Chen, Mark L. Lewis

Abstract: In this note, we prove that if $G$ is solvable and ${\rm cod}(χ)$ is a $p$-power for every nonlinear, monomial, monolithic $χ\in {\rm Irr}(G)$ or every nonlinear, monomial, monolithic $χ\in {\rm IBr} (G)$, then $P$ is normal in $G$, where $p$ is a prime and $P$ is a Sylow $p$-subgroup of $G$. In this note, we prove that if $G$ is solvable and ${\rm cod}(χ)$ is a $p$-power for every nonlinear, monomial, monolithic $χ\in {\rm Irr}(G)$ or every nonlinear, monomial, monolithic $χ\in {\rm IBr} (G)$, then $P$ is normal in $G$, where $p$ is a prime and $P$ is a Sylow $p$-subgroup of $G$. △ Less

Submitted 15 November, 2022; originally announced November 2022.

Comments: To appear in International Journal of Group Theory

MSC Class: 20C20; 20C15

On groups that can be covered by conjugates of finitely many cyclic or procyclic subgroups

Authors: Yiftach Barnea, Rachel Camina, Mikhail Ershov, Mark L. Lewis

Abstract: Given a discrete (resp. profinite) group $G$, we define $NCC(G)$ to be the smallest number of cyclic (resp. procyclic) subgroups of $G$ whose conjugates cover $G$. In this paper we determine all residually finite discrete groups with finite NCC and give an almost complete characterization of profinite groups with finite NCC. As a consequence we can show, for example, that for any $k\in\mathbb N$ a… ▽ More Given a discrete (resp. profinite) group $G$, we define $NCC(G)$ to be the smallest number of cyclic (resp. procyclic) subgroups of $G$ whose conjugates cover $G$. In this paper we determine all residually finite discrete groups with finite NCC and give an almost complete characterization of profinite groups with finite NCC. As a consequence we can show, for example, that for any $k\in\mathbb N$ and any prime $p>3$ the number of finite $p$-groups $P$ with more than $3$ generators and $NCC(P)=k$ is finite. △ Less

Submitted 4 January, 2023; v1 submitted 27 October, 2022; originally announced October 2022.

Comments: 52 pages, v2: minor changes

MSC Class: primary: 20D15; 20E18; secondary: 20E26; 20E34; 20E45; 20G25

Group elements whose character values are roots of unity

Authors: Mark L. Lewis, Lucia Morotti, Hung P. Tong-Viet

Abstract: We classify all finite groups $G$ which possesses an element $x\in G$ such that every irreducible character of $G$ takes a root of unity value at $x$. We classify all finite groups $G$ which possesses an element $x\in G$ such that every irreducible character of $G$ takes a root of unity value at $x$. △ Less

Submitted 16 September, 2022; originally announced September 2022.

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

Authors: M. Bianchi, R. D. Camina, Mark L. Lewis

Abstract: 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. 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. △ Less

Submitted 9 June, 2022; originally announced June 2022.

MSC Class: 20D15

The Average of Some Irreducible Character Degrees

Authors: Ramadan Elsharif, Mark L. Lewis

Abstract: 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… ▽ More 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. △ Less

Submitted 23 March, 2022; originally announced March 2022.

MSC Class: 20C15

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

Authors: Mark L. Lewis

Abstract: 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… ▽ More 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. △ Less

Submitted 4 March, 2022; originally announced March 2022.

Comments: 15 pages

MSC Class: 20D99

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

Authors: M. Bianchi, R. D. Camina, Mark L. Lewis

Abstract: 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$. 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$. △ Less

Submitted 14 January, 2022; originally announced January 2022.

Comments: 9 pages

MSC Class: 20D15

Conjugacy classes of maximal cyclic subgroups

Authors: M. Bianchi, R. D. Camina, Mark L. Lewis, E. Pacifici

Abstract: 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… ▽ More 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$. △ Less

Submitted 14 January, 2022; originally announced January 2022.

Comments: 18 pages

MSC Class: 20D15; 20E34

The Cyclic Graph of a $2$-Frobenius Group

Authors: David G. Costanzo, Mark L. Lewis

Abstract: The cyclic graph of a group $G$ is the graph whose vertices are the nonidentity elements of $G$ and whose edges connect distinct elements $x$ and $y$ if and only if the subgroup $\langle x,y\rangle$ is cyclic. We obtain information about the cyclic graph of $2$-Frobenius groups. The cyclic graph of a $2$-Frobenius group is disconnected. In this paper, we determine the number of connected component… ▽ More The cyclic graph of a group $G$ is the graph whose vertices are the nonidentity elements of $G$ and whose edges connect distinct elements $x$ and $y$ if and only if the subgroup $\langle x,y\rangle$ is cyclic. We obtain information about the cyclic graph of $2$-Frobenius groups. The cyclic graph of a $2$-Frobenius group is disconnected. In this paper, we determine the number of connected components of the cyclic graph of any $2$-Frobenius group. △ Less

Submitted 29 March, 2021; originally announced March 2021.

MSC Class: 20C15 (primary); 05C25 (secondary)

Extending Morgan and Parker's results about commuting graphs

Authors: Nicolas F. Beike, Rachel Carleton, David G. Costanzo, Colin Heath, Mark L. Lewis, Kaiwen Lu, Jamie D. Pearce

Abstract: Morgan and Parker have proved that if $G$ is a group satisfying the condition that $Z(G) = 1$, then the connected components of the commuting graph of $G$ have diameter at most $10$. Parker has proved that if in addition $G$ is solvable, then the commuting graph of $G$ is disconnected if and only if $G$ is a Frobenius group or a $2$-Frobenius group, and if the commuting graph of $G$ is connected,… ▽ More Morgan and Parker have proved that if $G$ is a group satisfying the condition that $Z(G) = 1$, then the connected components of the commuting graph of $G$ have diameter at most $10$. Parker has proved that if in addition $G$ is solvable, then the commuting graph of $G$ is disconnected if and only if $G$ is a Frobenius group or a $2$-Frobenius group, and if the commuting graph of $G$ is connected, then its diameter is at most $8$. We prove that the hypothesis $Z (G) = 1$ in these results can be replaced with $G' \cap Z(G) = 1$. We also prove that if $G$ is solvable and $G/Z(G)$ is either a Frobenius group or a $2$-Frobenius group, then the commuting graph of $G$ is disconnected. △ Less

Submitted 12 March, 2021; originally announced March 2021.

Comments: 10 pages, 4 figures

MSC Class: Primary 20D40 Secondary 05C25

Partial GVZ-groups

Authors: Shawn T. Burkett, Mark L. Lewis

Abstract: 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… ▽ More 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. △ Less

Submitted 27 January, 2021; originally announced January 2021.

Comments: 11 pages

MSC Class: 20C15

A characterization of GVZ groups in terms of fully ramified characters

Authors: Shawn T. Burkett, Mark L. Lewis

Abstract: 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. 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. △ Less

Submitted 27 January, 2021; originally announced January 2021.

Comments: 4 pages. arXiv admin note: text overlap with arXiv:1909.05841

MSC Class: 20C15

The Cyclic Graph of a Z-group

Authors: David G. Costanzo, Mark L. Lewis, Stefano Schmidt, Eyob Tsegaye, Gabe Udell

Abstract: For a group $G$, we define a graph $Δ(G)$ by letting $G^{\#} = G \setminus \{ 1 \}$ be the set of vertices and by drawing an edge between distinct elements $x,y\in G^{\#}$ if and only if the subgroup $\langle x,y\rangle$ is cyclic. Recall that a $Z$-group is a group where every Sylow subgroup is cyclic. In this short note, we investigate $Δ(G)$ for a $Z$-group $G$. For a group $G$, we define a graph $Δ(G)$ by letting $G^{\#} = G \setminus \{ 1 \}$ be the set of vertices and by drawing an edge between distinct elements $x,y\in G^{\#}$ if and only if the subgroup $\langle x,y\rangle$ is cyclic. Recall that a $Z$-group is a group where every Sylow subgroup is cyclic. In this short note, we investigate $Δ(G)$ for a $Z$-group $G$. △ Less

Submitted 17 August, 2020; originally announced August 2020.

Comments: 6 pages, 3 figures

MSC Class: Primary 20F16; 05C25

Journal ref: Bull. Aust. Math. Soc. 104 (2021) 295-301

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

Authors: Shawn T. Burkett, Mark L. Lewis

Abstract: 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… ▽ More 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$. △ Less

Submitted 24 July, 2020; originally announced July 2020.

Comments: 19 pages

MSC Class: Primary: 20C15; Secondary 20D15

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

Authors: David G. Costanzo, Mark L. Lewis, Stefano Schmidt, Eyob Tsegaye, Gabe Udell

Abstract: 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 comple… ▽ More 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. △ Less

Submitted 2 June, 2020; v1 submitted 12 May, 2020; originally announced May 2020.

Comments: Fixing typo in title

MSC Class: Primary 20D40; Secondary: 05C25

Journal ref: Involve 14 (2021) 167-179

On solvable groups with one vanishing class size

Authors: Mariagrazia Bianchi, Rachel D. Camina, Mark L. Lewis, Emanuele Pacifici

Abstract: 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… ▽ More 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}. △ Less

Submitted 14 August, 2020; v1 submitted 7 May, 2020; originally announced May 2020.

Comments: 16 pages - revised according to referee's report

MSC Class: 20E45; 20C15

Groups that have a Partition by Commuting Subsets

Authors: Tuval Foguel, Josh Hiller, Mark L. Lewis, A. R. Moghaddamfar

Abstract: 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 ab… ▽ More 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. △ Less

Submitted 14 August, 2020; v1 submitted 1 May, 2020; originally announced May 2020.

Comments: 19 pages - revised according to referee's report

MSC Class: Primary: 20D06; Secondary 05C25

A Frobenius group analog for Camina triples

Authors: Shawn T. Burkett, Mark L. Lewis

Abstract: Frobenius groups are an object of fundamental importance in finite group theory. As such, several generalizations of these groups have been considered. Some examples include: A Frobenius--Wielandt group is a triple $(G,H,L)$ where $H/L$ is {\it almost} a Frobenius complement for $G$; A Camina pair is a pair $(G,N)$ where $N$ is {\it almost} a Frobenius kernel for $G$; A Camina triple is a triple… ▽ More Frobenius groups are an object of fundamental importance in finite group theory. As such, several generalizations of these groups have been considered. Some examples include: A Frobenius--Wielandt group is a triple $(G,H,L)$ where $H/L$ is {\it almost} a Frobenius complement for $G$; A Camina pair is a pair $(G,N)$ where $N$ is {\it almost} a Frobenius kernel for $G$; A Camina triple is a triple $(G,N,M)$ where $(G,N)$ and $(G,M)$ are {\it almost} Camina pairs. In this paper we study triples $(G,N,M)$ where $(G,N)$ and $(G,M)$ are {\it almost} Frobenius groups. △ Less

Submitted 9 February, 2024; v1 submitted 4 April, 2020; originally announced April 2020.

Comments: 18 pages - This is a correction of the version published in the Journal of Algebra. A corrigendum has been submitted there. Thank you to Viji Thomas for pointing out our mistake so we could fix it

MSC Class: 20C15

The Solubility Graph Associated With a Finite Group

Authors: B. Akbari, Mark L. Lewis, J. Mirzajani, A. R. Moghaddamfar

Abstract: 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. 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. △ Less

Submitted 2 March, 2020; originally announced March 2020.

MSC Class: 20D10; 20D05; 20D20; 05C25

Groups where the centers of the irreducible characters form a chain II

Authors: Shawn T. Burkett, Mark L. Lewis

Abstract: In this paper, we determine new characterizations of nested and nested GVZ-groups, including character-free characterizations, but we additionally show that nested groups and nested GVZ-groups can be defined in terms of the existence of certain normal series. In this paper, we determine new characterizations of nested and nested GVZ-groups, including character-free characterizations, but we additionally show that nested groups and nested GVZ-groups can be defined in terms of the existence of certain normal series. △ Less

Submitted 2 October, 2019; originally announced October 2019.

Comments: 27 pages. This paper generalizes and provides a different method for obtaining the results in "Characterizations of nested GVZ-groups by central series," ArXiv 1907.409

MSC Class: 20C15

A characterization of Nested Groups in terms of conjugacy classes

Authors: Shawn T. Burkett, Mark L. Lewis

Abstract: A group is nested if the centers of the irreducible characters form a chain. In this paper, we will show that there is a set of subgroups associated with the conjugacy classes of group so that a group is nested if and only if these subgroups form a chain. A group is nested if the centers of the irreducible characters form a chain. In this paper, we will show that there is a set of subgroups associated with the conjugacy classes of group so that a group is nested if and only if these subgroups form a chain. △ Less

Submitted 8 October, 2019; v1 submitted 12 September, 2019; originally announced September 2019.

Comments: 4 pages

MSC Class: 20C15

GVZ-groups, Flat Groups, and CM-Groups

Authors: Shawn T. Burkett, Mark L. Lewis

Abstract: We show that a group is a GVZ-group if and only if it is a flat group. We show that the nilpotence class of a GVZ-group is bounded by the number of distinct degrees of irreducible characters. We also show that certain CM-groups can be characterized as GVZ-groups whose irreducible character values lie in the prime field. We show that a group is a GVZ-group if and only if it is a flat group. We show that the nilpotence class of a GVZ-group is bounded by the number of distinct degrees of irreducible characters. We also show that certain CM-groups can be characterized as GVZ-groups whose irreducible character values lie in the prime field. △ Less

Submitted 29 September, 2020; v1 submitted 12 September, 2019; originally announced September 2019.

Comments: 8 pages - Based on referee's report for the previous paper "GVZ-groups", that was substantially revised and subsumed by this paper

MSC Class: 20C15

Characterizations of nested GVZ-groups by central series

Authors: Shawn T. Burkett, Mark L. Lewis

Abstract: Many properties of groups can be defined by the existence of a particular normal series. The classic examples being solvability, supersolvability and nilpotence. Among the nilpotent groups are the so-called nested GVZ-groups --- groups where the centers of the irreducible characters form a chain, and where every irreducible character vanishes off of its center. In this paper, we show that nested G… ▽ More Many properties of groups can be defined by the existence of a particular normal series. The classic examples being solvability, supersolvability and nilpotence. Among the nilpotent groups are the so-called nested GVZ-groups --- groups where the centers of the irreducible characters form a chain, and where every irreducible character vanishes off of its center. In this paper, we show that nested GVZ-groups can be characterized by the existence of a certain ascending central series, or by the existence of a certain descending central series. △ Less

Submitted 10 July, 2019; originally announced July 2019.

MSC Class: 20C15

Vanishing-off subgroups and supercharacter theory products

Authors: Shawn T. Burkett, Mark L. Lewis

Abstract: In this paper, we study the vanishing-off subgroups of supercharacters, and use these to determine several new characterizations of supercharacter theory products. In particular, we give a character theoretic characterization that allows us to conclude that one may determine if a supercharacter theory is a $Δ$-product or $\ast$-product from the values of its corresponding supercharacters. In this paper, we study the vanishing-off subgroups of supercharacters, and use these to determine several new characterizations of supercharacter theory products. In particular, we give a character theoretic characterization that allows us to conclude that one may determine if a supercharacter theory is a $Δ$-product or $\ast$-product from the values of its corresponding supercharacters. △ Less

Submitted 26 April, 2019; originally announced April 2019.

MSC Class: 20C15

Groups where the centers of the irreducible characters form a chain

Authors: Mark L. Lewis

Abstract: We consider groups where the centers of the irreducible characters form a chain. We obtain two alternate characterizations of these groups, and we obtain some information regarding the structure of these groups. Using our results, we are able to classify those groups where the kernels of the irreducible characters form a chain. We show that a result of Nenciu regarding nested GVZ groups is really… ▽ More We consider groups where the centers of the irreducible characters form a chain. We obtain two alternate characterizations of these groups, and we obtain some information regarding the structure of these groups. Using our results, we are able to classify those groups where the kernels of the irreducible characters form a chain. We show that a result of Nenciu regarding nested GVZ groups is really a result about nested groups. We obtain an alternate proof of a theorem of Isaacs regarding the existence of $p$-groups with a given set of irreducible character degrees. △ Less

Submitted 27 February, 2019; originally announced February 2019.

Comments: 38 pages

MSC Class: 20C15; Secondary 20D30

A Case for Superconducting Accelerators

Authors: Swamit S. Tannu, Poulami Das, Michael L. Lewis, Robert Krick, Douglas M. Carmean, Moinuddin K. Qureshi

Abstract: As the scaling of conventional CMOS-based technologies slows down, there is growing interest in alternative technologies that can improve performance or energy-efficiency. Superconducting circuits based on Josephson Junction (JJ) is an emerging technology that can provide devices which can be switched with pico-second latencies and consuming two orders of magnitude lower switching energy compared… ▽ More As the scaling of conventional CMOS-based technologies slows down, there is growing interest in alternative technologies that can improve performance or energy-efficiency. Superconducting circuits based on Josephson Junction (JJ) is an emerging technology that can provide devices which can be switched with pico-second latencies and consuming two orders of magnitude lower switching energy compared to CMOS. While JJ-based circuits can provide high operating frequency and energy-efficiency, this technology faces three critical challenges: limited device density and lack of area-efficient technology for memory structures, reduced gate fanout compared to CMOS, and new failure modes of Flux-Traps that occurs due to the operating environment. The lack of dense memory technology restricts the use of superconducting technology in the near term to application domains that have high compute intensity but require negligible amount of memory. In this paper, we study the use of superconducting technology to build an accelerator for SHA-256 engines commonly used in Bitcoin mining applications. We show that merely porting existing CMOS-based accelerator to superconducting technology provides 10.6X improvement in energy efficiency. Redesigning the accelerator to suit the unique constraints of superconducting technology (such as low fanout) improves the energy efficiency to 12.2X. We also investigate solutions to make the accelerator tolerant of new fault modes and show how this fault-tolerant design can be leveraged to reduce the operating current, thereby increasing the overall energy-efficiency to 46X compared to CMOS. Our paper also develops a workflow for evaluating area, performance, and power for accelerators built in superconducting technology, and this workflow can help other researchers explore designs using this technology. △ Less

Submitted 14 February, 2019; v1 submitted 12 February, 2019; originally announced February 2019.

$p$-groups with exactly four codegrees

Authors: Sarah Croome, Mark L. Lewis

Abstract: Let $G$ be a $p$-group and let $χ$ be an irreducible character of $G$. The codegree of $χ$ is given by $|G:\text{ker}(χ)|/χ(1)$. Du and Lewis have shown that a $p$-group with exactly three codegrees has nilpotence class at most 2. Here we investigate $p$-groups with exactly four codegrees. If, in addition to having exactly four codegrees, $G$ has two irreducible character degrees, $G$ has largest… ▽ More Let $G$ be a $p$-group and let $χ$ be an irreducible character of $G$. The codegree of $χ$ is given by $|G:\text{ker}(χ)|/χ(1)$. Du and Lewis have shown that a $p$-group with exactly three codegrees has nilpotence class at most 2. Here we investigate $p$-groups with exactly four codegrees. If, in addition to having exactly four codegrees, $G$ has two irreducible character degrees, $G$ has largest irreducible character degree $p^2$, $|G:G'|=p^2$, or $G$ has coclass at most 3, then $G$ has nilpotence class at most 4. In the case of coclass at most 3, the order of $G$ is bounded by $p^7$. With an additional hypothesis we can extend this result to $p$-groups with four codegrees and coclass at most 7. In this case the order of $G$ is bounded by $p^{11}$. △ Less

Submitted 22 January, 2019; originally announced January 2019.

MSC Class: 20C15; 20D15

$p$-groups with $p^2$ as a codegree

Authors: Sarah Croome, Mark L. Lewis

Abstract: Let $G$ be a $p$-group and let $χ$ be an irreducible character of $G$. The codegree of $χ$ is given by $|G:\text{ker}(χ)|/χ(1)$. This paper investigates the relationship between the nilpotence class of a group and the inclusion of $p^2$ as a codegree. If $G$ is a finite $p$-group with coclass $2$ and order at least $p^5$, or coclass $3$ and order at least $p^6$, then $G$ has $p^2$ as a codegree. W… ▽ More Let $G$ be a $p$-group and let $χ$ be an irreducible character of $G$. The codegree of $χ$ is given by $|G:\text{ker}(χ)|/χ(1)$. This paper investigates the relationship between the nilpotence class of a group and the inclusion of $p^2$ as a codegree. If $G$ is a finite $p$-group with coclass $2$ and order at least $p^5$, or coclass $3$ and order at least $p^6$, then $G$ has $p^2$ as a codegree. With an additional hypothesis this result can be extended to $p$-groups with coclass $n\ge 3$ and order at least $p^{2n}$. △ Less

Submitted 7 November, 2018; originally announced November 2018.

MSC Class: 20C15; 20D15

Simple Groups Whose Prime Graph or Solvable Graph is Split

Authors: Mark L. Lewis, J. Mirzajani, A. R. Moghaddamfar, A. V. Vasil'ev, M. A. Zvezdina

Abstract: 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. 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. △ Less

Submitted 26 September, 2018; originally announced September 2018.

Comments: 22 pages, G2R2 (The International Conference and PhD-Master Summer School on Graphs and Groups, Representations and Relations)

Journal ref: Bull. Malays. Math. Sci. Soc, 2020, Vol. 43, no. 3, 2523-2547

Character codegrees of maximal class p-groups

Authors: Sarah Croome, Mark L. Lewis

Abstract: Let $G$ be a $p$-group and let $χ$ be an irreducible character of $G$. The codegree of $χ$ is given by $|G:\text{ker}(χ)|/χ(1)$. If $G$ is a maximal class $p$-group that is normally monomial or has at most three character degrees then the codegrees of $G$ are consecutive powers of $p$. If $|G|=p^n$ and $G$ has consecutive $p$-power codegrees up to $p^{n-1}$ then the nilpotence class of $G$ is at m… ▽ More Let $G$ be a $p$-group and let $χ$ be an irreducible character of $G$. The codegree of $χ$ is given by $|G:\text{ker}(χ)|/χ(1)$. If $G$ is a maximal class $p$-group that is normally monomial or has at most three character degrees then the codegrees of $G$ are consecutive powers of $p$. If $|G|=p^n$ and $G$ has consecutive $p$-power codegrees up to $p^{n-1}$ then the nilpotence class of $G$ is at most 2 or $G$ has maximal class. △ Less

Submitted 20 September, 2018; originally announced September 2018.

MSC Class: 20C15; 20D15

A Generalization of the Hughes Subgroup

Authors: Mark L. Lewis, Mario Sracic

Abstract: Let $G$ be a finite group, $π$ be a set of primes, and define $H_π(G)$ to be the subgroup generated by all elements of $G$ which do not have prime order for every prime in $π$. In this paper, we investigate some basic properties of $H_π(G)$ and its relationship to the Hughes subgroup. We show that for most groups, only one of three possibilities occur: $H_π(G) = 1$, $H_π(G)=G$, or… ▽ More Let $G$ be a finite group, $π$ be a set of primes, and define $H_π(G)$ to be the subgroup generated by all elements of $G$ which do not have prime order for every prime in $π$. In this paper, we investigate some basic properties of $H_π(G)$ and its relationship to the Hughes subgroup. We show that for most groups, only one of three possibilities occur: $H_π(G) = 1$, $H_π(G)=G$, or $H_π(G) = H_{p}(G)$ for some prime $p \in π$. There is only one other possibility: $G$ is a Frobenius group whose Frobenius complement has prime order $p$, and whose Frobenius kernel, $F$, is a nonabelian $q$-group such that $H_π(G)$ arises as a proper and nontrivial Hughes subgroup of $F$. We investigate a few restrictions on the possible choices of the primes $p$ and $q$. △ Less

Submitted 2 March, 2019; v1 submitted 20 September, 2018; originally announced September 2018.

Comments: 6 pages, exposition

Enumerating isoclinism classes of semi-extraspecial groups

Authors: Mark L. Lewis, Joshua Maglione

Abstract: 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. 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. △ Less

Submitted 12 September, 2018; v1 submitted 27 June, 2018; originally announced June 2018.

Journal ref: Proceedings of the Edinburgh Mathematical Society 63 (2020) 426-442

Splitting via Noncommutativity

Authors: M. L. Lewis, D. V. Lytkina, V. D. Mazurov, A. R. Moghaddamfar

Abstract: Let $G$ be a nonabelian group and $n$ a natural number. We say that $G$ has a strict $n$-split decomposition if it can be partitioned as the disjoint union of an abelian subgroup $A$ and $n$ nonempty subsets $B_1, B_2, \ldots, B_n$, such that $|B_i| > 1$ for each $i$ and within each set $B_i$, no two distinct elements commute. We show that every finite nonabelian group has a strict $n$-split decom… ▽ More Let $G$ be a nonabelian group and $n$ a natural number. We say that $G$ has a strict $n$-split decomposition if it can be partitioned as the disjoint union of an abelian subgroup $A$ and $n$ nonempty subsets $B_1, B_2, \ldots, B_n$, such that $|B_i| > 1$ for each $i$ and within each set $B_i$, no two distinct elements commute. We show that every finite nonabelian group has a strict $n$-split decomposition for some $n$. We classify all finite groups $G$, up to isomorphism, which have a strict $n$-split decomposition for $n = 1, 2, 3$. Finally, we show that for a nonabelian group $G$ having a strict $n$-split decomposition, the index $|G:A|$ is bounded by some function of $n$. △ Less

Submitted 6 June, 2018; originally announced June 2018.

Comments: 31 pages

MSC Class: 20D05

Journal ref: Taiwanese Journal of Mathematics, 2018

Constructing solvable groups with derived length four and four character degrees

Authors: Mark L. Lewis

Abstract: In this paper, we present a new method to construct solvable groups with derived length four and four character degrees. We then use this method to present a number of new families of groups with derived length four and four character degrees. In this paper, we present a new method to construct solvable groups with derived length four and four character degrees. We then use this method to present a number of new families of groups with derived length four and four character degrees. △ Less

Submitted 1 March, 2018; originally announced March 2018.

MSC Class: Primary: 20C15 Secondary: 20D10

Semi-extraspecial groups with an abelian subgroup of maximal possible order

Authors: Mark L. Lewis

Abstract: Let $p$ be a prime. A $p$-group $G$ is defined to be semi-extraspecial if for every maximal subgroup $N$ in $Z(G)$ the quotient $G/N$ is a an extraspecial group. In addition, we say that $G$ is ultraspecial if $G$ is semi-extraspecial and $|G:G'| = |G'|^2$. In this paper, we prove that every $p$-group of nilpotence class $2$ is isomorphic to a subgroup of some ultraspecial group. Given a prime… ▽ More Let $p$ be a prime. A $p$-group $G$ is defined to be semi-extraspecial if for every maximal subgroup $N$ in $Z(G)$ the quotient $G/N$ is a an extraspecial group. In addition, we say that $G$ is ultraspecial if $G$ is semi-extraspecial and $|G:G'| = |G'|^2$. In this paper, we prove that every $p$-group of nilpotence class $2$ is isomorphic to a subgroup of some ultraspecial group. Given a prime $p$ and a positive integer $n$, we provide a framework to construct of all the ultraspecial groups order $p^{3n}$ that contain an abelian subgroup of order $p^{2n}$. In the literature, it has been proved that every ultraspecial group $G$ order $p^{3n}$ with at least two abelian subgroups of order $p^{2n}$ can be associated to a semifield. We provide a generalization of semifield, and then we show that every semi-extraspecial group $G$ that is the product of two abelian subgroups can be associated with this generalization of semifield. △ Less

Submitted 27 October, 2017; originally announced October 2017.

MSC Class: 20D15

Classifying Character Degree Graphs With 6 Vertices

Authors: Mark W. Bissler, Jacob Laubacher, Mark L. Lewis

Abstract: We investigate prime character degree graphs of solvable groups that have six vertices. There are one hundred twelve non-isomorphic connected graphs with six vertices, of which all except nine are classified in this paper. We also completely classify the disconnected graphs with six vertices. We investigate prime character degree graphs of solvable groups that have six vertices. There are one hundred twelve non-isomorphic connected graphs with six vertices, of which all except nine are classified in this paper. We also completely classify the disconnected graphs with six vertices. △ Less

Submitted 10 August, 2018; v1 submitted 26 September, 2017; originally announced September 2017.

Comments: 14 pages, 7 figures. arXiv admin note: text overlap with arXiv:1707.03020

MSC Class: 20C15; 05C25; 20D10

Semi-extraspecial Groups

Authors: Mark L. Lewis

Abstract: We survey the results regarding semi-extraspecial $p$-groups. Semi-extraspecial groups can be viewed as generalizations of extraspecial groups. We present the connections between semi-extraspecial groups and Camina groups and VZ-groups, and give upper bounds on the order of the center and the orders of abelian normal subgroups. We define ultraspecial groups to be semi-extraspecial groups where the… ▽ More We survey the results regarding semi-extraspecial $p$-groups. Semi-extraspecial groups can be viewed as generalizations of extraspecial groups. We present the connections between semi-extraspecial groups and Camina groups and VZ-groups, and give upper bounds on the order of the center and the orders of abelian normal subgroups. We define ultraspecial groups to be semi-extraspecial groups where the center is as large as possible, and demonstrate a connection between ultraspecial groups that have at least two abelian subgroups whose order is the maximum and semifields. △ Less

Submitted 12 September, 2017; originally announced September 2017.

Comments: Expository paper

MSC Class: 20D15

A family of graphs that cannot occur as character degree graphs of solvable groups

Authors: Mark W. Bissler, Jacob Laubacher, Mark L. Lewis

Abstract: We investigate character degree graphs of solvable groups. In particular, we provide general results that can be used to eliminate which degree graphs can occur as solvable groups. Finally, we show a specific family of graphs cannot occur as a character degree for any solvable group. We investigate character degree graphs of solvable groups. In particular, we provide general results that can be used to eliminate which degree graphs can occur as solvable groups. Finally, we show a specific family of graphs cannot occur as a character degree for any solvable group. △ Less

Submitted 27 February, 2024; v1 submitted 10 July, 2017; originally announced July 2017.

Comments: 10 pages

MSC Class: 20C15 (Primary); 05C25; 20D10 (Secondary)

Itô's theorem and monomial Brauer characters

Authors: Xiaoyou Chen, Mark L. Lewis

Abstract: Let $G$ be a finite solvable group, and let $p$ be a prime. In this note, we prove that $p$ does not divide $\varphi(1)$ for every irreducible monomial $p$-Brauer character $\varphi$ of $G$ if and only if $G$ has a normal Sylow $p$-subgroup. Let $G$ be a finite solvable group, and let $p$ be a prime. In this note, we prove that $p$ does not divide $\varphi(1)$ for every irreducible monomial $p$-Brauer character $\varphi$ of $G$ if and only if $G$ has a normal Sylow $p$-subgroup. △ Less

Submitted 7 March, 2017; originally announced March 2017.

Comments: 3 page

MSC Class: 20C20

Groups with one or two super-Brauer character theories

Authors: Xiaoyou Chen, Mark L. Lewis

Abstract: A super-Brauer character theory of a group $G$ and a prime $p$ is a pair consisting of a partition of the irreducible $p$-Brauer characters and a partition of the $p$-regular elements of $G$ that satisfy certain properties. We classify the groups and primes that have exactly one super-Brauer character theory. We discuss the groups with exactly two super-Brauer character theories. A super-Brauer character theory of a group $G$ and a prime $p$ is a pair consisting of a partition of the irreducible $p$-Brauer characters and a partition of the $p$-regular elements of $G$ that satisfy certain properties. We classify the groups and primes that have exactly one super-Brauer character theory. We discuss the groups with exactly two super-Brauer character theories. △ Less

Submitted 28 February, 2017; originally announced March 2017.

Comments: 19 pages, 8 tables

MSC Class: 20C20