Let be a nonzero prime and let be an elementary
abelian group (that is ). Show that the Davenport constant of is given by
Give an example of an
HFD that possesses an element with infinitely many distinct irreducible
factorizations (hint: perhaps consider the ring where and are fields with
some appropriate conditions).
(Adapted from a
paper of S. Chapman and W. Smith). Let be a Dedekind
domain with torsion class group and assume that every ideal class contains
a prime ideal. Prove that the following conditions are equivalent: