For any local ring we have dim ( R ) < emb . dim ( R ) ; R is called a regular local ring if we have equality , that is , if dim ( R ) = dim ( m / m2 ) .
確定! 回上一頁