Computing generators of free modules over orders in group algebras.
From MaRDI portal
Abstract: Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. We give a necessary and sufficient condition for X to be free of given rank d over A. In the case that the Wedderburn decomposition of E[G] is explicitly computable and each component is in fact a matrix ring over a field, this leads to an algorithm that either gives an A-basis for X or determines that no such basis exists. Let L/K be a finite Galois extension of number fields with Galois group G such that E is a subfield of K and put d=[K:E]. The algorithm can be applied to certain Galois modules that arise naturally in this situation. For example, one can take X to be O_L, the ring of algebraic integers of L, and A to be the associated order A of O_L in E[G]. The application of the algorithm to this special situation is implemented in Magma under certain extra hypotheses when K=E=Q.
Recommendations
- Computing generators of free modules over orders in group algebras. II.
- Generators of maximal orders.
- Computing associated orders and Galois generating elements of unit lattices
- Relative Galois module structure of quadratic extensions
- On infinite rank integral representations of groups and orders of finite lattice type.
Cites work
- scientific article; zbMATH DE number 2186836 (Why is no real title available?)
- scientific article; zbMATH DE number 435565 (Why is no real title available?)
- scientific article; zbMATH DE number 3788760 (Why is no real title available?)
- scientific article; zbMATH DE number 44590 (Why is no real title available?)
- scientific article; zbMATH DE number 3477356 (Why is no real title available?)
- scientific article; zbMATH DE number 3477395 (Why is no real title available?)
- scientific article; zbMATH DE number 682077 (Why is no real title available?)
- scientific article; zbMATH DE number 3278303 (Why is no real title available?)
- scientific article; zbMATH DE number 967875 (Why is no real title available?)
- A Leopoldt-Type Result for Rings of Integers of Cyclotomic Extensions
- Advanced Topics in Computional Number Theory
- Algorithmic Number Theory
- An algorithm for the construction of a normal basis
- Computations in relative algebraic \(K\)-groups.
- Computing associated orders and Galois generating elements of unit lattices
- Construction of a normal basis for extensions of \(\mathbb Q\) with group \(D_4\)
- Construction of normal bases for absolute Galois extensions with quaternionic Galois group of order 12
- Normal integral bases for 𝐴₄ extensions of the rationals
- On arithmetical associated orders
- On the computation of all extensions of a \(p\)-adic field of a given degree
- On the equivariant structure of ideals in abelian extensions of local fields (with an appendix by W. Bley)
- On the ring of integers of a tame Kummer extension over a number field.
- Picard Groups and Refined Discrete Logarithms
- Relative Galois module structure of integers of abelian fields
- Relative Galois module structure of rings of integers of absolutely abelian number fields
- Relative Galois module structure of rings of integers of cyclomatic fields.
- Stably free rings of integers over \(\mathbb{Z}[H_8\times C_2]\)
- Sur l'arithmétique des extensions galoisiennes à groupe de Galois diédral d'ordre \(2p\)
- The Magma algebra system. I: The user language
- The ring of integers of an abelian number field.
- Über die Hauptordnung der ganzen Elemente eines abelschen Zahlkörpers.
Cited in
(11)- Generators of maximal orders.
- Hopf-Galois module structure of tamely ramified radical extensions of prime degree
- Computing isomorphisms between lattices
- On the existence of free sublattices of bounded index and arithmetic applications
- Generators, indecomposables and free algebras
- Numerical evidence for the equivariant Birch and Swinnerton-Dyer conjecture. II
- Leopoldt-type theorems for non-abelian extensions of \(\mathbb{Q}\)
- Computation of lattice isomorphisms and the integral matrix similarity problem
- Computing generators of free modules over orders in group algebras. II.
- On refined metric and Hermitian structures in arithmetic. I: Galois-Gauss sums and weak ramification
- On the rationality of Knörr's virtually irreducible lattices.
This page was built for publication: Computing generators of free modules over orders in group algebras.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q947499)
