Álgebra abstrata/Monóides


Monóide

editar

Definição geral: Monóide é um conjunto com a propriedade associativa e uma unidade.

Monóide

editar

Um Monóide é um triplo   na qual M é um conjunto não-vazio,   é uma composição binária associativa em M e 1 é um elemento unidade de M tal que   para todo a em M.

Se retirarmos a hipótese que   é associativo temos um Monad. Ou se tirarmos a hipótese que possui uma unidade 1, teremos um conjunto com uma composição binária ao qual chamamos de semi-grupo. Assim Monóide é um semi-grupo com unidade.

Um monóide é dito finito se ele possui uma número finito de elementos.

Exemplo 1 de Monóide

editar

Seja M(S) o conjunto de todas as aplicações de S em si mesma;   uma aplicação identidade.

Exemplo: Seja  

 

M(S) é um exemplo de um monóide, que é um conjunto não-vazio, com uma composição binária associativa e uma unidade. M(S) é o monóide de todas as transformações do conjunto S.

Exemplo 2 de Monóide

editar
 

em que   é o conjunto dos números naturais ímpares e P(S) é o conjunto das partes de S.

Fechado

editar

Seja   e  . Quando dizemos que N é fechado sobre o produto em M significa que  .

Exemplo da expressão N é fechado sobre o produto em M.

no monóide  , o subconjunto dos números pares é fechado sobre a operação binária, mas o subconjunto dos números ímpares não é.

Submonóide

editar

Um conjunto N é um Submonóide de M, se (i) N é um subconjunto do monóide M, (ii) N contém a unidade de M e (iii) N é fechado sobre o produto em M

Exemplos de Submonóide, sendo   o conjunto dos números naturais ímpares:

  é um submonóide de  , por sua vez, é um submonóide de  

Monóide e grupo de transformação

editar

Monóide de Transformação

editar

Um submonóide do monóide M(S) é chamado de monóide de transformação (de S).

Ordem de um monóide

editar

É a cardinalidade do monóide.

Exemplo: M(S)

editar

Exemplo: Seja S= {-1,0,1,}, qual é a ordem de   e de Sim S?

 

 

Exemplo: U(M(S))

editar

 

 .

Teorema

editar

Se dado um monóide de todas as transformação de S(não-vazio), cuja ordem de S seja n, a ordem de M(S) é nn. E se tomarmos somente os elementos inversíveis de M(S), ou seja, Sim S = U(M(S)), então sua ordem é n!.