  We define a fundamental group for digital images. Namely, we construct a
functor from digital images to groups, which closely resembles the ordinary
fundamental group from algebraic topology. Our construction differs in several
basic ways from previously established versions of a fundamental group in the
digital setting. Our development gives a prominent role to subdivision of
digital images. We show that our fundamental group is preserved by subdivision.
