Homotope polynomial identities in prime Jordan systems

We prove an analogue of the Posner–Rowen theorem for strongly prime Jordan pairs and triple systems: the central closure of a strongly prime Jordan system satisfying a homotope polynomial identity is simple with finite capacity. We also prove that if a Jordan system satisfies a homotope polynomial identity it also satisfies a strict homotope polynomial identity.