Abstract:We realize the Pauli group $P$ as Galois group of polynomials over the rational numbers. It is shown by construction that it is possible to find \textit{pure} polynomials of the form $X^8+k^2$ for $k\neq \lambda^2, 2\lambda^2; k,\lambda \in \mathbb{N}$, that provide an infinite family of such Galois extensions. This form is also proven to be a necessary condition for a realization of $P$ by an irreducible \textit{pure} polynomial of degree 8. It automatically provides a realization of the quaternion group $Q_8$ by pure polynomials over a quadratic extension of $\mathbb{Q}$, whereas it is shown to be impossible to realize $Q_8$ over $\mathbb{Q}$ by any pure polynomial of degree 8. We link the results to Witt's theory of embedding criteria for the quaternion group via ternary quadratic forms over $\mathbb{Q}$. This provides for a connection to general realizability criteria for embeddings of some finite groups into the Pauli group, and the interesting subtleties therein, via the equivalence of certain quaternion algebras. We thus show how to extend Witt's result of 1936 to an embedding of $Q_8$ into the Pauli group.

A Worked out Galois Group for the Classroom

Elementary characterization for Galois groups of $x^6+ax^3+b$ and $x^{12}+ax^6+b$

On the Galois group of a reciprocal even octic polynomial

Monogenic Quartic Polynomials and Their Galois Groups

The Pauli group as Galois group of irreducible pure polynomials over Q

Realizing cyclic linear transformations as Frobenius elements in the Galois groups of $q$-polynomials over function fields

The relative class number one problem for function fields, II

Monogenic Even Octic Polynomials and Their Galois Groups

Monogenic trinomials of the form $x^4+ax^3+d$ and their Galois groups

17T7 is a Galois group over the rationals

Numerical Computation of Galois Groups

AN Elementary Characterization of the Galois Group of a Doubly Even Octic Polynomial

Iterates of polynomials over $\F_q(t)$ and their Galois groups

Galois module structure of algebraic integers of cyclic cubic fields

Arboreal Galois groups for quadratic rational functions with colliding critical points

Arboreal Galois groups for cubic polynomials with colliding critical points

Lusztig's Jordan decomposition and a finite field instance of relative Langlands duality

Abelian surfaces over finite fields with prescribed groups

Linearization of polynomials in prime characteristic, with applications to the Golay code and Steiner system

Kummer theory for function fields