A result of Lemmermeyer on class numbers
I present Franz Lemmermeyer's proof that if p is a prime congruent to 9 mod 16 then the class number of Q(p^(1/4)) is congruent to 2 mod 4.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Paul Monsky contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
I present Franz Lemmermeyer's proof that if p is a prime congruent to 9 mod 16 then the class number of Q(p^(1/4)) is congruent to 2 mod 4.
Let g be the element that is the sum of x^(n^2) for n >= 0 of A=Z/2[[x]], and let B consist of all n for which the coefficient of x^n in 1/g is 1. (The elements of B are the entries 0, 1, 2, 3, 5, 7, 8, 9, 13, ... in A108345; see The On-Line Encyclopedia of Integer Sequences (OEIS).) Cooper, Eichhorn, and O'Bryant [1] have shown that the (upper) density of B is at most 1/4, and it is conjectured that B has density 0. This note uses results of Gauss on sums of 3 squares to show that the subset of B consisting of all n not congruent to 15 mod 16 has density 0. The final section gives some computer calculations, made by Kevin O'Bryant, indicating that, pace [1], B has density 1/32.
Let p be a prime. The Hilbert-Kunz multiplicity, mu, of the element sum(x_i^(d_i)) of (Z/p)[x_1,..., x_s] depends on p in a complicated way. We calculate the limit of mu as p -> infinity. In particular when each d_i is 2 we show that the limit is 1 + the coefficient of z^(s-1) in the power series expansion of sec z + tan z.