30 citations · 70 across the 18 of their papers we have counts for
22 papers
Algorithms for -rationality and for -saturation of units
Tommy Hofmann, Henri Johnston
Let be a number field. We give new practical algorithms that determine whether is -rational. For real cyclotomic fields , our method avoids comp…
Determination of the stably free cancellation property for orders
Werner Bley, Tommy Hofmann, Henri Johnston
Let be a number field, let be a finite-dimensional semisimple -algebra, and let be an -order in . We give practical algorithms that determine whe…
On the existence of free sublattices of bounded index and arithmetic applications
Henri Johnston, Alex Torzewski
Let be a Dedekind domain whose field of fractions is a global field. Let be a finite-dimensional separable -algebra and let be an -order i…
Applications of representation theory and of explicit units to Leopoldt's conjecture
Fabio Ferri, Henri Johnston
Let be a Galois extension of number fields and let . We show that under certain hypotheses on , for a fixed prime number , Leopoldt's conjecture at…
Computation of lattice isomorphisms and the integral matrix similarity problem
Werner Bley, Tommy Hofmann, Henri Johnston
Let be a number field, let be a finite-dimensional -algebra, let denote the Jacobson radical of , and let be an -order in . Su…
An unconditional proof of the abelian equivariant Iwasawa main conjecture and applications
Henri Johnston, Andreas Nickel
Let be an odd prime. We give an unconditional proof of the equivariant Iwasawa main conjecture for totally real fields for every admissible one-dimensional -adic Lie extensi…