MacLaneʹs theorem for arbitrary surfaces

Given a closed surface S, we characterise the graphs embeddable in S by an algebraic condition asserting the existence of a sparse generating set for their cycle space. When S is the sphere, the condition defaults to MacLaneʹs planarity criterion.