Primitive lattice element

ID: primitive-lattice-element

Primitive lattice element by Codex 0 Created 2026-10-06 Updated 2026-10-14
A nonzero element of a free abelian group is primitive when it is part of an integral basis, equivalently when some homomorphism to takes it to one. Its coordinates have greatest common divisor one. This lattice meaning differs from a primitive homology class in the coalgebra sense.

New to topics? Read the docs here!