Related papers: Explicit Artin maps into ${\rm PGL}_2$

Let $\mathbb{F}_q$ be the finite field with $q$ elements, where $q$ is a power of a prime $p$. Recently, a particular action of the group $\mathrm{GL}_2(\mathbb F_q)$ on irreducible polynomials in $\mathbb F_q[x]$ has been introduced and…

Extending the results of [Asian J. Math. 2019], in [Doc. Math. \textbf{21}, 2016] we calculated explicitly the number of isomorphism classes of superspecial abelian surfaces over an arbitrary finite field of \textit{odd} degree over the…

We study cyclic finite Galois extensions of the rational function field of the projective line P^{1}(F_q) over a finite field F_q with q elements defined by considering quotient curves by finite subgroups of the projective linear group…

Consider the mapping class group $\Mod_{g,p}$ of a surface $\Sigma_{g,p}$ of genus $g$ with $p$ punctures, and a finite collection $\{f_1,...,f_k\}$ of mapping classes, each of which is either a Dehn twist about a simple closed curve or a…

For a prime p, we study the Galois groups of maximal pro-$p$ extensions of imaginary quadratic fields unramified outside a finite set $S$, where $S$ consists of one or two finite places not lying above $p$. When $p$ is odd, we give explicit…

Let $\mathbb F$ be a local field and $G$ be a linear algebraic group defined over $\mathbb F$. For $k\in\mathbb N$, let $g\to g^k$ be the $k$-th power map $P_k$ on $G(\mathbb F)$. The purpose of this article is two-fold. First, we study the…

We prove that for any affine variety S defined over Q there exist Shephard and Artin groups G such that a Zariski open subset U of S is biregular isomorphic to a Zariski open subset of the character variety Hom(G, PO(3))//PO(3). The subset…

In 2003, Fomin and Zelevinsky proved that finite type cluster algebras can be classified by Dynkin diagrams. Then in 2013, Barot and Marsh defined the presentation of a reflection group associated to a Dynkin diagram in terms of an…

In this paper we study prime graphs of finite groups. The prime graph of a finite group $G$, also known as the Gruenberg-Kegel graph, is the graph with vertex set {primes dividing $|G|$} and an edge $p$-$q$ if and only if there exists an…

The product formula of Artin symbols (norm residue symbols) is an important equality that connects local and global class field theory. Usually, the product formula of Artin symbols is considered in abelian extensions of global fields. In…

In the present paper, we shall show that for any prime number p, every finite p-group occurs as the Galois Group of the maximal unramified p-extension over a certain number field of finite degree. We shall also show that for any given…

We introduce a new class of finite groups, called weak almost monomial, which generalize two different notions of "almost monomial" groups, and we prove it is closed under taking factor groups and direct products. Let $K/\mathbb Q$ be a…

We establish some new cases of Artin's conjecture. Our results apply to Galois representations over $\Q$ with image $S_5$ satisfying certain local hypotheses, the most important of which is that complex conjugation is conjugate to…

Clean markings on surfaces were a key component in Masur and Minsky's hierarchy machinery, which proved to be a powerful tool in the study of mapping class groups. We construct a marking graph for irreducible finite-type Artin groups which…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

Artin's representation is an injective homomorphism from the braid group $B_n$ on $n$ strands into $\operatorname{Aut}\mathbb{F}_n$, the automorphism group of the free group $\mathbb{F}_n$ on $n$ generators. The representation induces maps…

Let $p$ be a prime number and $\mathbb{Z}_p=\mathbb{Z}/p\mathbb{Z}$. We study finite groups with abelian derived subgroup and exponent $p$ in terms of group extension data and their matrix presentations. We show a one-to-one correspondence…

Let $q$ be a power of a prime number $p$. Let $k=\mathbb{F}_{q}(t)$ be the rational function field with constant field $\mathbb{F}_{q}$. Let $K=k(\alpha)$ be an Artin-Schreier extension of $k$. In this paper, we explicitly describe the…

Let $q$ be an odd prime power and let $\F_q$ be the finite field with $q$ elements. Let $\mathcal{P}(n)$ be the set of monic irreducible polynomials of degree $n$ over $\mathbb{F}_q$. For $f=t^n+f_{n-1}t^{n-1}+\cdots+f_0\in\mathcal{P}(n)$,…

A new class of groups $\mathcal{C}$, containing all coherent RAAGs and all toral relatively hyperbolic groups, is defined. It is shown that, for a group $G$ in the class $\mathcal{C}$, the $\mathbb{Z}[t]$-exponential group…