[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[obm-l] Álgebra Operações Grupos
- To: OBM-L <obm-l@xxxxxxxxxxxxxx>
- Subject: [obm-l] Álgebra Operações Grupos
- From: "Daniel S. Braz" <dsbraz@xxxxxxxxx>
- Date: Sun, 2 Apr 2006 21:54:46 -0300
- DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:mime-version:content-type; b=sjnL+yFARLL6iDssatZr3tEW0dJPHqAwmlivV6Oju5OwojtFbwakByyzLK6jfGc+WSpBIy89NM5G+3TZ/nDy1BSc4amSwa8z1/JqXBwjtG/62TDam68W/XqgIUY5n3sN3ka1gB1kLbrsE0URgh9OaTuxgXtaHhP/3Y0Q9Rmyqtk=
- Reply-To: obm-l@xxxxxxxxxxxxxx
- Sender: owner-obm-l@xxxxxxxxxxxxxx
Pessoal,
Alguém pode me ajudar?
Seja G um conjunto finito e munido de uma operação * que é associativa. Mostre que, se a operação * satisfaz a lei do cancelamento, então (G,*) é um grupo.
Aqui eu teria que mostrar que G possui elemento neutro e possui simétricos (elementos invertíveis), certo? Como?
O contrário é simples demonstrar (que se uma operação é associativa, tem elemento neutro e se "a" pertencente a G é simetrizável, então "a" satisfaz a lei do cancelamento).
obrigado.
Daniel S. Braz