If

is a nonprincipal ultrafilter on an infinite set

, then
for any family

of modules

-mod we have a natural immersion

where

and

(theorem 1.1). Generally,

is
not an isomorphism as we can see in Examples 1.2 and 1.3. An
ultraproduct of

transitive rings of linear transformations is
a

transitive ring (theorem 2.2). As a consequence we obtain a
classical result which says that the immersion

in
theorem 1.1 is an isomorphism in case each

is a simple
faithful module (corollary 2.5). Finally we prove a result with
applications in PI-theory: an ultraproduct of closed primitive
rings is a closed primitive ring.