mathswitch — infrastructure for relaying and exchanging mathematical concepts

Normalizer of a non-split Cartan subgroup

For $p>2$ the **normalizer of a non-split Cartan subgroup** of $\GL_2(\F_p)$ is a maximal subgroup of $\GL_2(\F_p)$ that contains a {{KNOWL('gl2.nonsplit_cartan', 'non-split Cartan subgroup')}} with index 2, and it is the normalizer in $\GL_2(\F_p)$ of the non-split Cartan subgroup it contains. For $p=2$ the normalizer of a non-split Cartan subgroup is defined to be all of $\GL_2(\F_2)$, which contains its (already normal) non-split Cartan subgroup with index 2. For $p>2$ the label **Nn** identifies the normalizer of the nonsplit Cartan subgroup generated by the non-split Cartan subgroup **Cn** and the matrix \[ \begin{pmatrix}1&0\\0&-1\end{pmatrix}, \] and every normalizer of a non-split Cartan subgroup is conjugate to the group **Nn**. The label **Nn.a.b** denotes the proper subgroup of the normalizer of the nonsplit Cartan subgroup **Nn** generated by the matrices \[ \begin{pmatrix}a&\varepsilon b\\b&a\end{pmatrix}, \begin{pmatrix}1&0\\0&-1\end{pmatrix}. \] where $a$ and $b$ are minimally chosen positive integers and $\varepsilon$ is the least positive integer generating $(\Z/p\Z)^\times\simeq \F_p^\times$, as defined in \cite{MR3482279}.

The L-functions and modular forms database: Normalizer of a non-split Cartan subgroup