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.