Verified tagged author-source HTML ยท 1904.03696v1 ยท cited publication edition alignment unverified.
00IU
Proposition 2.54. [Noether normalization]
For strict affinoid algebra , there exists an injective finite and admissible Banach algebra homomorphism for some . Moreover, equals the Krull dimension of . ([BGR, Theorem 6.1.2.1], [FvdP, Theorem 3.2.1])