>>786-787
ウェダーバーンの小定理
アルティン・ウェダーバーンの定理
二つあるらしい ；ｐ）

小定理では
”最初の証明は Joseph Wedderburn（英語版） によって1905年に与えられ[3]、彼はその後2つの別証を与えた。別の証明は Leonard Eugene Dickson によって Wedderburn の最初の証明のすぐ後に与えられ、Dickson は Wedderburn が先であることを認めていた。しかしながら、(Parshall 1983) に述べられているように、Wedderburn の最初の証明は正しくなく――飛躍があり――彼の次の証明は Dickson の正しい証明を読んだ後に現れたのだった。そのため、Parshall は最初の正しい証明は Dickson に帰するべきだと主張している。”
との記述あり

う〜ん、面白いね
昔のことだから、情報の確認が簡単ではなかったのだろう
すぐに論文にアクセスできないとか、連絡は基本紙のお手紙だとか
いまなら、SNSで「それ Dicksonの定理でしょ」って騒ぎになったかも ；ｐ）

手元にある雪江 代数学3 P350 定理7.8.15 ヴェーダーバーンの定理は
上記のアルティン・ウェダーバーンの定理についての記述か
下記は、en.wikipediaだが、証明も載っているね
こちらの記述の方が分かり易いかもね

(参考)
https://en.wikipedia.org/wiki/Wedderburn%E2%80%93Artin_theorem
Wedderburn–Artin theorem
Wedderburn–Artin theorem is a classification theorem for semisimple rings and semisimple algebras. The theorem states that an (Artinian)[a] semisimple ring R is isomorphic to a product of finitely many ni-by-ni matrix rings over division rings Di, for some integers ni, both of which are uniquely determined up to permutation of the index i. In particular, any simple left or right Artinian ring is isomorphic to an n-by-n matrix ring over a division ring D, where both n and D are uniquely determined.[1]
Theorem
略す
Proof
略す
Consequences
略す