0
$\begingroup$

Whilst preparing some talks for a seminar based on P.M. Cohn's (blue book) "Skew Field Constructions" (LMS Lecture Note Series 27, 1977) resp. (red book) "Skew Fields - Theory of General Division Rings" (Encyclopedia of Math. & its Appl. 57, Cambridge 1995) I hit upon an unexpected snag in the proof(s) given of the theorem in the title. To be precise, the second-last line p. 39 of the blue book resp. the seventh-last line, p. 99 of the red book, where the author in both cases maintains that $D_1=D$. Due to lack of finiteness conditions here the Double Centralizer Theorem doesn't apply ... probably I'm just missing something simple. Any help in explaining this point would be greatly appreciated ! Kind regards and thanks in advance, St.

Improve this question
$\endgroup$
2
  • $\begingroup$ Have you try in JAcobson "Lectures In Abstract Algebra" III Or in Boubaki's ALgebra (the "Field theory" chapter) $\endgroup$
    – Buschi Sergio
    Commented Jun 11, 2012 at 9:13
  • $\begingroup$ @mathoverflow.net/users/6262/buschi-sergio: Lemma 2 in Section 4.4 of Jacobson's Basic Algebra II, 2. Ed., is precisely what I'm looking for (though I'm still not wiser as regards Cohn's actual argument). If you'd be so kind as to reformulate your comment as an answer, I will gladly accept it ! Regards, St. $\endgroup$
    – Stephan F. Kroneck
    Commented Jun 14, 2012 at 9:36

1 Answer 1

Reset to default
1
$\begingroup$

I think I may have found something useful: the usual Double Centralizer Theorem (as say in Herstein, "Noncommutative Rings, Th. 4.3.2, or Rowen, "Ring Theory - Student Edition", Th. 7.1.9) does not apply, as indicated, due to lack of finite-dimensionality over the centre. However, Rieffel's (Double Centralizer) Theorem, as say found in Lam, "A First Course in Noncommutative Rings", Th. 3.11, or Lang "Algebra 3.ed", Th. XVII.5.4, is nearer the mark (by taking the small skew field $D$ as the simple ring involved), but the large skew field of the extension is not an ideal of $D$ ... something is still missing, I'm afraid ... St.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .