A review is made of the multitude of different mathematical formalizations of the physical concept ‘two observables (or two systems) are independent’ that have been proposed in quantum theories, particularly relativistic quantum field theory. The most basic mathematical formulation of independence in any quantum theory is what one may call kinematical independence: the two observables, resp. the observables of the two quantum systems, which are represented by elements of a C*-algebra, resp. two subalgebras of a C*-algebra, are required to commute. This is related to a mathematical formulation of the notion of the coexistence (or compatibility) of two observables. Another basic notion of independence, generally called statistical independence in the literature, is, roughly speaking, two quantum systems are said to be statistically independent if each can be prepared in any state, how ever the other system has been prepared. There are numerous mathematical formulations of this notion and their interrelationships are explained. Statistical independence and kinematical independence are shown to be logically independent. Additional notions such as strict locality and their relation to statistical independence are discussed. The mathematics of a more quantitative measure of statistical independence, Bell’s inequalities, is reviewed and its relations with previously introduced notions are indicated. All of these notions are then viewed in application to relativistic quantum field theory.
