Algebra and Logic

NOVA Math > Research Groups > Algebra and Logic

About

The group focuses on various interconnected areas within Algebra and Logic. These areas include the investigation of structural and combinatorial properties of transformation semigroups, Young tableaux, crystals, automata algebra, semigroups, combinatorics on words, Ramsey theory, graph decomposition, and Turán functions. We also study linear and multilinear algebra, algebraic, differential, and non-commutative geometry, mathematical logic, ordered algebraic structures, and finite fields. Additionally, the group is interested in utilizing computational tools to develop experimental mathematics, aiming to gain fresh insights into the diverse realms of our research.

Team

Publications

Directed graphs of inner translations of semigroups
2017, SEMIGROUP FORUM, Araujo,J;Bentz,W;Konieczny,J
Crystallizing the hypoplactic monoid: from quasi-Kashiwara operators to the Robinson-Schensted-Knuth-type correspondence for quasi-ribbon tableaux
2017, JOURNAL OF ALGEBRAIC COMBINATORICS, Cain,AJ;Malheiro,A
Coloring factors of substitutive infinite words
2017, DISCRETE MATHEMATICS, Bernardino,A;Pacheco,R;Silva,M
The number of distinct eigenvalues for which an index decreases multiplicity
2017, LINEAR ALGEBRA AND ITS APPLICATIONS, Johnson,CR;Duarte,AL;Saiago,CM
A note on generators of the endomorphism semigroup of an infinite countable chain
2017, JOURNAL OF ALGEBRA AND ITS APPLICATIONS, Dimitrova,I;Fernandes,VH;Koppitz,J
Semilinear preservers of the immanants in the set of the doubly stochastic matrices
2017, ELECTRONIC JOURNAL OF LINEAR ALGEBRA, Antonia Duffner,MA;Fernandes,R
GROWTHS OF ENDOMORPHISMS OF FINITELY GENERATED SEMIGROUPS
2017, JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, Cain,AJ;Maltcev,V
Minimal matrices in the Bruhat order for symmetric (0,1)-matrices
2017, LINEAR ALGEBRA AND ITS APPLICATIONS, da Cruz,HF;Fernandes,R;Furtado,S
Decompositions of Graphs into Fans and Single Edges
2017, JOURNAL OF GRAPH THEORY, Liu,H;Sousa,T
Congruence kernels in Ockham algebras
2017, ALGEBRA UNIVERSALIS, Blyth,T;Silva,H

Projects

Cohomology and extensions of inverse and restriction semigroups
No funding, Mykola Khrypchenko
Finitary incidence algebras and their generalized derivations
CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico (Brazil), Mykola Khrypchenko
Generalized Derivations of Non-associative Algebras
FAPESP - Fundação de Amparo à Pesquisa do Estado de São Paulo (Brazil), Mykola Khrypchenko
Generalized Derivations of Incidence Algebras
CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico (Brazil), Mykola Khrypchenko
Incidence Algebras
Fundação Araucária (Brazil), Mykola Khrypchenko
SemiComb - Semigroups: Conjugacy, Computation, Crystals and Combinatorics
FCT - Fundação para a Ciência e a Tecnologia, I.P., João Araújo, Tara Brough, Alan J. Cain, Ana Casimiro,...
Partial Actions, Restriction Semigroups and Monoidal Categories
No funding, Mykola Khrypchenko
Paul Bernays’ Philosophy of Mathematics
Swiss National Science Foundation (Switzerland), Reinhard Kahle
Hilbert's 24th Problem
FCT - Fundação para a Ciência e a Tecnologia, I.P., Reinhard Kahle, Alan James Cain, António José Mesquita...
"Research in Pairs" small grant
London Mathematical Society (United Kingdom), Alan J. Cain

Software

  •  
    • the kernel of a Theorem Prover interface: ProverX (under construction)
    • a package to find Forbidden Structure Conjectures: Forbidden Theorems
    • a package to find a base of identities for the variety of semigroups it generates: Semigroup Varieties
    • a package to translate proofs from Prover9 to other Automated Theorem Provers: Translator
    • a package to humanize proofs from Prover9: XPlain
    • to test if an identity is satisfied, given a set of semistandard tableaux