First assume R is in S, where S is aleft primitive ring. Then S is a prime ring, char R = char S is either a prime
number p,or char R = 0. In the latter case, for any integer n ≥ 1, n · 1is not
a 0-divisor in S. Clearly, this implies that (R,+) is torsion-free.
Conversely, assume char R is a primep, or that (R,+) is torsion-free. In either case, R can be embedded into a
k-algebra A over some field k. Now the “left regular representation”
ϕ : A → Endk(A)
defined by ϕ(a)(b)= ab for a, b from A is anembedding of A (and hence of R) into the left (and incidentally also right)
primitive k-algebra Endk A.
Comments
Leave a comment