Stably free rings of integers over \(\mathbb{Z}[H_8\times C_2]\)
type: Item
instance of: scholarly article
title: Stably free rings of integers over \(\mathbb{Z}[H_8\times C_2]\)
zbMATH Open document ID: 0924.11093
author: Jean Cougnard
published in: Journal de Théorie des Nombres de Bordeaux
publication date: 1999-06-23T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/232389
full work available at URL: jtnb1998-1.html
review text: Let \(G= H_8\times C_2\), the direct product of the quaternion group of order 8 with a cyclic group of order 2. It is known that there are four isomorphism classes of non-free stably free \(\mathbb{Z} G\)-modules. The aim of this paper is to show that each of these four classes is represented infinitely often by rings of integers \({\mathcal O}_N\), where \(N\) is a tamely ramified Galois extension of \(\mathbb{Q}\) with Galois group \(G\). This bald statement of the result hides the immense amount of calculation that is needed; these calculations will be of independent interest to anyone who whishes to compute explicitly with quaternionic and related extensions of the rational numbers. Sections I to V detail the method of constructing quaternionic and \(G\)-extensions of \(\mathbb{Q}\), together with an analysis of the ambiguous ideals in such extensions and their quadratic and biquadratic subfields. The methods are adaptions of those used by Witt and Martinet. Section VI reviews the computation of the locally free class group of \(\mathbb{Q} G\), and identifies the isomorphism classes of non-free stably free \(\mathbb{Z} G\)-modules in terms of units of the local ring \(\mathbb{F}_2 H_8\), thus recovering results due to Swan. These ingredients are combined in section VII to produce explicit infinite families of extensions, as promised. Finally, the author considers a numerical example that contains the field \(\mathbb{Q} (\sqrt{1001}, \sqrt{2805})\).
Mathematics Subject Classification ID: 11R33
Mathematics Subject Classification ID: 20C10
Mathematics Subject Classification ID: 11R20
Mathematics Subject Classification ID: 19A13
zbMATH DE Number: 1229653
zbMATH Keywords: quaternionic extension
zbMATH Keywords: biquadratic bicyclic extension
zbMATH Keywords: non-free stably free module
zbMATH Keywords: class group
zbMATH Keywords: representations by rings of algebraic integers
zbMATH Keywords: ambiguous ideals
describes a project that uses: PARI/GP
MaRDI profile type: Publication
OpenAlex ID: W2319875972
cites work: Un anneau d'entiers stablement libre et non libre
cites work: Explicit construction of \(\tilde A_ n\) type fields
cites work: Artin-root numbers and normal integral bases for quaternion fields
cites work: Locally free modules over arithmetic orders.
cites work: Arithmetic and Galois module structure for tame extensions.
cites work: Q3966247
cites work: Genera and decompositions of lattices over orders
cites work: On the K ‐theory of the quaternion group
cites work: Q3877755
cites work: Modules sur l'algèbre du groupe quaternionien
cites work: Q5644058
cites work: Q4132637
cites work: Introduction to Algebraic K-Theory. (AM-72)
cites work: Q4115217
cites work: Q5342335
cites work: Induced representations and projective modules
cites work: Projective modules over group rings and maximal orders
cites work: Q3934492
cites work: Projective modules over binary polyhedral groups.
cites work: On Fröhlich's conjecture for rings of integers of tame extensions
cites work: Normal Bases in Galois Extensions of Number Fields
DOI: 10.5802/JTNB.224
Recommended article: Q4541494
Recommended article: Un anneau d'entiers stablement libre et non libre
Recommended article: Stably Free Modules Over Rings of Generalised Integer Quaternions
Recommended article: STABLY FREE MODULES OVER ARE FREE
Recommended article: SOME RINGS WITH MANY NON-FREE STABLY FREE MODULES
Recommended article: Some results on \(n\)-stable rings
Recommended article: Q5004258
Recommended article: On stably free modules over Laurent polynomial rings
Recommended article: Q3786589
Recommended article: 8-ranks of \(K_2\) of rings of integers in quadratic number fields
description: scientific article; zbMATH DE number 1229653