= Orbifold
{wiki}
An <orbifold> is locally modeled on a quotient $U/G$ of an open subset of <Euclidean space> by a finite <group> action, with compatible quotient charts. The chart retains the local <group> action, not merely the underlying quotient <topological space>. For example, the plane modulo a rotation of order $m$ has a cone point with total <angle> $2\pi/m$. Its underlying space is homeomorphic to a plane, but its orbifold structure records the order-$m$ <stabilizer>. If every stabilizer is trivial, the local models reduce to those of a <manifold>.
Back to article page
