Kaplansky Density and Kadison Transitivity Theorems for irreducible representations of real C*-algebras

We prove analogs of the Kaplansky Density Theorem and the Kadison Transitivity Theorem for irreducible representations of a real C*-algebra on a real Hilbert space. Specifically, if a C*-algebra is acting irreducibly on a real Hilbert space, then the Hilbert space has either a real, complex, or quaternionic structure with respect to which the density and transitivity theorems hold.