On Nakayama's theorem

Abstract

The main purpose of this paper is to make Nakayama's theorem more accessible. We give a proof of Nakayama's theorem based on the negative definiteness of intersection matrices of exceptional curves. In this paper, we treat Nakayama's theorem on algebraic varieties over any algebraically closed field of arbitrary characteristic although Nakayama's original statement is formulated for complex analytic spaces.