## Definition ## A __$\mathbb{Z}$-algebra__ is a [[Z-module|$\mathbb{Z}$-module]] $A$ with a [[bilinear function]] $(-)\cdot(-): A \times A \to A$ ## Examples ## * Every [[contractible type]] is a $\mathbb{Z}$-algebra. * The [[integers]] are a $\mathbb{Z}$-algebra. * The [[rational numbers]] are a $\mathbb{Z}$-algebra. ## See also ## * [[abelian group]] * [[Q-algebra]] * [[unital Z-algebra]]