Lightův test asociativity

Technology
12 hours ago
8
4
2
Avatar
Author
Albert Flores

Lightův test asociativity je algoritmus z abstraktní algebry. Umožňuje určit, zda je binární operace nad konečnou množinou, jež byla zadána pomocí Cayleyho multiplikativní tabulky, asociativní. Tím lze rozlišit pologrupy, kde operace asociativní je, od grupoidů, jejichž operace asociativní nejsou.

Test je pojmenován po F. W. Lightovi, jenž jej autorům publikace The Algebraic Theory of Semigroups (Algebraická teorie pologrup) představil v roce 1949.

Postup

Základem Lightova testu asociativity je zavedení dvou nových zástupných binárních operací. Pro jednotlivé prvky množiny se pak sestaví Cayleyho tabulky pro tyto dvě operace. +more Pokud jsou poté tabulky ve všech dvojicích takto vzniklých tabulek pro obě zástupné operace shodné, je původní operace asociativní; liší-li se tabulky v nějaké dvojici, původní operace asociativní není.

5 min read
Share this post:
Like it 8

Leave a Comment

Please, enter your name.
Please, provide a valid email address.
Please, enter your comment.
Enjoy this post? Join Cesko.wiki
Don’t forget to share it
Top