有限拡大の定義、度,および特性