Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2401.07338 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866916498945081344 |
|---|---|
| author | Borner, Harald Lorenz, Falko |
| author_facet | Borner, Harald Lorenz, Falko |
| contents | We realize the Pauli group $P$ as Galois group of polynomials over the rational numbers. It is shown by construction that each pure polynomial in the infinite family
of the form $X^8+k^2$ for $k\neq λ^2, 2λ^2; k,λ\in \mathbb{Q}^*$ has Galois group $P$ over $\mathbb{Q}$. This form is also proven to be a necessary condition for a realization of $P$ by any 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 criterion for embedding a biquadratic extension into a normal extension with Galois group $Q_8$ via ternary quadratic forms.
This provides for a connection to the known realizability criteria for embeddings of $E_8=C_2^3$-extensions into one with the Pauli group as Galois group, and the interesting subtleties therein, via the equivalence of certain quaternion algebras. We thus show how to exactly extend Witt's result of 1936 to an embedding of $E_8$ into (and realization of $Q_8$ within) the Pauli group. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_07338 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The Pauli group as Galois group of irreducible pure polynomials over Q Borner, Harald Lorenz, Falko Number Theory Rings and Algebras 12F12, 12F10, 81P65, 81P68, 81R05, 97M80, 00A65, 11E20, 11R52, 16H05 We realize the Pauli group $P$ as Galois group of polynomials over the rational numbers. It is shown by construction that each pure polynomial in the infinite family of the form $X^8+k^2$ for $k\neq λ^2, 2λ^2; k,λ\in \mathbb{Q}^*$ has Galois group $P$ over $\mathbb{Q}$. This form is also proven to be a necessary condition for a realization of $P$ by any 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 criterion for embedding a biquadratic extension into a normal extension with Galois group $Q_8$ via ternary quadratic forms. This provides for a connection to the known realizability criteria for embeddings of $E_8=C_2^3$-extensions into one with the Pauli group as Galois group, and the interesting subtleties therein, via the equivalence of certain quaternion algebras. We thus show how to exactly extend Witt's result of 1936 to an embedding of $E_8$ into (and realization of $Q_8$ within) the Pauli group. |
| title | The Pauli group as Galois group of irreducible pure polynomials over Q |
| topic | Number Theory Rings and Algebras 12F12, 12F10, 81P65, 81P68, 81R05, 97M80, 00A65, 11E20, 11R52, 16H05 |
| url | https://arxiv.org/abs/2401.07338 |