Abstract :
Let l be an odd prime which satisfies Vandiverʹs conjecture, let ngreater-or-equal, slanted1 be an integer, and let image where ζn is a primitive lnth root of unity. Let Cl denote the cyclic group of order l. For each j, j=1,…,ln−1, there exists an inclusion of Larson orders in KCl: Λj−1subset of or equal toΛj and a corresponding surjection of Hopf–Swan subgroups T(Λj−1)→T(Λj). For the cases n=1,2 we investigate the structure of various terms in the sequence of Hopf–Swan subgroups including the Swan subgroup T(Λ0).
Keywords :
Cyclic group , Hopf algebra order , Locally free classgroup , Cyclotomic field , Hopf–Swan subgroup