A
${\mathcal Z}$-subalgebra
$U_{\mathcal Z}^\jmath {(n)}$ (
${\mathcal Z}=\mathbb Z[\upsilon ,\upsilon ^{-1}]$) for the i-quantum group
${\mathbf {U}}^{\jmath }(n)$ over the field
$\mathbb Q(\upsilon )$ is constructed by two of the authors [‘A new realisation of the i-quantum group
$U^\jmath {(n)}$’, J. Pure Appl. Algebra 226(1) (2022), Paper no. 106793, 27 pages, Theorem 6.5], using a Beilinson–Lusztig–MacPherson (BLM) type realisation. In this paper, we construct bases for
$U_{\mathcal Z}^\jmath {(n)}$, including the monomial basis conjectured in [‘A new realisation of the i-quantum group
$U^\jmath {(n)}$’, J. Pure Appl. Algebra 226(1) (2022), Paper no. 106793, 27 pages, Remark 6.6(4)]. This proves that the
${\mathcal Z}$-algebra
$U_{\mathcal Z}^\jmath {(n)}$ is a free
${\mathcal Z}$-module. Hence,
$U_{\mathcal Z}^\jmath {(n)}$ is in fact an integral form of Lusztig type. This construction is further extended to the i-quantum hyperalgebra
over a field
of any characteristic. By specialising
$\upsilon $ to an l th primitive root
$\varepsilon $ of
$1$ with l odd, a realisation of the quotient of
modulo the ideal generated by
$d_i^l-1$, for all
$1\leqslant i\leqslant n+1$, is also given as a by-product.