Jordan rings with nonzero socle

Let $\mathcal{J}$ be a nondegenerate Jordan algebra over a commutative associative ring $\Phi$ containing $\tfrac{1}{2}$. Defining the socle $\mathcal{G}$ of $\mathcal{J}$ to be the sum of all minimal inner ideals of $\mathcal{J}$, we prove that $\mathcal{G}$ is the direct sum of simple ideals of $\mathcal{J}$. Our main result is that if $\mathcal{J}$ is prime with nonzero socle, then either (i) $\mathcal{J}$ is simple unital and satisfies DCC on principal inner ideals, (ii) $\mathcal{J}$ is isomorphic to a Jordan subalgebra $\mathcal{J}'$ of the plus algebra ${A^ + }$ of a primitive associative algebra A with nonzero socle S, and $\mathcal{J}'$ contains ${S^ + }$, or (iii) $\mathcal{J}$ is isomorphic to a Jordan subalgebra $\mathcal{J}''$ of the Jordan algebra of all symmetric elements H of a. primitive associative algebra A with nonzero socle S, and $\mathcal{J}''$ contains $H\, \cap \,S$. Conversely, any algebra of type (i), (ii), or (iii) is a prime Jordan algebra with nonzero socle. We also prove that if $\mathcal{J}$ is simple then $\mathcal{J}$ contains a completely primitive idempotent if and only if either $\mathcal{J}$ is unital and satisfies DCC on principal inner ideals or $\mathcal{J}$ is isomorphic to the Jordan algebra of symmetric elements of a $*$-simple associative algebra A with involution $*$ containing a minimal one-sided ideal.