My question pertains to the proof of Proposition 4.7 on page 203 of Jacobson's Basic Algebra II (the Dover edition). The proposition says the following: if $R$ is semi-simple (which for Jacobson means "is a subdirect product of simple rings") and (two-sided) Artinian, then $R$ is a "direct sum $\bigoplus_{i=1}^n R_i$" of simple rings $R_i$. I object to his use of the term "direct sum," when he certainly must mean direct product, and intends a ring isomorphism. In any case, this is at the heart of what I don't understand about his proof. Before I go into that, let me state the lemma he uses, with which I have no problem.
Lemma: Let $M$ be an Artinian module over some ring $R$ that is a subdirect product of simple modules. Then $M$ is a direct sum of finitely many simple submodules (i.e. semi-simple with only finitely many simple factors).
Again, the lemma is fine. Now for his proof of the proposition. He defines $M(R)$ to be the subring of $\mathrm{End}((R,+))$ (additive group of $R$) generated by the left and right multiplication maps $x\mapsto rx$ and $x\mapsto xr$ for $r\in R$. Fine so far. He remarks that the additive group of $R$ is a left $M(R)$-module for which the $M(R)$-submodules are precisely the (two-sided) ideals of $R$. I believe this. Now he says "[the] hypothesis that $R$ is semi-simple is equivalent to the following: $R$ as $M(R)$-module is a subdirect product of irreducible $M(R)$-modules." If $R$ is semi-simple, then there are maximal left ideals $I_j$ such that $R\hookrightarrow\prod_j R/I_j$, and each $R/I_j$ is certainly going to be a simple $M(R)$-module. But I don't see why the converse is true: why should a statement about $R$ as an $M(R)$-module translate to a statement about $R$ as a ring?
Granting the equivalence for now, we conclude that $R$ is a subdirect product of simple $M(R)$-modules. Since it is an Artinian $M(R)$-module (being an Artinian ring for which the $M(R)$-submodules are exactly the ideals), the lemma implies that $R$ is a direct sum of a finite number of simple $M(R)$-modules. Again, what has this to do with the ring structure of $R$? Is this $M(R)$ cooked up so that its modules all have ring structures? Am I missing the point entirely?
This proposition is crucial in Jacobson's proof of the the Artin-Wedderburn theorem (where he incidentally continues to use the term "direct sum" applied to rings when I think he intends "direct product," which is confusing, but this is beside the point), so I'd really like to understand it (or know whether or not it's flawed, and if it is, whether or not it can be salvaged).
The key here is that $M(R)$ is generated by the left and right multiplication maps of $R$.
Let $L_r$ and $R_r$ denote left and right multiplication by $r \in R$.
$R$ is a left $R$-module under the natural action $r \cdot x = rx$ (action = left multiplication). Likewise, $R$ is a right $R$-module under the natural action $x \cdot r = xr$ (action = right multiplication). So $R$ can be viewed as a bimodule ($R$ acting on both the left and right). Being a submodule mean being closed under subtraction as well as the left and right action (left and right multiplication). Thus submodules = (two-sided) ideals.
The ring $M(R)$ encodes both of these actions of $R$ in one package. $R$ is naturally a left $M(R)$-module. Let $L_r \cdot x = L_r(x) = rx$. Likewise, $R_r \cdot x = R_r(x) =xr$. A submodule would be closed under subtraction and the $M(R)$-action. This is exactly the same as being closed under left and right multiplication. Again submodules = ideals.
Thus $R$ as a $R$-bimodule is the same as $R$ as a left $M(R)$-module.
Again, the key is that $M(R)$ generated by the left and right multiplication maps of $R$, so $R$'s ring structure is bound up in the structure of $M(R)$.
Now to address your other objection... You seem to have made a mental distinction between direct product and direct sum. For both of these there are two flavors: internal and external.
Most authors seemlessly move between internal and external products/sums since the isomorphisms are natural (in a technical "categorical" sense).
When Jacobson says that $R$ is a "direct sum". He means that $R$ is both an internal and external direct sum of subrings. Let me explain in the case of two subrings:
Suppose $R = A \oplus B$ (internal). Then the mapping $(a,b) \mapsto a+b$ gives an isomorphism from the external direct sum of $A$ and $B$ to the internal direct sum of $A$ and $B$. So an internal sum automatically gives an external one.
Conversely, if $R$ is isomorphic to an external direct sum of two rings, say $\varphi :R \to X \oplus Y$. Then defining $\varphi^{-1}(X\oplus \{0\})=A$ and $\varphi^{-1}(\{0\} \oplus Y=B$, we get (after a routine check) that $A \oplus B = R$. Thus $R$ is an internal direct product of $A$ and $B$.
In the end internal vs. external is more or less, for the most part, just a switch in notation.
Now sums and products are different monsters in general. However, direct sums and direct products are identical if there are only finitely many terms involved. Thus internal sums and internal products of finitely many subrings are exactly the same thing. The same goes for external sums and products of finitely many rings.
Moreover, for finite or infinite, external and internal sums are canonically isomorphic. The same goes for internal or external products.
Thus in the finite case everything is either exactly the same or canonically isomorphic, so there's no need to distinguish between the different constructions.
I hope this helps! :)