非可換整域
環が域であることを示す方法の一つは、特別な性質を持つフィルター付け(フィルトレーション)を提示することである。