A result in ring and module theory characterizing how a primitive ring acts on a simple module: a subring R of End_D(V) that acts faithfully and irreducibly on a right vector space V over a division ring D is dense in End_D(V) with respect to the finite‑topology determined by annihilators; equivalently R can approximate any D‑linear endomorphism on finite sets of vectors.

Principle

Primitivity (existence of a faithful simple module) forces the acting ring to be 'large' inside the full endomorphism ring: algebraic control of annihilators yields arbitrary prescribed values on finite tuples, which is the algebraic notion of density used here.

Demonstration

Concrete domain example: a primitive algebra represented on an n‑dimensional right vector space over a division ring D yields a subring dense in M_n(D); given finitely many vectors and targets one constructs elements of R matching the targets on those vectors.

Misapplication

Interpreting 'density' as topological density in the usual metric or Zariski topologies or ignoring the hypotheses of faithfulness and simplicity; e.g. claiming density for actions on reducible modules or without specifying the division ring context is invalid.

Consequence

The theorem provides a structural bridge: primitive rings are exactly those that embed as dense subrings of full endomorphism rings, which underpins representation theorems and Morita-type descriptions of primitive algebras.

Reversal

Inverting to 'any dense subring of End_D(V) is primitive' is essentially true under the standard hypotheses (a dense subring acting irreducibly and faithfully yields a primitive ring), but neglecting irreducibility or faithfulness breaks this equivalence.

Boundary

Requires a right vector space over a division ring (simple module), faithful action of the ring, and the algebraic (finite) annihilator topology; it does not apply to modules with nontrivial submodules, to commutative rings without such representations, or to arbitrary topologies.

Semantic Tension

The term 'density' can be conflated with analytic or topological density; the tension is between algebraic finite‑tuple approximation used here and other senses of density in analysis or algebraic geometry.

Synthesis

Jacobson's density theorem identifies primitive rings by their ability to approximate arbitrary D‑linear endomorphisms on finite sets of vectors, thereby equating module primitivity with algebraic density inside full endomorphism rings.