Search Results

$\newcommand{\bQ}{\mathbb{Q}}\newcommand{\bZ}{\mathbb{Z}}\DeclareMathOperator{\Tor}{Tor}\newcommand{\Tors}{\mathrm{Tors}}$I tried to write up the computation with some level of details, please let me …

$\newcommand{\bZ}{\mathbb{Z}}$Let $G$ be a finite group of order divisible by $p:=\mathrm{char}\, F$ such that $\dim_F \mathrm{Hom}(G,F)\geq 2$ (e.g. $G=\bZ/p\times\bZ/p$). Take $V$ to be the kernel o …

Let $G$ be a group. It is well-known that $H_1(G,\mathbb{Z})=G/[G,G]$. Also (at least up to torsion) $[G,G]/[G,[G,G]]=\Lambda^2H^1(G,\mathbb{Z})/H_2(G,\mathbb{Z})$ as explained, for example, in this a …

This is the opposite to my last question case. Let $F$ be a totally real number field, $R$ is a quaternion algebra over $F$ unramified in at least one infinite place of $F$. Let $\mathcal{O}⊂R$ be an …

Let $F$ be a totally real number field, $R$ is a quaternion algebra over $F$ ramified in all infinite places of $F$. Let $\mathcal{O}\subset R$ be an order. By assumption on $R$ its group of units $\m …

I'm studying methods of computation of Galois group of irreducible polynomials over $\mathbb{Q}$. In case of fifth degree there are 5 variants of Galois group:$S_5,A_5,AGL_1(\mathbb{F}_5).D_5,\mathbb{ …