Source author record

C. Nogueira

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
1topics
2close collaborators

Published work

3 publications

preprint2016arXiv

Pointlike reducibility of pseudovarieties of the form V∗D\bf V*\bf D

In this paper, we investigate the reducibility property of semidirect products of the form V∗D\bf V*\bf D relatively to (pointlike) systems of equations of the form x1=⋯=xnx_1=\cdots=x_n, where D\bf D denotes the pseudovariety of definite semigroups. We establish a connection between pointlike reducibility of V∗D\bf V*\bf D and the pointlike reducibility of the pseudovariety V\bf V. In particular, for the canonical signature κκ consisting of the multiplication and the (ω−1)(ω-1)-power, we show that V∗D\bf V*\bf D is pointlike κκ-reducible when V\bf V is pointlike κκ-reducible.

preprint2015arXiv

The word problem for κκ-terms over the pseudovariety of local groups

In this paper we study the κκ-word problem for the pseudovariety LG{\bf LG} of local groups, where κκ is the canonical signature consisting of the multiplication and the pseudoinversion. We solve this problem by transforming each arbitrary κκ-term αα into another one called the canonical form of αα and by showing that different canonical forms have different interpretations over LG{\bf LG}. The procedure of construction of these canonical forms consists in applying elementary changes determined by a certain set ΣΣ of κκ-identities. As a consequence, ΣΣ is a basis of κκ-identities for the κκ-variety generated by LG{\bf LG}.

preprint2014arXiv

Semigroup presentations for test local groups

In this paper we exhibit a type of semigroup presentations which determines a class of local groups. We show that the finite elements of this class generate the pseudovariety LG{\bf LG} of all finite local groups and use them as test-semigroups to prove that LG{\bf LG} and S{\bf S}, the pseudovariety of all finite semigroups, verify the same κκ-identities involving κκ-terms of rank at most 1, where κκ denotes the implicit signature consisting of the multiplication and the (ω−1)(ω-1)-power.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.