Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2611.08691

The quaternionic reflection groups with imprimitive complexifications and the finite subgroups of GL(2,C)

Shayne Waldron
View original source ↗Read source document ↗Export metadata ↓

Abstract

We give a transparent development of the quaternionic reflection groups which have imprimitive complexifications, including a description of their reflections and the corresponding normal reflection subgroups. They are seen to be of rank one or rank two, and are obtained from minimal complex reflection groups by the addition of one quaternionic reflection and a complex scalar matrix of finite order. In the case of the rank two groups, we use our techniques to consider the broader question of what are the minimal irreducible subgroups of GL(2,C) with a given collineation group. This leads to a complete classification of the finite irreducible subgroups of GL(2,C) in terms of the minimal groups, with the groups giving rise to quaternionic reflection groups located within it.

Explore related subjects

math.GRmath.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Shayne Waldron. 2026-11-05. The quaternionic reflection groups with imprimitive complexifications and the finite subgroups of GL(2,C). https://arxiv.org/abs/2611.08691

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Bounds on Negligible Thresholds in Group Cohomology

Let $F$ be a field, $K/F$ a field extension with $Γ_K:=\text{Gal}(K_\text{sep}/K)$, $G$ a finite group, $j:Γ_K\rightarrow G$ a continuous group homomorphism, and $M$ an abelian group. There is an induced map of profinite cohomology $j^*:H^n (G;M)\rightarrow H^n (K;M)=:H^n (Γ_K;M)$. An element $u\in H^n (G;M)$ is negligible over $F$ if $j^* (u)=0$ for all such $j$ and field extensions $K/F$. The subset of negligible elements forms a subgroup $H^n (G;M)_{\text{neg},F}\subseteq H^n (G;M)$. The negligible threshold $\text{nthres}^G_F (M)$ is the smallest $N\in\mathbb{N}_{\geq 0}\cup\{\infty\}$ such that $H^n (G;M)_{\text{neg},F}=H^n (G;M)$ for all $n\geq N$. In this paper, we first establish some general bounds for negligible thresholds of arbitrary triples $(G,M,F)$ consisting of a finite group $G$, trivial $G$-module $M$, and field $F$. We then compute the negligible thresholds of an arbitrary group when $F$ is a field of characteristic $p$ and $M=\mathbb{Z}/p^k\mathbb{Z}$. Continuing in the characteristic $p$ setting, we compute these thresholds for $G$ a $p$-group and $M=\mathbb{Z}$, and we compute the thresholds for $G=\mathbb{Z}/\ell\mathbb{Z},M=\mathbb{Z}/s\mathbb{Z}$ for integers $s,\ell\in\mathbb{N}_{>1}$ satisfying certain number theoretic conditions. For fields containing sufficiently many roots of unity, we show that the negligible threshold of odd exponent finitely-generated trivial $G$-modules is finite. For $G$-modules of the form $\mathbb{Z}/p\mathbb{Z}$, $p$ an odd prime, we compute an explicit upper bound for the negligible threshold in terms of $p$ and $|G|$. We conclude by providing explicit computations of the negligible thresholds of elementary abelian $p$-groups with mod-$p$ coefficients, negligible thresholds of cyclic groups, and bounds on mod-$p$ negligible thresholds of general finite abelian $p$-groups.

math.GR↗
arXiv2026

On the triple product property for subgroups of finite groups of nilpotency class $2$

Some non-trivial upper bounds are proved relating to the triple product property (TPP) for subgroups of finite nilpotent groups of class $2$ using elementary group theory. The TPP is the property defined for three non-empty subsets $S, T, U$ of a group $G$ that the group equation $s's^{-1}t't^{-1}u'u^{-1} = 1$, over pairs of elements $s', s \in S$, $t', t \in T$, $u', u \in U$, is satisfied if and only if $s' = s$, $t' = t$, $u' = u$. When $G$ is finite, and the parameter $ρ_0(G)$, called \emph{subgroup TPP ratio}, is defined as $ρ_0(G) := \max\frac{|S||T||U|}{|G|}$, where the maximum is over the collection of all triples of subgroups $S, T, U$ of $G$ satisfying the TPP, this paper proves that \textup{(1)} $ρ_0(G) < \sqrt{G:Z(G)}$} for (all) groups of nilpotency class $2$, \textup{(2)} $ρ_0(G) \leq p$ for $p$-groups with a cyclic commutator subgroup of order $p$, \textup{(3)} $ρ_0(G) = 1$ for $p$-groups of nilpotency class $2$ with a "large" centre such that either $G/Z(G)$ is isomorphic to $C_p \times C_p$ or $C_{p^2} \times C_p$, \textup{(4)} and $ρ_0(G) = 1$ for $p$-groups of nilpotency class $2$ with "small" (irreducible, complex) character degrees of $1$ or $p$ where $G/Z(G)$ is not isomorphic to $C_p \times C_p \times C_p$.

math.GR↗