índice alfabético ] [ índice por assuntos ] [ e-mail ] [ Amantes da Matemática ]

SUBANEL

Tópicos:

Definição de Subanel | Exemplos de Subaneis | Caracterização de Subanel | Subconjuntos que não são Subaneis

Definição. Subanel. Seja (A, +, · ) um anel. Dizemos que um subconjunto S Í A é um subanel de (A, +, · ) se e só se (S, +, · ) também é um anel. (As operações + e · em (S, +, · ) são as operações + e · de (A, +, · ) restritas a S).

Exemplos. Subaneis.

  1. Admitindo que Z Ì Q Ì R Ì C, podemos dizer que ZQ e R são subaneis de (C, +, · ); Z e Q são subaneis de (R, +, · ); Z é subanel de (Q, +, · ). Podemos dizer isso porque além das inclusões Z Ì Ì R Ì C, (Z, +, · ), (Q, +, · ) e (R, +, · ) são aneis.
  2. 2Z = {2z | z Î Z} munido da adição e multiplicação usuais restritas a 2Z é um subanel de Z.
  3. Dado um inteiro n, o conjunto nZ = {nz | Î Z} é um subanel de (Z, +, · ).
  4. {0} e S são sempre subaneis de S.

Obs. as vezes falamos "o subanel S" querendo dizer "o subanel (S, +, · )", como foi feito no exemplo iv. acima, onde nem sequer mencionamos as operações.

Proposição. Caracterização de Subanel. Seja (A, +, · ) um anel e  Í  A. O conjunto S é um subanel de (A, +, · ) se e somente se cumprirem-se as seguintes condições:

  1. S ¹ Ø, isto é, S é um conjunto não vazio.
  2. "x,y (x, y Î S ==> x - y Î S), isto é, a diferença de dois elementos quaisquer de S é um elemento de S. Diz-se nesse caso que S é fechado para a diferença.
  3. "x,y (x, y Î S ==> xy Î S), isto é, o produto de dois quaisquer elementos de S é um elemento de S, ou seja, S é fechado para o produto.

Exemplos. Subconjuntos que não subaneis.

  1. O conjunto dos inteiros positivos não é um subanel do conjunto dos números inteiros munido da adição e produto usuais, pois a diferença de dois inteiros positivos pode não ser um inteiro positivo (ex. 1 - 2 = -1). De outro modo, o conjunto dos inteiros positivos não é fechado para a diferença.
  2. O conjunto 2Z + 1 = {2z + 1 | ΠZ} dos números ímpares não é um subanel de (Z, +, · ), pois a diferença de dois ímpares não é um número ímpar.

Veja também: Anel, Isomorfismo, Operação

Referências

Adilson Gonçalves. Introdução à Àlgebra. 3. ed. Rio de Janeiro: Instituto de Matemática Pura e Aplicada, 1979. 194 pp. (Projeto Euclides)

Richard A. Dean. Elementos de Álgebra Abstrata; tradução de Carlos Alberto A. de Carvalho. Rio de Janeiro, Livros Técnicos e Científicos, 1974. 332 páginas

Hygino H. Domingues, Gelson Iezzi. Álgebra Moderna. 2 ed. São Paulo: Atual, 1982

 

Autor desta página: Eric Campos Bastos Guedes - Niterói - RJ - Brasil

Sugestões? Erro na página? Alguma falha? Comentários? e-mail: mathfire@uol.com.br

Essa página foi visitada Contador de acesso vezes. Última atualização: Segunda-feira, 31 de Janeiro de 2000

[ Índice de assuntos ] [ Índice alfabético ] [ e-mail ] [ Amantes da Matemática ]