Local distinguishability of orthogonal quantum states is an area of active research in quantum information theory. However, most of the relevant results are about local distinguishability in bipartite Hilbert space and very little is known about the multipartite case. In this paper we present a generic method to construct a completable
n-partite $(n\ensuremath{\ge}3)$ product basis with only
2n members, which exhibits nonlocality without entanglement with
n parties, each holding a system of any finite dimension. We give an effective proof of the nonlocality of the completable multipartite product basis. In addition, we construct another incomplete multipartite product basis with a smaller number of members that cannot be distinguished by local operations and classical communication in a ${d}_{1}\ensuremath{\bigotimes}{d}_{2}\ensuremath{\bigotimes}\ensuremath{\cdots}\ensuremath{\bigotimes}{d}_{n}$ quantum system, where $n\ensuremath{\ge}3$ and ${d}_{i}\ensuremath{\ge}2$ for
i=1,2,...,n. The results can lead to a better understanding of the phenomenon of nonlocality without entanglement in any multipartite quantum system.
In this paper, we show that Erwin Schroedinger's generalization of the Einstein Podolsky Rosen argument can be connected to certain mathematical theorems - Gleason's and also Kochen and Specker's - in a manner analogous to the relation of EPR itself with Bell's theorem. In both cases, the conclusion is quantum nonlocality, as we discuss. The "Schroedinger nonlocality" proofs share some features with the Greenberger, Horne, and Zeilinger quantum-nonlocality work, yet also differ in significant ways. For clarity and completeness, we begin with a detailed discussion of the topic of hidden variable theorems. We argue, in agreement with John S. Bell, that 'impossibility' does not follow.