30.12.2014 Views

Přednáška č. 04 - Pf UJEP

Přednáška č. 04 - Pf UJEP

Přednáška č. 04 - Pf UJEP

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Definice (komutativní) pologrupy<br />

(Komutativní) grupoid [ M; O ] budeme nazývat<br />

(komutativní) pologrupou právě tehdy, když binární<br />

operace O je navíc asociativní v M.<br />

Příklady:<br />

• [ N 0 ; + ] a [ N 0 ; . ] jsou komutativní pologrupy,<br />

• [ Z ; - ] není pologrupa,<br />

• [Perm(A) ; • ] je nekomutativní pologrupa,<br />

• [ Pot(A) ; ∪ ] je komutativní pologrupa,<br />

atd.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!