Primitive lattice element

ID: primitive-lattice-element

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!