Prove that semi-simple rings are Dedekind-finite Just to be consistent with the terminology, let me define the words I'm using.
A module $M$ is simple if it has no proper non-zero submodules, and semi-simple if it can be written as a direct sum $M = \bigoplus_i A_i$ where the $A_i$'s are simple submodules.
A ring $R$ is semi-simple if the left $R$-module $_RR$ is semi-simple. This means that $R$ is a direct sum of "minimal" ideals. I want to prove that such rings are also Dedekind-finite, i.e. if $a,b\in R$ and $ab = 1$, then $ba = 1$. I want to do this without invoking Artin-Wedderburn. (EDIT: We have "semi-simple $\implies$ Noetherian $\implies$ Dedekind-finite", but I don't know how to prove the first implication without using composition series. It seems to me that my problem can be solved without using the fact that semi-simple rings are Noetherian.)
So far, I can show that a semi-simple ring $R$ is a direct sum of finitely many minimal ideals: if $R = \bigoplus_\lambda A_\lambda$ where each $A_\lambda$ is a minimal ideal of $R$, then write $1 = e_1 + \cdots + e_n$ where $e_i \in A_{\lambda_i}$. It follows that $r = re_1 + \cdots + re_n$ for any $r \in R$, so $R = \bigoplus_{i=1}^n A_{\lambda_i}$. Let's abbreviate the notation by setting $A_i := A_{\lambda_i}$.
Alright, now suppose $a,b\in R$ are such that $ab = 1$. We want to show that $ba = 1$. I have attempted to solve the problem in the case that $a \in A_i$ for some $i$. First, we get $ab = 1 \implies bab = b \implies (ba - 1)b = 0$. Since $b\neq 0$, we'd be done if $R$ is a domain. Even if $R$ is not a domain, I think we can show that we must have $ba - 1 = 0$, although my approach doesn't work.
Define an $R$-module homomorphism $F: R \rightarrow R$ by $F(r):= rb$. Suppose that $a\in A_i$ for some $i$. Then $F$ is non-zero on $A_i$, since $F(a) = ab = 1 \neq 0$. (Here's where we use that $a \in A_i$.) If we restrict $F$ to $A_i$, the kernel of this restriction is proper (since $F$ is non-zero) and therefore the kernel must be $\{0\}$ (because $A_i$ is minimal). Therefore the restriction of $F$ to $A_i$ is one-to-one.
Note that $F(ba - 1) = (ba - 1)b = 0$ as mentioned above. Since $F$ is one-to-one, we must have $ba - 1 = 0$, as required.
Problem with this last argument: we only know that $F$ is one-to-one on $A_i$, but we don't know that $ba - 1 \in A_i$. In fact, if $ba - 1 \in A_i$, then $1 = ba + -(ba - 1) \in A_i$ since $a \in A_i$. Thus $A_i$ is not proper, so $_RR = {_R}A_i$ is a simple $R$-module, which means that $R$ is a division ring (it's easy to prove that "$_RR$ simple $\implies$ $R$ is a division ring"). Since division rings are clearly Dedekind-finite, the problem is trivial in this case.
Anyway, so my attempt using a homomorphism $F$ doesn't really work. But it might be possible to salvage the approach by modifying it slightly. Even then, this would only give the result when $a \in A_i$ for some $i$, but hopefully this special case can be used to prove the more general claim.
Reminder that I want to prove that semi-simple rings are Dedekind-finite without using the Artin-Wedderburn theorem.
Cheers!
 A: Prepended: OK, here is an elementary argument based only on the simple submodules. We begin by assuming $R$ is a direct sum of $n$ minimal right ideals, and we know that $n$ is unique.
If $ab=1$, then the homomorphism $x\mapsto bx$ from $R\to R$ is injective. Thus $bR\cong R$ as $R$ modules. Find a complement $C$ to $bR$ so that $R=bR\oplus C$. If $ba\neq 1$, then $bR\neq R$ and $C\neq \{0\}$. 
But look: $R\cong R\oplus C$, and since $C$ is nonzero it contributes at least one simple submodule to the sum. But that would mean that the right hand side of the equation is a sum of more than $n$ simple modules, whereas the left is the sum of $n$ simple modules. This isn't possible, so $bR$ must be $R$, showing that $ba=1$.

As soon as you have convinced yourself $R$ is a direct sum of finintely many minimal right ideals, then you immediately have that $R$ has a finite composition series, hence it is right Artinian (and right Noetherian.)
I think it is even easier to use the Artinian property than the Noetherian property.
Suppose $ab=1$. Clearly $b$ is left invertible. Consider the descending chain $bR\supseteq b^2R\supseteq\dots$. Since semisimple rings are right (and left) Artinian, this chain must stabilize, say at $b^nR=b^{n+1}R$. This implies $b^n=b^{n+1}r$ for some $r\in R$. Multiplying on the left by $a$ $n$ times, you get $1=br$, showing that $b$ is right invertible.
Thus $a=abr=r$, and so $ba=1$.

Note: There is a way to prove a semisimple ring is Dedekind finite independently of the chain conditions. Since semisimple rings are self-injective on both sides, they are Dedekind finite. Unfortunately, this route seems even more complicated than the methods above, but still, it is interesting to see that you can get Dedekind finiteness "two different ways" for semisimple rings.
A: As $R$ is semi-simple, $R$ is noetherian. If $ab = 1$, the map $F \colon R \to R$, $F(r) = rb$ is onto. We will show that it is an isomorphism. Let $I_j = \ker F^j$. As $R$ is noetherian, there is an $j$ such that $I_{j+1} = I_j$. Now suppose $F(a) = 0$, then $a = F^j(a')$ for some $a' \in R$, as $R$ is onto, so 
$$ 0 = F(a) = F^{j+1}(a') $$
hence $a' \in I_{j+1} = I_j$, so $a = F^j(a') = 0$. Hence $F$ is one-to-one. As you wrote $F(ba - 1) = 0$ now gives $ba = 1$ and $R$ is Dedekind-finite.
