On the cyclotomic Dedekind embedding and the cyclic Wedderburn embedding
Abstract
Let n >= 1 and let p be a prime. Let t = 1 - zetapn. Expand an integer j in [0,pn-1], coprime to p, p-adically as j = sums >= 0 as ps. Denote the tensor product over Z(p) by o . Then the #([0,j] - (p))th Z(p)[t]-linear elementary divisor of the cyclotomic Dedekind embedding Z(p)[t] o Z(p)[t] --> prodi in (Z/pn)* Z(p)[t] has valuation -1 + sums >= 0 (as (s+1) - as+1 (s+2)) ps at t. There is a similar result for the related cyclic Wedderburn embedding.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.