Comments: This version is formatted for the journal Discrete Analysis. New material has been added following comments from the referees. Additions include several examples throughout the text, and a new subsection on the relation between nilspaces and Host-Kra parallelepiped structures
These notes constitute the first part of a detailed exposition of the theory of nilspaces developed by Camarena and Szegedy. We treat what can be called the algebraic part of the theory, in which nilspaces are studied without any topological assumption.