mula_76，考虑相应的环同态：令 formula_78 为 formula_79 的极大理想，并设若对所有 formula_76，formula_82 是 formula_83 的极大理想，且导出的映射 formula_84 是有限、可分的代数扩张，则称此态射为非分歧态射。平坦的非分歧态射称为平展态射，此外尚有多种等价定义。在代数簇的情形，平展态射恰好是在切空间上导出同构的态射，这正好是微分几何中平展态射的定义。
平滑态射.平滑态射对应到拓扑学中的塞尔纤维化映射，在