An idempotent semifield is an idempotent semiring such that its multiplicative reduct is a group. In this talk I will present several results about equational theories of idempotent semifields. The results include that no non-trivial class of idempotent semifields has a finitely based equational theory and that the equational theory of the class of all idempotent semifields is co-NP-complete. The latter will also give us a complexity result for some problem about right-orders on free groups. This is joint work with George Metcalfe.
Equational theories of idempotent semifields
Relatori/Relatrici: Simon Santschi (Mathematical Institute, University of Bern)
Docenti di riferimento: Alessandro Aldini
Ciclo di seminari:
Vincoli di partecipazione:
Luogo
Data
Orario
Crediti
Aula 01, Palazzo Battiferri, Via Saffi 42, Urbino
16 Ottobre 2025
16:00
0.125