Summary: A version of topology’s fundamental group is developed for digital images in dimension at most 3 in T. Y. Kong, A. W. Roscoe and A. Rosenfeld [\((*)\) Topology Appl. 46, No. 3, 219-262 (1992; Zbl 0780.57008)] and T. Y. Kong [\((**)\) A digital fundamental group, Computers and Graphics. 13, 159-166 (1989)]. In the latter paper, it is shown that such a digital image \(X\subset{\mathcal Z}^k\), \(k\leq 3\), has a continuous analog \(C(X)\subset R^k\) such that \(X\) has digital fundamental group isomorphic to \(\Pi_1(C(X))\). However, the construction of the digital fundamental group in \((**)\) and \((*)\) does not greatly resemble the classical construction of the fundamental group of a topological space. In the current paper, we show how classical methods of algebraic topology may be used to construct the digital fundamental group. We construct the digital fundamental group based on the notions of digitally continuous functions presented in [A. Rosenfeld, Pattern Recognit. Lett. 4, 177-184 (1986; Zbl 0633.68122)] and digital homotopy [L. Boxes, Pattern Recognit. Lett. 15, No. 8, 833-839 (1994; Zbl 0822.68119)]. Our methods are very similar to those of E. Khalimsky [Motion, deformation, and homotopy in finite spaces, in Proceedubgs IEEE Intl. Conf on Systems, Man, and Cybernetics, 1987, pp. 227-234] which uses different notions of digital topology. We show that the resulting theory of digital fundamental groups is related to that of previous works in that it yields isomorphic fundamental groups for the digital images considered in the latter papers (for certain connectedness types).