Abstract:In the late 19th century, Klein inaugurated a program for describing the finite subgroups of $PGL_2(k)$ by treating the case in which the field $k$ is the complex numbers. Gierster and Moore extended Klein's arguments to deal with finite fields. In the past century, additional contributions to this problem were made by Serre, Suzuki, and Beauville, among others. We complete this program by giving a classification of the finite subgroups of $PGL_2(k)$ with order divisible by $p$, up to conjugation, for an arbitrary field $k$ of positive characteristic $p$.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to classify the finite subgroups of $PGL_2(k)$ over a field $k$ with any characteristic $p > 0$, especially those subgroups whose orders are divisible by $p$ (i.e., $p$-irregular subgroups). Specifically, the author aims to complete the classification of these subgroups and give a complete description up to conjugation. ### Background and Importance of the Problem 1. **Historical Background**: - At the end of the 19th century, Klein began to study the finite subgroups of $PGL_2(\mathbb{C})$ over the complex field. - Gierster and Moore extended Klein's method to finite fields. - In recent decades, Serre, Suzuki, Beauville and others have further studied this problem, especially over fields with arbitrary characteristics. 2. **Existing Results**: - For subgroups with characteristic zero or coprime to the characteristic, there are relatively complete classification results. - But for $p$-irregular subgroups over a field with characteristic $p > 0$, there is still a lack of comprehensive classification. ### Main Contributions of the Paper 1. **New Classification**: - The author has completed the classification of the finite $p$-irregular subgroups of $PGL_2(k)$ over any field $k$ with characteristic $p > 0$. - Given the precise conditions for the existence of these subgroups (Theorem A) and the classification of conjugate classes (Theorem B). 2. **Main Results**: - $p$-irregular subgroups can be $PSL_2(\mathbb{F}_q)$ or $PGL_2(\mathbb{F}_q)$, where $q$ is a power of the characteristic of $k$. - They can also be $p$-semi - elementary groups, dihedral groups or the alternating group $A_5$. 3. **Technical Means**: - Galois cohomology and classification results over separably closed fields are used. - Through the study of conjugate classes, the problem is simplified to the case of separably closed fields. ### Representation of Formulas - $PGL_2(k)=GL_2(k)/k^{\times}$ - $s.z = \frac{\alpha z+\beta}{\gamma z + \delta}$ - $\text{det}(s)=\alpha\delta-\beta\gamma$ ### Summary This paper has solved the classification problem of the finite $p$-irregular subgroups of $PGL_2(k)$ over any field $k$ with characteristic $p > 0$. By introducing new techniques and methods, the author has not only filled this gap in the field but also provided an important foundation for subsequent research.

Finite p-Irregular Subgroups of PGL(2,k)

The Discrete Subgroups and Jørgensen’s Inequality for SL(m,ℂ P )

Unexpected subgroup schemes of PGL_{2,k} in characteristic 2

On the realization of subgroups of $PGL(2,F)$, and their automorphism groups, as Galois groups over function fields

On Linear-Groups over Finite-Fields

On $p$-groups with a maximal elementary abelian normal subgroup of rank $k$

A class of finite $p$-groups and the normalized unit groups of group algebras

$p$-group Galois covers of curves in characteristic $p$ II

On pseudo-real finite subgroups of $\operatorname{PGL}_3(\mathbb{C})$

A class of finite p-groups and the normalized unit groups of group algebras

Deformation subspaces of p-divisible groups as formal Lie groups associated to p-divisible groups

Conjugacy classes in PSL(2, K)

l-modular representations of p-adic groups SLn(F): maximal simple k-types

Conjugating Representations in $PGL(k, \mathbb{C})$ into $PGL(k, \mathbb{R})$

Conjectures and results on modular representations of $\mathrm{GL}_n(K)$ for a $p$-adic field $K$

On the $p$-divisibility of even $K$-groups of the ring of integers of a cyclotomic field

Finite groups in which every irreducible character has either $p'$-degree or $p'$-codegree

On computing finite index subgroups of PSL(2,Z)

The fundamental group of the $p$-subgroup complex

Finite p-central groups of height k

Neat locally compact abelian p-groups