Subdivision schemes for iterated function systems Finite flat commutative group schemes over complete discrete valuation fields: classification, structural results; application to reduction of abelian varieties 