Showing 1–8 of 8 results for author: Humphries, S P

Strong Gelfand Pairs of the Symplectic Group $\boldsymbol{\rm Sp}_4(q)$ where $q$ is even

Authors: Stephen P. Humphries, Joseph E. Marrow

Abstract: A strong Gelfand pair $(G,H)$ is a finite group $G$ together with a subgroup $H$ such that every irreducible character of $H$ induces to a multiplicity-free character of $G$. We classify the strong Gelfand pairs of the finite symplectic groups ${\rm Sp}_4(q)$ for even $q$. A strong Gelfand pair $(G,H)$ is a finite group $G$ together with a subgroup $H$ such that every irreducible character of $H$ induces to a multiplicity-free character of $G$. We classify the strong Gelfand pairs of the finite symplectic groups ${\rm Sp}_4(q)$ for even $q$. △ Less

Submitted 28 April, 2025; originally announced April 2025.

Almost Commutative Terwilliger Algebras of Group Association Schemes I: Classification

Authors: Nicholas L. Bastian, Stephen P. Humphries

Abstract: Terwilliger algebras are a subalgebra of a matrix algebra that are constructed from association schemes over finite sets. In 2010, Rie Tanaka defined what it means for a Terwilliger algebra to be almost commutative. In that paper she gave five equivalent conditions for a Terwilliger algebra to be almost commutative. In this paper, we provide a classification of which groups result in an almost com… ▽ More Terwilliger algebras are a subalgebra of a matrix algebra that are constructed from association schemes over finite sets. In 2010, Rie Tanaka defined what it means for a Terwilliger algebra to be almost commutative. In that paper she gave five equivalent conditions for a Terwilliger algebra to be almost commutative. In this paper, we provide a classification of which groups result in an almost commutative Terwilliger algebra when looking at the group association scheme (the Schur ring generated by the conjugacy classes of the group). In particular, we show that all such groups are either abelian, or Camina groups. Following this classification, we then compute the dimension and non-primary primitive idempotents for each Terwilliger algebra of this form for the first three types of groups whose group association scheme gives an almost commutative Terwilliger algebra. The final case will be considered in a second paper. △ Less

Submitted 13 September, 2024; originally announced September 2024.

Comments: Submitted to Discrete Mathematics

MSC Class: 05E30

Schur rings over ${\bf {\rm Sp}(n,2)}$ and multiplicity one subgroups

Authors: Stephen P. Humphries

Abstract: We study commutative Schur rings over the symplectic groups Sp$(n,2)$ containing the class $\mathcal C$ of symplectic transvections. We find the possible partitions of $\mathcal C$ determined by the Schur ring. We show how this restricts the possibilities for multiplicity one subgroups of Sp$(n,2)$. We study commutative Schur rings over the symplectic groups Sp$(n,2)$ containing the class $\mathcal C$ of symplectic transvections. We find the possible partitions of $\mathcal C$ determined by the Schur ring. We show how this restricts the possibilities for multiplicity one subgroups of Sp$(n,2)$. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: 28 pages; one figure

MSC Class: 05B10

Strong Gelfand Pairs of SL(2,p)

Authors: Andrea Barton, Stephen P. Humphries

Abstract: A strong Gelfand pair (G,H) is a group G together with a subgroup H such that every irreducible character of H induces a multiplicity-free character of G. We classify the strong Gelfand pairs of the special linear groups SL(2, p) where p is a prime. A strong Gelfand pair (G,H) is a group G together with a subgroup H such that every irreducible character of H induces a multiplicity-free character of G. We classify the strong Gelfand pairs of the special linear groups SL(2, p) where p is a prime. △ Less

Submitted 23 August, 2021; originally announced August 2021.

Comments: Preprint of an article submitted for consideration in Journal of Algebra and Its Applications \c{opyright} 2021 [copyright World Scientific Publishing Company] https://www.worldscientific.com/worldscinet/jaa

Difference sets disjoint from a subgroup II: groups of order $4p^2$

Authors: Stephen P. Humphries, Nathan L. Nicholson

Abstract: We study finite groups $G$ having a normal subgroup $H$ and $D \subset G \setminus H, D \cap D^{-1}=\emptyset,$ such that the multiset $\{ xy^{-1}:x,y \in D\}$ has every non-identity element occur the same number of times (such a $D$ is called a {\it DRAD difference set}). We show that there are no such groups of order $4p^2$, where $p$ is an odd prime. We study finite groups $G$ having a normal subgroup $H$ and $D \subset G \setminus H, D \cap D^{-1}=\emptyset,$ such that the multiset $\{ xy^{-1}:x,y \in D\}$ has every non-identity element occur the same number of times (such a $D$ is called a {\it DRAD difference set}). We show that there are no such groups of order $4p^2$, where $p$ is an odd prime. △ Less

Submitted 17 March, 2021; originally announced March 2021.

Comments: 15 pages

MSC Class: 05B10

Difference sets disjoint from a subgroup

Authors: Courtney Hoagland, Stephen P. Humphries, Seth Poulsen

Abstract: We study finite groups $G$ having a subgroup $H$ and $D \subset G \setminus H$ such that the multiset $\{ xy^{-1}:x,y \in D\}$ has every non-identity element occur the same number of times (such a $D$ is called a {\it difference set}). We show that $H$ has to be normal, that $|G|=|H|^2$, and that $|D \cap Hg|=|H|/2$ for all $g \notin H$. We show that $H$ is contained in every normal subgroup of pr… ▽ More We study finite groups $G$ having a subgroup $H$ and $D \subset G \setminus H$ such that the multiset $\{ xy^{-1}:x,y \in D\}$ has every non-identity element occur the same number of times (such a $D$ is called a {\it difference set}). We show that $H$ has to be normal, that $|G|=|H|^2$, and that $|D \cap Hg|=|H|/2$ for all $g \notin H$. We show that $H$ is contained in every normal subgroup of prime index, and other properties. We give a $2$-parameter family of examples of such groups. We show that such groups have Schur rings with four principal sets. △ Less

Submitted 20 March, 2017; originally announced March 2017.

MSC Class: 05B10

Weak Cayley table groups of some crystallographic groups

Authors: Stephen P. Humphries, Rebeca A. Paulsen

Abstract: For a group $G$, a weak Cayley isomorphism is a bijection $f:G \to G$ such that $f(g_1g_2)$ is conjugate to $ f(g_1)f(g_2)$ for all $g_1,g_2 \in G$. They form a group $\mathcal W(G)$ that is the group of symmetries of the weak Cayley table of $G$. We determine $\mathcal W(G)$ for each of the seventeen wallpaper groups $G$, and for some other crystallographic groups. For a group $G$, a weak Cayley isomorphism is a bijection $f:G \to G$ such that $f(g_1g_2)$ is conjugate to $ f(g_1)f(g_2)$ for all $g_1,g_2 \in G$. They form a group $\mathcal W(G)$ that is the group of symmetries of the weak Cayley table of $G$. We determine $\mathcal W(G)$ for each of the seventeen wallpaper groups $G$, and for some other crystallographic groups. △ Less

Submitted 11 March, 2016; originally announced March 2016.

MSC Class: 20C15

Commutative Schur Rings Over Symmetric Groups II: The Case n=6

Authors: Amanda E. Francis, Stephen P. Humphries

Abstract: We determine the commutative Schur rings over $S_6$ that contain the sum of all the transpositions in $S_6$. There are eight such types (up to conjugacy), of which four have the set of all the transpositions as a principal set of the Schur ring. We determine the commutative Schur rings over $S_6$ that contain the sum of all the transpositions in $S_6$. There are eight such types (up to conjugacy), of which four have the set of all the transpositions as a principal set of the Schur ring. △ Less

Submitted 21 August, 2015; originally announced August 2015.