Anel regular de Von Neumann - Von Neumann regular ring
Em matemática , um anel regular de von Neumann é um anel R (associativo, com 1, não necessariamente comutativo) tal que para cada elemento a em R existe um x em R com a = axa . Pode-se pensar em x como um "inverso fraco" do elemento a; em geral, x não é determinado exclusivamente por a . Os anéis regulares de Von Neumann também são chamados de anéis absolutamente planos , porque esses anéis são caracterizados pelo fato de que todo módulo R esquerdo é plano .
Os anéis regulares de Von Neumann foram introduzidos por von Neumann ( 1936 ) sob o nome de "anéis regulares", no curso de seu estudo de álgebras de von Neumann e geometria contínua . Os anéis regulares de Von Neumann não devem ser confundidos com os anéis regulares não relacionados e os anéis locais regulares da álgebra comutativa .
Um elemento a de um anel é chamado de elemento regular de von Neumann se existe um x tal que a = axa . Um ideal é chamado de (von Neumann) ideal regulares se para cada elemento um em que existe um elemento x em tal que a = axa .
Exemplos
Cada campo (e cada campo de inclinação ) é von Neumann regular: para a ≠ 0 podemos tomar x = a −1 . Um domínio integral é von Neumann regular se e somente se for um campo. Todo produto direto dos anéis regulares de von Neumann é novamente regular de von Neumann.
Outra classe importante de exemplos de anéis regulares von Neumann são os anéis M n ( K ) de n -by- n matrizes quadradas com entradas de alguns campo K . Se r é o posto de A ∈ M n ( K ) , a eliminação gaussiana dá matrizes invertíveis U e V tais que
(onde I r é o r -by- r matriz de identidade ). Se definirmos X = V −1 U −1 , então
Mais geralmente, o anel da matriz nxn sobre qualquer anel regular de von Neumann é novamente regular de von Neumann.
Se V é um espaço vetorial sobre um campo (ou campo oblíquo ) K , então o anel de endormorfismo End K ( V ) é regular de von Neumann, mesmo se V não tiver dimensão finita.
O anel de operadores afiliados de uma álgebra de von Neumann finita é von Neumann regular.
Um anel booleano é um anel em que cada elemento satisfaz a 2 = a . Todo anel booleano é von Neumann regular.
Fatos
As seguintes declarações são equivalentes para o anel R :
- R é von Neumann regular
- todo ideal de esquerda principal é gerado por um elemento idempotente
- todo ideal de esquerda finitamente gerado é gerado por um idempotente
- todos os principais ideal esquerda é um summand direta da esquerda R -module R
- cada ideal esquerdo finitamente gerado é um somatório direto do R- módulo R esquerdo
- cada finita gerado submódulo de um projectiva esquerda R -module P é um summand directa de P
- todo módulo R esquerdo é plano : isso também é conhecido como R sendo absolutamente plano ou R tendo dimensão fraca 0.
- cada seqüência exata curta de módulos R esquerdos é pura exata
As instruções correspondentes para os módulos corretos também são equivalentes a R sendo von Neumann regular.
Em um anel regular comutativo de von Neumann, para cada elemento x há um único elemento y tal que xyx = x e yxy = y , então há uma maneira canônica de escolher o "inverso fraco" de x . As seguintes afirmações são equivalentes para o anel comutativo R :
- R é von Neumann regular
- R tem Krull dimensão 0 e é reduzido
- Cada localização de R em um ideal máximo é um campo
- R é um subanel de um produto de campos fechados tomando "inversos fracos" de x ∈ R (o único elemento y tal que xyx = x e yxy = y ).
- R é um V-ring .
Além disso, os seguintes são equivalentes: para um anel comutativo A
- R = A / nil ( A ) é von Neumann regular.
- O espectro de A é Hausdorff (na topologia Zariski ).
- A topologia construtível e a topologia de Zariski para Spec ( A ) coincidem.
Generalizando o exemplo acima, suponha que S é algum anel e M é um módulo S tal que cada submódulo de M é um somatório direto de M (tais módulos M são chamados de semi-simples ). Então, o anel de endomorfismo End S ( M ) é von Neumann regular. Em particular, todo anel semisimples é von Neumann regular. De fato, os anéis semisimples são precisamente os noetherianos anéis regulares von Neumann.
Cada anel regular de von Neumann tem radical Jacobson {0} e, portanto, é semiprimitivo (também chamado de "Jacobson semi-simples").
Generalizações e especializações
Tipos especiais de anéis regulares de von Neumann incluem anéis regulares de unidade e anéis regulares de von Neumann fortemente e anéis de rank .
Um anel R é chamado de unidade regular se para cada a em R , houver uma unidade u em R tal que a = aua . Cada anel semi-simples é unitário regular, e os anéis unitários regulares são anéis diretamente finitos . Um anel regular de von Neumann comum não precisa ser diretamente finito.
Um anel R é chamado fortemente de von Neumann regular se para cada a em R , houver algum x em R com a = aax . A condição é simétrica esquerda-direita. Anéis regulares fortemente von Neumann são unidades regulares. Todo anel regular fortemente von Neumann é um produto subdireto dos anéis de divisão . Em certo sentido, isso imita mais de perto as propriedades dos anéis regulares comutativos de von Neumann, que são subprodutos de campos. É claro que, para anéis comutativos, von Neumann regular e fortemente von Neumann regular são equivalentes. Em geral, os seguintes são equivalentes para um anel R :
- R é fortemente von Neumann regular
- R é von Neumann regular e reduzido
- R é von Neumann regular e todo idempotente em R é central
- Todo ideal de esquerda principal de R é gerado por um idempotente central
Generalizações de anéis regulares von Neumann incluem pi anéis -Regular, Esquerda / Direita anéis semihereditary , esquerda / direita anéis não singulares e anéis semiprimitive .
Veja também
Notas
Referências
- Kaplansky, Irving (1972), Fields and rings , Chicago lectures in mathematics (Second ed.), University of Chicago Press, ISBN 0-226-42451-0, Zbl 1001.16500
- LA Skornyakov (2001) [1994], "Anel regular (no sentido de von Neumann)" , Encyclopedia of Mathematics , EMS Press
Leitura adicional
- Goodearl, KR (1991), von Neumann regular rings (2 ed.), Malabar, FL: Robert E. Krieger Publishing Co. Inc., pp. Xviii + 412, ISBN 0-89464-632-X, MR 1150975 , Zbl 0749.16001
- von Neumann, John (1936), "On Regular Rings", Proc. Natl. Acad. Sci. EUA , 22 (12): 707-712, doi : 10.1073 / pnas.22.12.707 , JFM 62.1103.03 , PMC 1076849 , PMID 16577757 , Zbl 0015.38802
- von Neumann, John (1960), geometrias contínuas , Princeton University Press , Zbl 0171.28003