Algebrai struktúrák és algoritmusok = Algebraic structures and algorithms

A pályázat keretében három témakörben --- általános algebra, félcsoportelmélet és döntési problémák bonyolultsága --- nyertünk eredményeket. A kutatás jelentős része hazai, illetve külföldi kutatókkal való együttműködésben született. Bebizonyítottuk, hogy algebrák egy igen tág osztályában azokat a véges algebrákat, amelyek reziduálisan kicsi varietást generálnak, meghatározzák a c-változós kompatibilis relációi, ahol c csak az osztály egy paraméterétől és az alaphalmaz nagyságától függő konstans. Meghatároztuk a legfeljebb 4 többségi függvényt tartalmazó minimális klónokat, valamint azokat a minimális klónt generáló kétváltozós műveleteket, amelyek "majdnem asszociatívak". Általánosítottuk kvázivarietásokra Willard véges azonosságbázis tételét, és egy speciális esetben bebizonyítottuk Pigozzi relatív kongruenciamoduláris kvázivarietásokra vonatkozó véges azonosságbázis sejtését. Jellemeztük a kötegek csoportokkal vett szemidirekt szorzatainak idempotens-szétválasztó homomorf képeit, és ezek reguláris részfélcsoportjait. Bebizonyítottuk, hogy minden E-tömör lokálisan inverz félcsoport beágyazható teljesen egyszerű félcsoport inverz félcsoporttal vett lambda-szemidirekt szorzatába. Algebrai és kombinatorikai jellegű feltételeket adtunk arra, hogy egy lokálisan véges varietás típushalmaza nem tartalmaz 1-es típust, illetve 1-es és 2-es típust. Dichotómiatételt bizonyítottunk polinom-egyenletrendszerek megoldhatóságára olyan algebrák felett, melyek "kizárják" az 1-es típust. | The results of the project belong to three areas: universal algebra, semigroup theory and complexity theory. Most of the research was carried out in international cooperation. We proved that in a wide class of algebras, the finite algebras that generate residually small varieties are determined by their c-ary compatible relations where c is a constant that depends only on a parameter of the class and on the size of the underlying set. We described the minimal clones with at most 4 majority operations, and those binary operations generating a minimal clone which are "almost associative". We generalized the finite basis theorem of Willard to quasivarieties, and proved a conjecture of Pigozzi regarding the finite axiomatizability of relative congruence-modular quasivarieties in a special case. We characterized the idempotent separating homomorphic images of semidirect products of bands by groups, and their regular subsemigroups. We proved that each E-solid locally inverse semigroup is embeddable in a lambda-semidirect product of a completely simple semigroup by an inverse semigroup. We gave algebraic and combinatorial characterizations of the locally finite varieties omitting type 1 and of those omitting types 1 and 2. We proved a dichotomy theorem for the solvability problem of systems of polynomial equations over certain finite algebras

Algebrák és kísérőstruktúráik = Algebras and their related structures

Bebizonyítottuk, hogy - a várakozásokkal ellentétben - véges algebrákra eldönthető, hogy van-e n-változós többségi kifejezésfüggvényük valamely n-re, és hogy véges csoportok izomorfiája nem következik a köbeik részcsoporthálójának izomorfiájából. Megmutattuk, hogy minden végesen generált, relatív kongruencia-metszet-féligdisztributív kvázivarietás rendelkezik véges kváziazonosság-bázissal, s hogy lokálisan véges varietásban a véges algebrák kompatibilis részbenrendezett halmazaira (topológiáira) kirótt különböző feltételek ekvivalensek azzal, hogy a varietás típushalmazában az öt Hobby-McKenzie-féle típus közül bizonyosak nem szerepelnek. Beláttuk, hogy minden E-tömör lokálisan inverz félcsoport beágyazható teljesen egyszerű félcsoport inverz félcsoporttal vett lambda-szemidirekt szorzatába. Bebizonyítottuk, hogy az a probléma, hogy létezik-e minden véges inverz monoidnak véges F-inverz fedője, ekvivalens a véges relatívan szabad csoportok Cayley-gráfjainak bizonyos tulajdonságával, s ennek segítségével a probléma visszavezethető véges inverz monoidoknak egy viszonylag szűk halmazára. Optimális Malcev-feltételeket konstruáltunk a modularitásnál erősebb hálóazonosságokra. Leírást adtunk nagy szimmetriával rendelkező klónokra, bizonyos centralizátor klónokra, továbbá olyan klónokra, amelyek unér része (maximális) inverz monoid. | We proved that - contrary to expectation - it is decidable for a finite algebra whether it has a near unanimity term operation, and that the ismorphism of finite groups does not follow from the isomorphism of the subgroup lattices of their direct cubes. We showed that every finitely generated, relatively congruence meet-semidistributive quasivariety has a finite basis of quasi-identities, and that in a locally finite variety certain conditions imposed on the compatible partial orders (topologies) of the finite algebras are equivalent to omissions of some of the five Hobby-McKenzie types from the type set of the variety. We proved that every E-solid locally inverse semigroup can be embedded in a lambda-semidirect product of a completely simple semigroup by an inverse semigroup. We showed that the problem whether every finite inverse monoid has a finite F-inverse cover is equivalent to a certain property of the Cayley graphs of finite, relatively free groups, and therefore the problem can be reduced to a relatively small class of finite inverse monoids. We constructed optimal Mal'tsev conditions for lattice identities that are stronger than modularity. We described clones with a high degree of symmetry, certain centralizer clones, and clones whose unary part is a (maximal) inverse monoid

The free spectra of varieties generated by idempotent semigroups

We give an exact formula for the logarithm of the free spectra of band varieties