Matematické Fórum

Grupoid (H,*) je úpdgrupoidom grupoidu (G,*), ak plati:

1)
2)

Grupoid sme definovali ako usporiadanu dvojicu kde G je neprazdna nnozina a ° je binarna operacia na G

A mozem sa este spytat ako bude toto bo s tym si tiez neviem rady

Mam definovat pomocou tabulky operaciu na mnozine tak aby grupoid
mal:

a prave dva podgrupoidy

      1   2   3   4
1    1   2   4   3
2    3   2   1   4
3    4   3   2   1
4    3   1   4   2

ma prave 5 podgrupoidov* stym to si neviem rady je to vobec mozne ? bo mne tam vychadzaju len 4 a nevidim dalsiu moznost

     1   2   3   4
1   1
2       2
3             3
4                  4

↑ katrintn:
napriklad

     1   2   3   4
1   1   1
2   1   2
3             3
4                  4

Stale za podmienky ze nepocitas cely grupoid a ani prazdny