DEFINIÇÃO DE GRUPO COM ELEMENTO NEUTRO E

INVERSO DEFINIDOS APENAS PARA UM DOS LADOS

FERNANDO MACHADO MATIAS

Resumo. Em alguns livros costuma-se usar uma denição de Grupo na qual

os elementos Neutro e Inverso são construídos através da sua atuação tanto
à direita quanto à esquerda. Por outro lado há livros onde a denição de
Grupo é feita através da atuação de tais elementos apenas à direita. Mostra-
se que a segunda denição leva à mesma estrutura que a primeira.

1. Definições de Grupo
Tradicionalmente dene-se grupo da seguinte forma[1]:

Denição 1. Um conjunto G com uma operação

G×G→G
(a, b) 7→ a · b
é um grupo se as condições seguintes são satisfeitas:
(i) A operação é associativa, isto é,
a · (b · c) = (a · b) · c
(ii) Existe um elemento neutro, isto é,
∃e ∈ G tal que e · a = a · e = a, ∀a ∈ G
(iii)Todo elemento possui um elemento inverso, isto é
∀a ∈ G∃a−1 ∈ Gtal que a · a−1 = a−1 · a = e
Porém alguns livros preferem denir de outra forma[2]

Denição 2. Um conjunto G com uma operação

G×G→G
(a, b) 7→ a · b
é um grupo se as condições seguintes são satisfeitas:
(i) A operação é associativa, isto é,
a · (b · c) = (a · b) · c
(ii) Existe um elemento neutro à direita, isto é,
∃e ∈ G tal que a · e = a, ∀a ∈ G
(iii)Todo elemento possui um elemento inverso à direita, isto é
∀a ∈ G∃a−1 ∈ Gtal que a · a−1 = e
Para Grupos não-Abelianos, ou seja, onde ∃a, b ∈ G tais que a · b 6= b · a não é
óbvio que a segunda denição seja equivalente, embora mais enxuta, à primeira.
O objetivo deste texto é o de provar esse resultado. Para tal, será utilizada a
Denição 2 de Grupo e se mostrará que os elementos Neutro e Inverso denidos
apenas à direita também o serão à esquerda.

Date : 08/08/2014.
1
DEFINIÇÃO DE GRUPO COM ELEMENTO NEUTRO E INVERSO DEFINIDOS APENAS PARA UM DOS LADOS2

2. Teoremas
Teorema 3. O elemento inverso à direita também o é à esquerda

Demonstração. usando 2.iii

a · a−1 = e
multiplicando, à esquerda, os dois termos da equação por a−1
−1 −1 −1
a · (a · a )=a ·e
usando 2.i e 2.ii
(a−1 · a) · a−1 = a−1
multiplicando, à direita, os dois termos da equação por (a−1 )−1 , o elemento
−1
inverso à direita de a
[(a−1 · a) · a−1 ] · (a−1 )−1 = a−1 · (a−1 )−1
usando 2.i e 2.iii
(a−1 · a) · [a−1 · (a−1 )−1 ] = e
usando 2.iii
(a−1 · a) · e = e
usando 2.ii
a−1 · a = e 
Teorema 4. O elemento neutro à direita também o é à esquerda

Demonstração. usando 2.iii

e = a · a−1
multiplicando, à direita, os dois termos da equação por a
e · a = (a · a−1 ) · a
usando 2.i
e · a = a · (a−1 · a)
do Teorema 3
e·a=a·e
de 2.ii
e·a=a 

3. Conclusão
Os Teoremas 3 e 4 mostram que a Denição 2 leva à mesma estrutura obtida a
partir da Denição 1. Considera-se a Denição 2 preferível por ser menos exigente,
portanto mais básica. É fácil notar também que, por simetria, o mesmo resultado
seria obtido se na Denição 2 o termo à direita fosse substituído por à esquerda.
Não está claro, porém, se uma denição cruzada funcionaria.

Referências
[1] Arnaldo Garcia and Yves Lequain. Elementos de Álgebra. Projeto Euclides. IMPA, 2012.
[2] Bernard F. Schutz. Geometrical methods of mathematical physics. Press Syndicate of the
University of Cambridge, 1980.