Baer yüzük - Baer ring

İçinde soyut cebir ve fonksiyonel Analiz, Baer yüzükler, Baer *-halkalar, Rickart yüzükler, Rickart *-halkalar, ve AW * -algebralar cebirsel bir analoğunu vermek için yapılan çeşitli girişimlerdir von Neumann cebirleri hakkında aksiyomlar kullanmak yok ediciler çeşitli kümeler.

Herhangi bir von Neumann cebiri bir Baer * halkasıdır ve teorisinin çoğu projeksiyonlar von Neumann'da cebirleri tüm Baer * halkalarına genişletilebilir, Örneğin, Baer * halkaları von Neumann cebirlerinde olduğu gibi tip I, II ve III'e bölünebilir.

Literatürde sol Rickart halkaları da sol olarak adlandırılmıştır. PP halkalar. ("Asıl yansıtmalı anlamına gelir": Aşağıdaki tanımlara bakın.)

Tanımlar

  • Bir idempotent eleman bir yüzüğün bir elementtir e özelliği olan e2 = e.
  • ayrıldı yok edici bir setin dır-dir
  • Bir (solda) Rickart yüzüğü aşağıdaki koşullardan herhangi birini karşılayan bir halkadır:
  1. herhangi bir tek elementin sol yok edicisi R idempotent bir eleman tarafından üretilir (sol ideal olarak).
  2. (Unital halkalar için) herhangi bir elementin sol yok edicisi doğrudan bir özettir. R.
  3. Tüm temel sol idealler (formun idealleri Rx) projektif R modüller.[1]
  • Bir Baer yüzük aşağıdaki tanımlara sahiptir:
  1. Herhangi bir alt kümesinin sol yok edicisi R idempotent bir eleman tarafından üretilir (sol ideal olarak).
  2. (Unital halkalar için) Herhangi bir alt kümenin sol yok edicisi R doğrudan bir zirvedir R.[2] Unital halkalar için, "sol" un tüm oluşumlarını "sağ" ile değiştirmek eşdeğer bir tanım verir, yani tanım sol-sağ simetriktir.[3]

Operatör teorisinde, halkayı gerektirerek tanımlar biraz güçlendirilir. R sahip olmak evrim . Bu yaptığından beri R izomorfik karşı halka RopRickart * halkasının tanımı sol-sağ simetriktir.

  • Bir projeksiyon içinde *-yüzük bir idempotenttir p yani özdeş (p* = p).
  • Bir Rickart * - halka herhangi bir elemanın sol yok edicisinin bir projeksiyonla (sol ideal olarak) üretildiği bir * halkasıdır.
  • Bir Baer *-halkası herhangi bir alt kümenin sol yok edicisinin bir projeksiyonla (sol ideal olarak) oluşturulacağı şekilde bir * halkasıdır.
  • Bir AW * -algebra, tarafından tanıtıldı Kaplansky (1951), bir C * -algebra bu aynı zamanda bir Baer * halkasıdır.

Örnekler

Özellikleri

Rickart * halkasındaki projeksiyonlar kafes, hangisi tamamlayınız halka bir Baer * yüzük ise.

Ayrıca bakınız

Notlar

  1. ^ Rickart yüzüklerin adı Rickart (1946) Operatör cebirlerinde benzer bir özelliği inceleyen. Bu "prensip, yansıtmalı ima eder" koşulu, Rickart halkalarının bazen PP halkaları olarak adlandırılmasının sebebidir. (Lam 1999 )
  2. ^ Bu durum tarafından incelendi Reinhold Baer  (1952 ).
  3. ^ T.Y. Lam (1999), "Modüller ve Halkalar Üzerine Dersler" ISBN  0-387-98428-3 s.260

Referanslar