p-adic measures, completed group algebras, and characteristic ideals

The declarations the status of Tau Ceti's roadmap names, and the other results named in the modules where only this status names declarations, or in folders below the areas where only it names 2 or more, as Tau Ceti has them at commit ace60277.

Integral measures are the… to The Weierstrass quotient bound…

• Integral measures are the completed group algebra
• Integral measures are the compatible families along a tower
• Integral measures on ℤ_pˣ from unit coordinates
• AbstractMeasure.amiceTransform_weight_id
• The height-one primes of O⟦X⟧
• The kernel of the level coordinate
• The level coordinates separate points
• TauCeti.FiniteQuotientTower
• TauCeti.FiniteQuotientTower.compatibleFamilies
• PowerSeries.IsWeierstrassFactorizationAt.powerBasis
• Extension of coefficients from the unit ball
• Factor theorem for restricted series
• The Schwarz lemma for restricted series
• Strassmann's theorem
• The Weierstrass division estimate (Bosch–Güntzer–Remmert §5.2.1, Theorem 2)
• The Weierstrass division identity
• The Weierstrass lower bound for the quotient
• The Weierstrass norm identity
• Weierstrass preparation
• The Weierstrass quotient bound ‖q‖ ≤ ‖f‖ / ‖g‖, for the Gauss norm at c

The Weierstrass remainder bound…

• The Weierstrass remainder bound ‖r‖ ≤ ‖f‖, for the Gauss norm at c

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.