The double centralizer theorem for division algebras
type: Item
instance of: scholarly article
title: The double centralizer theorem for division algebras
zbMATH Open document ID: 0534.16018
DOI: 10.1007/BF02760671
author: Efraim P. Armendariz
author: Jae Keol Park
published in: Israel Journal of Mathematics
publication date: 1983-01-01T00:00:00Z
review text: Die Autoren beweisen den folgenden Satz: Sei D ein Körper mit Zentrum F, \(T\in M_ n(D)\) algebraisch über F. Dann ist der Doppelzentralisator C(C(T)) von T in \(M_ n(D)\) gleich F[T]. Der Beweis geht wie im kommutativen Fall aus von dem Modul \({}_ RV\) über dem Hauptidealring \(R=D[X]\), wobei \({}_ DV\) ein Vektorraum der Dimension n ist und X wie die lineare Transformation T operiert. V ist direkte Summe unzerlegbarer zyklischer Moduln \(R/Rq_ i\). Aber die \(Rq_ i\) sind nur Linksideale. Trotzdem ist der Bikommutant von \({}_ RV\) gleich D[T]: Jedes \(q_ i\) ist ''bounded'', d.h. \(Ann.(R/q_ iR)=(q_ i^*)\neq 0.\) Nach \textit{N. Jacobson} [The Theory of Rings (1943; Zbl 0060.073), theorem 20, p.45], gilt \(R/(q_ i^*)\simeq(R/q_ iR)^{n_ i}.\) Mit \(m=\prod n_ i=n_ in_ i\!'\) ist \(V^ m=\oplus(R/q_ iR)^{n_ in_ i\!'}=\oplus(R/(q_ i^*))^{n_ i\!'}.\) Aber \(V^ m\) und V haben denselben Bikommutanten [\textit{Bourbaki}, Algèbre, Chap. 8, {\S} 1, No.3, Prop. 8].
Mathematics Subject Classification ID: 16Kxx
Mathematics Subject Classification ID: 16U30
Mathematics Subject Classification ID: 16S50
zbMATH DE Number: 3847604
zbMATH Keywords: double centralizer
zbMATH Keywords: principal ideal ring
zbMATH Keywords: division ring
reviewed by: Sigurd Elliger
MaRDI profile type: Publication
cites work: Commutativity for Matrices of Quaternions
cites work: Q4073499
cites work: Q5834678
cites work: A proof of a theorem on commutative matrices
cites work: On double commutators
cites work: A Double-Centralizer Theorem for Simple Associative Algebras
description: scientific article; zbMATH DE number 3847604