Linear algebra over Z_p[[u]] and related rings

DOI10.1112/S146115701300034XMaRDI QIDQ2878808zbMATH OpenFDO

Authors Xavier Caruso, David Lubicz

Publication date 5 September 2014

Published in LMS Journal of Computation and Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1212.1053

Mathematics Subject Classification ID

Algebraic number theory computations (11Y40) Theory of modules and ideals in commutative rings (13C99) Formal power series rings (13F25) Computational aspects and applications of commutative rings (13P99)

Abstract: Let R be a complete discrete valuation ring, S=Ru and n a positive integer. The aim of this paper is to explain how to compute efficiently usual operations such as sum and intersection of sub-S-modules of S^d. As S is not principal, it is not possible to have a uniform bound on the number of generators of the modules resulting of these operations. We explain how to mitigate this problem, following an idea of Iwasawa, by computing an approximation of the result of these operations up to a quasi-isomorphism. In the course of the analysis of the p-adic and u-adic precisions of the computations, we have to introduce more general coefficient rings that may be interesting for their own sake. Being able to perform linear algebra operations modulo quasi-isomorphism with S-modules has applications in Iwasawa theory and p-adic Hodge theory.

Recommendations

• scientific article; zbMATH DE number 2156363
• scientific article; zbMATH DE number 3886024
• Linearization in Rings and Algebras
• Linear systems over localizations of rings
• Linear equations over commutative rings and determinantal ideals
• Linear equations over commutative rings and grade theory
• Pseudo-linear algebra over a division ring
• Linear equations over commutative rings and finite free resolutions
• Linear minimal rings and algebras

Cites work

• Asymptotically Fast Triangularization of Matrices over Rings
• scientific article; zbMATH DE number 43569 (Why is no real title available?)
• Matrix multiplication via arithmetic progressions
• On Γ-extensions of algebraic number fields
• Semi-stable representations over F_p
• Tracking p-adic precision

Cited in

(2)

• Some computation problems arising in Fontaine theory
• Linear Algebra for Zero-Dimensional Ideals

This page was built for publication: Linear algebra over \(\mathbb Z_pu\) and related rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2878808)