Source author record

M. L. Teixeira

M. L. Teixeira appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.GR

Catalog footprint

What is connected

3works

1topics

2close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2016arXiv

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

In this paper, we investigate the reducibility property of semidirect products of the form $\bf V*\bf D$ relatively to (pointlike) systems of equations of the form $x_1=\cdots=x_n$, where $\bf D$ denotes the pseudovariety of definite semigroups. We establish a connection between pointlike reducibility of $\bf V*\bf D$ and the pointlike reducibility of the pseudovariety $\bf V$. In particular, for the canonical signature $κ$ consisting of the multiplication and the $(ω-1)$-power, we show that $\bf V*\bf D$ is pointlike $κ$-reducible when $\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 ${\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 ${\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 ${\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 ${\bf LG}$ of all finite local groups and use them as test-semigroups to prove that ${\bf LG}$ and ${\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)$-power.