arXiv subjects
Publications and source records attributed to Mark L. Lewis.
Let $G$ be a finite group and $p$ be a prime. We prove that if $G$ has three codegrees, then $G$ is an $M$-group. We prove for some prime $p$ that if every irreducible Brauer character of $G$ is a prime, then for every normal subgroup $N$ of $G$ either $G/N$ or $N$ is an $M_p$-group.
We generalize the enhanced power graph by replacing elements with conjugacy classes. The main result of this paper is to determine when this graph is triangle-free.
The nilpotent graph of a group $G$ is the simple and undirected graph whose vertices are the elements of $G$ and two distinct vertices are adjacent if they generate a nilpotent subgroup of $G$. Here we discuss some topological properties of the nilpotent graph of a finite group $G$. Indeed, we characterize finite solvable groups whose closed neighborhoods are nilpotent subgroups. Moreover, we study the connectivity of the graph $Γ(G)$ obtained removing all universal vertices from the nilpotent graph of $G$. Some upper bounds to the diameter of $Γ(G)$ are provided when $G$ belongs to some classes of groups.
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.
Let $D$ be an endomorphism on $\mathbb{Z}_m^n$ so that \[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).\] We call the sequence $\{D^α(\mathbf{u})\}_{α=0}^{\infty}$ the Ducci sequence of $\mathbf{u} \in \mathbb{Z}_m^n$, which always enters a cycle. Now let $H$ be an endomorphism on $\mathbb{Z}_m^n$ such that \[H(x_1, x_2, ..., x_n)=(x_2, x_3, ..., x_n, x_1).\] In this paper, we will talk about a few cases when $\mathbf{u}$ and $H^β(\mathbf{u})$ have the same Ducci cycle for $β> 0$, as well as prove a few cases of $n,m$ where this is guaranteed for every $\mathbf{u} \in \mathbb{Z}_m^n$.
Let $D: \mathbb{Z}_m^n \to \mathbb{Z}_m^n$ be defined so that \[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).\] We call $D$ the Ducci function and the sequence $\{D^α(\mathbf{u})\}_{α=0}^{\infty}$ the Ducci sequence of $\mathbf{u}$ for $\mathbf{u} \in \mathbb{Z}_m^n$. Every Ducci sequence enters a cycle, so we can let $\text{Per}(\mathbf{u})$ be the number of tuples in the Ducci cycle of $\mathbf{u}$, or the period of $\mathbf{u}$. In this paper, we will look at what different possible values of $\text{Per}(\mathbf{u})$ we can have and some conditions that if $\mathbf{u}$ meets at least one of them, $\mathbf{u}$ will generate a period smaller than the maximum period.
In this paper, we consider semi-extraspecial $p$-groups $G$ that have an automorphism of order $|G:G'| - 1$. We prove that these groups are isomorphic to Sylow $p$-subgroups of ${\rm SU}_3 (p^{2a})$ for some integer $a$. If $p$ is odd, this is equivalent to saying that $G$ is isomorphic to a Sylow $p$-subgroup of ${\rm SL}_3 (p^a)$.
Let $n$ be a non negative integer, and define $D_n$ to be the family of all finite groups having precisely $n$ conjugacy classes of nontrivial subgroups that are not self-normalizing. We are interested in studying the behavior of $D_n$ and its interplay with solvability and nilpotency. We first show that if $G$ belongs to $D_n$ with $n \le 3$, then $G$ is solvable of derived length at most 2. We also show that $A_5$ is the unique nonsolvable group in $D_4$, and that $SL_2(3)$ is the unique solvable group in $D_4$ whose derived length is larger than 2. For a group $G$, we define $D(G)$ to be the number of conjugacy classes of nontrivial subgroups that are not self-normalizing. We determine the relationship between $D(H \times K)$ and $D(H)$ and $D(K)$. We show that if $G$ is nilpotent and lies in $D_n$, then $G$ has nilpotency class at most $n/2$ and its derived length is at most $\log_2 (n/2) + 1$. We consider $D_n$ for several classes of Frobenius groups, and we use this classification to classify the groups in $D_0$, $D_1$, $D_2$, and $D_3$. Finally, we show that if $G$ is solvable and lies in $D_n$ with $n \ge 3$, then $G$ has derived length at most the minimum of $n-1$ and $3 \log_2 (n+1) + 9$.
Let $D: \mathbb{Z}_m^n \to \mathbb{Z}_m^n$ be defined 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).\] $D$ is known as the Ducci function and for $\mathbf{u} \in \mathbb{Z}_m^n$, $\{D^α(\mathbf{u})\}_{α=0}^{\infty}$ is the Ducci sequence of $\mathbf{u}$. Every Ducci sequence enters a cycle because $\mathbb{Z}_m^n$ is finite. In this paper, we aim to establish an upper bound for how long it will take for a Ducci sequence in $\mathbb{Z}_m^n$ to enter its cycle when $n$ is even.
Let $G$ be a finite group, and let $\text{Irr}(G)$ denote the set of the irreducible complex characters of $G$. An element $g\in G$ is called a vanishing element of $G$ if there exists $χ\in\text{Irr}(G)$ such that $χ(g)=0$ (i.e., $g$ is a zero of $χ$) and, in this case, the conjugacy class $g^G$ of $g$ in $G$ is called a vanishing conjugacy class. In this paper we consider several problems concerning vanishing elements and vanishing conjugacy classes; in particular, we consider the problem of determining the least number of conjugacy classes of a finite group $G$ such that every non-linear $χ\in\text{Irr}(G)$ vanishes on one of them. We also consider the related problem of determining the minimum number of non-linear irreducible characters of a group such that two of them have a common zero.
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)\] and let the Ducci sequence of $\mathbf{u}$ be the sequence $\{D^α(\mathbf{u})\}_{α=0}^{\infty}$. %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. In this paper, we will provide another proof that for $n=2^k$ and $m=2^l$, that all Ducci sequences will end in $(0,0,...,0)$ and additionally prove that this will happen in at most $2^{k-1}(l+1)$ iterations of $D$.
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).\] Call $\{D^α(\mathbf{u})\}_{α=0}^{\infty}$ the Ducci sequence of $\mathbf{u}$. Because $\mathbb{Z}_m^n$ is finite, every Ducci sequence will enter a cycle. In this paper, we will prove that if $n$ is odd and $m=2^lm_1$ where $m_1$ is odd, then the longest it will take for a Ducci sequence to enter its cycle is $l$ iterations. Furthermore, we will prove the set of all tuples in a cycle for $\mathbb{Z}_m^n$ is $\{(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\}$.
This article investigates neighborhoods' sizes in the enhanced power graph (as known as the cyclic graph) associated with a finite group. In particular, we characterize finite $p$-groups with the smallest maximum size for neighborhoods of nontrivial element in its enhanced power graph.
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$.
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.
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.
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.$
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.