Unicidade do Elemento Neutro

Dado um grupo (G, \cdot) , sabe-se que existe (por definição!) um elemento e \in G tal que

(1) e \cdot g = g \cdot e = g para todo g \in G .

Tal elemento é único! De fato, se \widehat{e} \in G  possui a propriedade (1), ou seja,

(2) \widehat{e} \cdot g = g \cdot \widehat{e} = g , para todo g \in G ,

temos então que e = \widehat{e} \cdot e = \widehat{e} , onde a primeira igualdade é obtida tomando-se g = e em (2) e a segunda tomando-se g = \widehat{e} em (1).

Nunca vi esta prova em nenhum livro de álgebra (abstrata). Talvez por ser muito simples!!! Você, leitor, seria capaz de postar uma prova para a unicidade de um elemento inverso de g \in G ? Isto é, dado g \in G , mostrar que existe único h \in G tal que g \cdot h = h \cdot g = e . Observe que queremos a prova somente da unicidade, pois a existência é dada pela definição de grupo.

13 Respostas to this post.

  1. Publicado por Éder em 6 / Maio / 2008 às 10:09

    Suponha que esista h e k em G tais

    hg = e = gh e kg = e = gk.

    Então,

    k = ke = k(gh) = (kg)h = eh = h.

    Está certo?

    Responder

  2. Olá Éder!

    Sua prova está correta….

    Vc supôs que existem “dois” inversos para um mesmo elemnto (do grupo G) fixo, e mostrou que são iguais.

    É isso aí!!!

    Responder

  3. Publicado por FABRICIO em 12 / Novembro / 2008 às 11:03

    QUAL SERIA OS PASSOS PROVA DO ELEMENTO NEUTRO PARA UMA OPERAÇAO

    X*Y= x+ ky-1

    Responder

  4. vamos ver se entendi, @Fabricio:

    seu grupo (abeliano ou não!?) tem operação + e agora você define uma nova operação: x*y = x + ky – 1 ?

    Perguntas:

    # k é um número inteiro, natural, real, etc? E o que significa ky?

    # 1 é o elemento neutro do grupo? Se for, x + ky – 1 = x + ky !

    # x e y são números reais?

    Responder

  5. Publicado por FABRICIO em 18 / Novembro / 2008 às 10:54

    seja A= ZxZ. definir o I: (a,b)+(c,d)= (a+c, b+d) II: (a,b).(c,d)= (ac,bd), para todo a,b,c,d pertencente aos Z. como provar o elemento neutro eo simetrico neste caso?

    Responder

  6. Olá @FABRICIO,

    observe que:

    x. (0,0) + (a,b) = (0+a,0+b) = (a,b) => (0,0) é elemento neutro de A.
    x. para todo (a,b) em A, considere o elemento (-a,-b) e daí (a,b) + (-a,-b) = (a – a, b – b) = (0,0) => (-a,-b) é o inverso aditivo de (a,b).

    Observe que usamos apenas a estrutura de grupo (abeliano) de Z.

    Abs

    Responder

  7. Publicado por fabricio em 19 / Novembro / 2008 às 10:47

    entao seja A= ZxZ. II: (a,b).(c,d)= (ac,bd), para todo a,b,c,d pertencente aos Z.

    (a,b).(e,e)=(a,b) => (e,e)=(a,b)/(a,b) => (e,e)= (1,1)

    sendo “e” o elemento neutro.

    pois na multiplicação de operaçoes o elemento neutro dos Z,Q.N e igual a 1.

    Responder

  8. caro @Fabrício,

    não sei se vc lembra mas quando se encontra um elemento neutro de um grupo, em particular para (A,.) mostra-se que este é único (leia o post que contém estes comentários…). Logo, como

    (a,b)(1,1) = (a.1,b.1) = (a,b), quaisquer que sejam a e b em Z,

    então (1,1) é o elemento netro do grupo multiplicativo (A,.).

    Faço este observação pq vc cometeu um pequeno engano na sua solução acima:

    “(a,b).(e,e)=(a,b) => (e,e)=(a,b)/(a,b)”

    esta implicação não verdadeira até que vc tenha prova que existe um elemento neutro, pois só faz sentido em falar de inverso (ou “divisão”), quando se tem o elemento neutro.

    OK!?

    Abs

    Responder

  9. gente quero ajuda
    nessa pergunta de matematica

    essa pergunta
    o elemento neutro da mutiplicação eo numero 1???????

    Responder

    • Tayane,

      na teoria de grupos, tal elemento é denotado por e, já na teoria de anéis, por 1.

      Quando o grupo é abeliano (= comutativo), a operação do grupo é indicada por + e o elemento neutro por 0.

      Lembre-se que são apenas convensões!

      Responder

  10. Publicado por SORRY em 14 / Maio / 2009 às 12:46

    DA PARA LAPIDAR O DESENVOLVIMENTO DESSAS QUESTÃO

    Responder

  11. Publicado por SORRY em 14 / Maio / 2009 às 12:51

    COMO RESOLVER ZxZ é grupo em relação a alguma das seguintes leis:

    a) (a,b)x(c,d)=(a+c,b+d)
    b) (a,b)x(c,d)=(a.c,b.d)

    por favor me responda

    Responder

    • Mostrando que o conjunto ZxZ com uma das operações (separadamente) acima satisfaz as seguinte propriedades:

      # Existe ‘(e,f)’ em ZxZ tal que (e,f) x (a,b) = (a,b) x (e,f) = (a,b), para todo (a,b) em ZxZ
      # Associatividade
      # Para cada (a,b) de ZxZ, existe (a’,b’) tal que (a,b) x (a’,b’) = (a’,b’) x (a,b) = (e,f)

      Só isso! :)

      Responder

Responder a esta postagem