Diferenças entre edições de "Elemento neutro"

24 bytes adicionados ,  19h53min de 2 de março de 2020
→‎Definição formal: estava muito ambíguo o uso de 'e' como ligação, pois 'e' também é usado como "elemento neutro"
m (Foram revertidas as edições de 2804:14C:5B72:9B92:A5C7:B78A:BFB3:5B3 (usando Huggle) (3.4.9))
Etiquetas: Huggle Reversão
(→‎Definição formal: estava muito ambíguo o uso de 'e' como ligação, pois 'e' também é usado como "elemento neutro")
== Definição formal ==
Dado um [[Grupóide (estrutura algébrica)|grupóide]] S, ou seja, um conjunto C munido de uma [[operação binária]] * (representa-se por S = (C, *)), dado um elemento <math>e \in C\,</math> tem-se que, se para todo ''a'':
* ''"'''e * a = a'''" e também "'''a * e = a'''"'', então o elemento ''e'' é dito "[[elemento neutro bilateral]]", "[[elemento neutro irrestrito]]" ou "elemento neutro" simplesmente, pois aplicado à esquerda ou aplicado à direita do outro operando, não altera o valor de ''a'';
* ''e * a = a'', então ''e'' é um "[[elemento neutro à esquerda]]";
* ''a * e = a'', então ''e'' é um "[[elemento neutro à direita]]";
Utilizador anónimo