Search

For V a vector space over a field, or more generally, over a division ring, it is well-known that every x ∈ End(V ) has an inner inverse; that is, that there exists y ∈ End(V ) satisfying xyx = x. We show here that a large class of such x have inner inverses y that satisfy with x an infinite family of additional monoid relations, making the monoid generated by x and y what is known as an inverse monoid (definition recalled). We obtain consequences of these relations, and related results. P. Nielsen and J. Šter [16] show that a much larger class of elements x of rings R, including all elements of von Neumann regular rings, have inner inverses satisfying arbitrarily large finite subsets of the abovementioned set of relations. But we show by example that the endomorphism ring of any infinite-dimensional vector space contains elements having no inner inverse that simultaneously satisfies all those relations. A tangential result gives a condition on an endomap x of a set S that is necessary and suffcient for x to have a strong inner inverse in the monoid of all endomaps of S.

For V a vector space over a field, or more generally, over a division ring, it is well-known that every x ∈ End(V ) has an inner inverse; that is, that there exists y ∈ End(V ) satisfying xyx = x. We show here that a large class of such x have inner inverses y that satisfy with x an infinite family of additional monoid relations, making the monoid generated by x and y what is known as an inverse monoid (definition recalled). We obtain consequences of these relations, and related results. P. Nielsen and J. Šter [16] show that a much larger class of elements x of rings R, including all elements of von Neumann regular rings, have inner inverses satisfying arbitrarily large finite subsets of the abovementioned set of relations. But we show by example that the endomorphism ring of any infinite-dimensional vector space contains elements having no inner inverse that simultaneously satisfies all those relations. A tangential result gives a condition on an endomap x of a set S that is necessary and suffcient for x to have a strong inner inverse in the monoid of all endomaps of S.

For V a vector space over a field, or more generally, over a division ring, it is well-known that every x ∈ End(V ) has an inner inverse; that is, that there exists y ∈ End(V ) satisfying xyx = x. We show here that a large class of such x have inner inverses y that satisfy with x an infinite family of additional monoid relations, making the monoid generated by x and y what is known as an inverse monoid (definition recalled). We obtain consequences of these relations, and related results. P. Nielsen and J. Šter [16] show that a much larger class of elements x of rings R, including all elements of von Neumann regular rings, have inner inverses satisfying arbitrarily large finite subsets of the abovementioned set of relations. But we show by example that the endomorphism ring of any infinite-dimensional vector space contains elements having no inner inverse that simultaneously satisfies all those relations. A tangential result gives a condition on an endomap x of a set S that is necessary and suffcient for x to have a strong inner inverse in the monoid of all endomaps of S.

The idempotent problem of a finitely generated inverse semigroup is the formal language of all words over the generators representing idempotent elements. This note proves that a finitely generated inverse semigroup with regular idempotent problem is necessarily finite. This answers a question of Gilbert and Noonan Heale, and establishes a generalisation to inverse semigroups of Anisimov's Theorem for groups., Comment: 8 pages