res.gap

Definition of $M_G$
Let $G$ be a finite subgroup of $\mathrm{GL}(n,\mathbb{Z})$. The $G$-lattice $M_G$ of rank $n$ is defined to be the $G$-lattice with a $\mathbb{Z}$-basis $\{u_1,\ldots,u_n\}$ on which $G$ acts by $\sigma(u_i)=\sum_{j=1}^n a_{i,j}u_j$ for any $ \sigma=[a_{i,j}]\in G$.

ResH2

ResH2(G,H)
returns the record r=(H2G, H2Ggen, H2H, H2Hgen, ResMat) where H2G is the abelian invariants of $H^2(G,M_G)$, i.e. AbelianInvariants($H^2(G,M_G)$), H2Ggen is the list of generators of $H^2(G,M_G)$, H2H is the abelian invariants of $H^2(H,M_H)$, i.e. AbelianInvariants($H^2(H,M_H)$), H2Hgen is the list of generators of $H^2(H,M_H)$, ResMat is the representation matrix of the restriction map ${\rm res} : H^2(G,M_G)\rightarrow H^2(H,M_H)$ for a finite subgroup $G \leq \mathrm{GL}(n,\mathbb{Z})$ and subgroup $H \leq G$. When $H^2(G,M_G)=0$ or $H^2(H,M_H)=0$, error occurs.

H2nrM

H2nrM(G)
returns the record r=(H2G, H2Ggen, H2nrM, H2nrMgen) where H2G is the abelian invariants of $H^2(G,M_G)$, i.e. AbelianInvariants($H^2(G,M_G)$), H2Ggen is the list of generators of $H^2(G,M_G)$, H2nrM is the abeliants of a direct factor $H^2_{\rm nr}(G,M_G)$ of the unramified Brauer group ${\rm Br}_{\rm nr}(\mathbb{C}(M)^G)$, i.e. AbelianInvariants($H^2_{\rm nr}(G,M_G)$), which is defined to be \[ H^2_{\rm nr}(G,M_G)=\bigcap_{A} {\rm Ker}( {\rm res} : H^2(G,M)\rightarrow H^2(A,M)) \] where $A$ runs over all the bicyclic subgroups of $G$, H2nrMgen is the list of generators of $H^2_{\rm nr}(G,M_G)$ for a finite subgroup $G \leq \mathrm{GL}(n,\mathbb{Z})$. When $H^2(G,M_G)=0$, error occurs.

References

[HKY23] Akinari Hoshi, Ming-chang Kang and Aiichi Yamasaki, Multiplicative Invariant Fields of Dimension ≤ 6, Mem. Amer. Math. Soc. 283 (2023) no. 1403, vi+137 pp. AMS Preprint version: arXiv:1609.04142.