zonde said:
Bob's observable is ##\hat{n}_1\cdot S_1## where ##S_1## is a 3-vector with the Pauli spin matrices as components. The unit vector, ##\hat{n}_1## is a unit vector along a direction chosen by Bob and is the alignment of his SG. This matrix operates on a 2 dimensional Hilbert space ##H_1##. Likewise a for Alice. Her observable is ##\hat{n}_2\cdot S_2## which is an operator which lives an independent 2 dimensional Hilbert space, ##H_2##. Alice and Bob's observables do in fact commute and may be simultaneously diagonalized. However, this does not imply in anyway that the ##S=0## is separable as DrChines insists[1].
These facts may be checked in virtually every book on QM. That the ##S=0## doesn't factor is trivial to show. Let Bob's SG be along the z-axis to save me some writing. The ##S=0## state is then,
##\frac{1}{\sqrt{2}}(\vert 1\rangle_{zB}\otimes\vert -1\rangle_{zA} - \vert -1\rangle_{zB}\otimes\vert 1\rangle_{zA})##
where, the observant reader will instantly accuse me of using Bob's z-axis to expand Alice's vectors. Because I'm free to use Alice's coordinates for her particle I may expand them as such,
##\vert 1\rangle_{zA} = a\vert 1\rangle_{\alpha A} + b\vert -1\rangle_{\alpha A}## [2]
##\vert -1\rangle_{zA} = c\vert 1\rangle_{\alpha A} + d\vert -1\rangle_{\alpha A}##
where ##a, b, c## and ##d## are complex coefficients which very much depend on the choice of ##\hat{n}_1## and ##\hat{n}_2## just as DrChines has pointed out numerous times. Substitution of these expressions into the one for the ##S=0## above yields (a very much not separable) expression for the ##S=0## state in terms of both Bob's and Alice's particle eigenvectors. Before anyone replies asserting that I am claiming this somehow removes all EPR mysteries consider the fact that I do not claim such nor do I ever feel I have in the past. I have always assumed a level of mathematical sophistication which is perhaps unwarranted.
[1] Weather he's insisting ##[S_1,S_2]=0## implies factorability of the ##S=0## state or insisting that I have insisted such is unclear. Both positions are in fact wrong.
[2] My notation here is very confusing. The basis on the right are eigenstates of Alice's SG while those on the left are eigenstates assuming she had aligned hers with Bob's which is along the z-axis. Okay, I've attempted to repair it. I've added a subscript ##z## to denote z-axis eigenvectors and an ##\alpha## to denote eigenvectors for Alice's SG direction which is arbitrary.