Computing isomorphisms between lattices
From MaRDI portal
Publication:5118858
Abstract: Let K be a number field, let A be a finite dimensional semisimple K-algebra and let Lambda be an O_K-order in A. It was shown in previous work that, under certain hypotheses on A, there exists an algorithm that for a given (left) Lambda-lattice X either computes a free basis of X over Lambda or shows that X is not free over Lambda. In the present article, we generalise this by showing that, under weaker hypotheses on A, there exists an algorithm that for two given Lambda-lattices X and Y either computes an isomorphism X -> Y or determines that X and Y are not isomorphic. The algorithm is implemented in Magma for A=Q[G], Lambda=Z[G] and Lambda-lattices X and Y contained in Q[G], where G is a finite group satisfying certain hypotheses. This is used to investigate the Galois module structure of rings of integers and ambiguous ideals of tamely ramified Galois extensions of Q with Galois group isomorphic to Q_8 x C_2, the direct product of the quaternion group of order 8 and the cyclic group of order 2.
Recommendations
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 3651744 (Why is no real title available?)
- scientific article; zbMATH DE number 3657912 (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 46729 (Why is no real title available?)
- scientific article; zbMATH DE number 1236965 (Why is no real title available?)
- scientific article; zbMATH DE number 1305088 (Why is no real title available?)
- scientific article; zbMATH DE number 1952949 (Why is no real title available?)
- scientific article; zbMATH DE number 3998066 (Why is no real title available?)
- scientific article; zbMATH DE number 3245597 (Why is no real title available?)
- A note on cancellation in totally definite quaternion algebras
- Advanced Topics in Computional Number Theory
- Algorithmic Number Theory
- An algorithm for the construction of a normal basis
- An algorithm for the principal ideal problem in indefinite quaternion algebras
- Cancellation in totally definite quaternion algebras
- Computations in relative algebraic \(K\)-groups.
- Computing Hilbert Modular Forms over Fields with Nontrivial Class Group
- Computing associated orders and Galois generating elements of unit lattices
- Computing generators of free modules over orders in group algebras.
- Computing generators of free modules over orders in group algebras. II.
- Computing in arithmetic groups with Voronoï's algorithm.
- Computing in quotients of rings of integers
- Computing the character table of a finite group.
- Euclidean Rings
- Exact sequences and Galois module structure
- Fast Probabilistic Algorithms for Verification of Polynomial Identities
- Galois module structure of the square root of the inverse different in even degree tame extensions of number fields
- Nemo/Hecke. Computer algebra and number theory packages for the Julia programming language
- Normal Bases in Galois Extensions of Number Fields
- Normalbasis bei Körpern ohne höhere Verzweigung.
- On Fröhlich's conjecture for rings of integers of tame extensions
- On Representations of Orders Over Dedekind Domains
- On extensions of lattices
- On normal integral bases of local fields
- On the computation of the HNF of a module over the ring of integers of a number field
- On the construction of class fields
- On the square root of the inverse different
- Picard Groups and Refined Discrete Logarithms
- Projective modules over binary polyhedral groups.
- Recognition of division algebras.
- Some Problems of Galois Module Structure for Wild Extensions
- Stably free rings of integers over \(\mathbb{Z}[H_8\times C_2]\)
- The Galois structure of the square root of the inverse different
- The Magma algebra system. I: The user language
- The ring of integers of an abelian number field.
- Un anneau d'entiers stablement libre et non libre
- Über die Hauptordnung der ganzen Elemente eines abelschen Zahlkörpers.
Cited in
(7)- Testing isomorphism of lattices over CM-orders
- On the effective computation of isomorphisms between and GF
- Leopoldt-type theorems for non-abelian extensions of \(\mathbb{Q}\)
- On Computing Isomorphisms of Equation Orders
- Computation of lattice isomorphisms and the integral matrix similarity problem
- Computing generators of free modules over orders in group algebras. II.
- scientific article; zbMATH DE number 1302479 (Why is no real title available?)
This page was built for publication: Computing isomorphisms between lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5118858)
