Bases of minimal vectors in tame lattices
Motivated by the behavior of the trace pairing over tame cyclic number fields, we introduce the notion of tame lattices. Given an arbitrary non-trivial lattice $\mathcal{L}$ we construct a parametric family of full-rank sub-lattices $\{\mathcal{L}_α\}$ of $\mathcal{L}$ such that whenever $\mathcal{L}$ is tame each $\mathcal{L}_α$ has a basis of minimal vectors. Furthermore, for each $\mathcal{L}_α$ in the family a basis of minimal vectors is explicitly constructed.