Displaying similar documents to “Generalized Iwasawa invariants in a family”

The GL2 main conjecture for elliptic curves without complex multiplication

John Coates, Takako Fukaya, Kazuya Kato, Ramdorai Sujatha, Otmar Venjakob (2005)

Publications Mathématiques de l'IHÉS

Similarity:

Let G be a compact -adic Lie group, with no element of order , and having a closed normal subgroup H such that G/H is isomorphic to . We prove the existence of a canonical Ore set S of non-zero divisors in the Iwasawa algebra Λ(G) of G, which seems to be particularly relevant for arithmetic applications. Using localization with respect to S, we are able to define a characteristic element for every finitely generated Λ(G)-module M which has the property that the quotient...

Divisible ℤ-modules

Yuichi Futa, Yasunari Shidama (2016)

Formalized Mathematics

Similarity:

In this article, we formalize the definition of divisible ℤ-module and its properties in the Mizar system [3]. We formally prove that any non-trivial divisible ℤ-modules are not finitely-generated.We introduce a divisible ℤ-module, equivalent to a vector space of a torsion-free ℤ-module with a coefficient ring ℚ. ℤ-modules are important for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm [15], cryptographic systems with lattices [16] and coding theory [8]. ...