|
|
Výzkum |
| Kolokvia |
pátek 1. prosince 2017 od 14:30
Jugoslávských partyzánů 1580/3, Praha 6
5. podlaží,
místnost č. 507 (JP:B1-507)
Rovnicová podmínka je množina rovnic v nějakém algebraickém jazyce.
Říkáme,
že abstraktní algebra splňuje příslušnou rovnicovou podmínku,
pokud v ní lze najít
termy splňující předepsané rovnice. Podíváme se
na jednu netriviální rovnicovou
podmínku, která implikuje každou
netriviální idempotentní rovnicovou podmínku.
Weakest nontrivial idempotent equations
An equational condition is a set of equations in an algebraic language,
and an algebraic
structure satisfies such a condition if it possesses terms
that meet the required equations.
We will explore a single nontrivial
equational condition which is implied
by any
nontrivial idempotent
equational condition.