Source author record

Victor Maltcev

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

ResearcherUnclaimed source record

math.GR Formal Languages and Automata Theory math.CO

Catalog footprint

Research overview

18works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2013arXiv

$\mathcal{J}^{\ast}=\mathcal{D}^{\ast}$ need not hold in finite semigroups

We provide an example of minimum size of a finite semigroup with $\mathcal{J}^{\ast}\neq\mathcal{D}^{\ast}$ . We introduce the notion of starred stability and prove that every starred stable semigroup has $\mathcal{J}^{\ast}=\mathcal{D}^{\ast}$ .

preprint2013arXiv

A countable family of finitely presented infinite congruence-free monoids

We prove that monoids $\mathrm{Mon}\langle a,b,c,d : a^nb=0, ac=1, db=1, dc=1, dab=1, da^2b=1, \ldots, da^{n-1}b=1\rangle$ are congruence-free for all $n\geq 1$ . This provides a new countable family of finitely presented congruence-free monoids, bringing one step closer to understanding the Boone--Higman Conjecture. We also provide examples which show that finitely presented congruence-free monoids may have quadratic Dehn function.

preprint2013arXiv

A countable series of bisimple $\mathcal{H}$ -trivial finitely presented congruence-free monoids

We provide a countable series of bisimple $\mathcal{H}$ -trivial finitely presented congruence-free monoids.

preprint2013arXiv

A simple non-bisimple congruence-free finitely presented monoid

We exhibit an example of a finitely presented monoid that is congruence-free and simple but not bisimple.

preprint2013arXiv

Ends for subsemigroups of finite index

In this paper we study ends of finitely generated semigroups. The ends we are working with are the ends of the undirected graphs of Cayley graphs of finitely generated semigroups. We prove that the number of ends is preserved for subsemigroups of finite Rees index, and prove the same result for finite Green index subsemigroups of cancellative semigroups.

preprint2013arXiv

Finite semigroups embed in finitely presented congruence-free monoids

We prove that every finite semigroup embeds in a finitely presented congruence-free monoid, and pose some questions around the Boone-Higman Conjecture.

preprint2013arXiv

For a few elements more: A survey of finite Rees index

This paper makes a comprehensive survey of results relating to finite Rees index for semigroups. In particular, we survey of the state of knowledge on whether various finiteness properties (such as finite generation, finite presentability, automaticity, and hopficity) are inherited by finite Rees index subsemigroups and extensions. We survey other properties that are invariant under passing to finite Rees index subsemigroups and extensions, such as the cofinality and number of ends. We prove some new results: inheritance of word-hyperbolicity by finite Rees index subsemigroups, and inheritance of (geometric) hyperbolicity by finite Rees index extensions and subsemigroups within the class of monoids of finite geometric type. We also give some improved counterexamples. All the results are summarized in a table.

preprint2013arXiv

Hopfian and co-hopfian subsemigroups and extensions

This paper investigates the preservation of hopficity and co-hopficity on passing to finite-index subsemigroups and extensions. It was already known that hopficity is not preserved on passing to finite Rees index subsemigroups, even in the finitely generated case. We give a stronger example to show that it is not preserved even in the finitely presented case. It was also known that hopficity is not preserved in general on passing to finite Rees index extensions, but that it is preserved in the finitely generated case. We show that, in contrast, hopficity is not preserved on passing to finite Green index extensions, even within the class of finitely presented semigroups. Turning to co-hopficity, we prove that within the class of finitely generated semigroups, co-hopficity is preserved on passing to finite Rees index extensions, but is not preserved on passing to finite Rees index subsemigroups, even in the finitely presented case. Finally, by linking co-hopficity for graphs to co-hopficity for semigroups, we show that without the hypothesis of finite generation, co-hopficity is not preserved on passing to finite Rees index extensions.

preprint2013arXiv

Monoids $\mathrm{Mon}\langle a,b:a^αb^βa^γb^δ=b\rangle$ admit finite complete rewriting systems

We prove that every monoid $\mathrm{Mon}\langle a,b:a^αb^βa^γb^δ=b\rangle$ admits a finite complete rewriting system. Furthermore we prove that $\mathrm{Mon}\langle a,b:ab^2a^2b^2=b\rangle$ is non-hopfian, providing an example of a finitely presented non-residually finite monoid with linear Dehn function.

preprint2013arXiv

On hopfian cofinite subsemigroups

If a finitely generated semigroup S has a hopfian (meaning: every surjective endomorphism is an automorphism) cofinite subsemigroup T then S is hopfian too. This no longer holds if S is not finitely generated. There exists a finitely generated hopfian semigroup S with a non-hopfian subsemigroup T such that S\T has size 1.

preprint2012arXiv

Context-free rewriting systems and word-hyperbolic structures with uniqueness

This paper proves that any monoid presented by a confluent context-free monadic rewriting system is word-hyperbolic. This result then applied to answer a question asked by Duncan & Gilman by exhibiting an example of a word-hyperbolic monoid that does not admit a word-hyperbolic structure with uniqueness (that is, in which the language of representatives maps bijectively onto the monoid).

preprint2012arXiv

Finitely presented monoids with linear Dehn function need not have regular cross-sections

This paper shows that a finitely presented monoid with linear Dehn function need not have a regular cross-section, strengthening the previously-known result that such a monoid need not be presented by a finite complete string rewriting system, and contrasting the fact that finitely presented groups with linear Dehn function always have regular cross-sections.

preprint2012arXiv

Markov semigroups, monoids, and groups

A group is Markov if it admits a prefix-closed regular language of unique representatives with respect to some generating set, and strongly Markov if it admits such a language of unique minimal-length representatives over every generating set. This paper considers the natural generalizations of these concepts to semigroups and monoids. Two distinct potential generalizations to monoids are shown to be equivalent. Various interesting examples are presented, including an example of a non-Markov monoid that nevertheless admits a regular language of unique representatives over any generating set. It is shown that all finitely generated commutative semigroups are strongly Markov, but that finitely generated subsemigroups of virtually abelian or polycyclic groups need not be. Potential connections with word-hyperbolic semigroups are investigated. A study is made of the interaction of the classes of Markov and strongly Markov semigroups with direct products, free products, and finite-index subsemigroups and extensions. Several questions are posed.

preprint2008arXiv

The structure of two generalization of the symmetric inverse semigroups

We introduce two generalisations of the full symmetric inverse semigroup ${\mathcal{I}}_X$ and its dual semigroup ${\mathcal{I}^{\ast}}_X$ -- inverse semigroups ${\mathcal{PI}^{\ast}}_X$ and ${\overline{\mathcal{PI}^{\ast}}}_X$ . Both of them have the same carrier and contain $\IS_X$. Binary operations on ${\mathcal{PI}^{\ast}}_X$ and ${\overline{\mathcal{PI}^{\ast}}}_X$ are reminiscent of the multiplication in ${\mathcal{I}}_X$ . We use a convenient geometric way to realise elements from these two semigroups. This enables us to study efficiently their inner properties and to compare them with the corresponding properties of $\IS_X$ and ${\mathcal{I}^{\ast}}_X$ .

preprint2006arXiv

A presentation for the partial dual inverse symmetric monoid

We give a monoid presentation in terms of generators and defining relations for the partial analogue of the finite dual inverse symmetric monoid.

preprint2006arXiv

On representations of variants of semigroups

We construct a family of representations of an arbitrary variant $S_a$ of a semigroup $S$ , induced by a given representation of $S$ , and investigate properties of such representations and their kernels.

preprint2006arXiv

Presentation of the singular part of the Brauer monoid

We obtain a presentation for the singular part of the Brauer monoid with respect to an irreducible system of generators, consisting of idempotents. As an application of this result we get a new construction of the symmetric group via connected sequences of subsets. Another application describes the lengths of elements in the singular part of the Brauer monoid with respect to the system of generators, mentioned above.

preprint2005arXiv

$\mathcal{L}$ -- and $\mathcal{R}$ --cross-sections in the Brauer semigoup

We classify all cross-sections of Green's relations $\mathcal{L}$ and $\mathcal{R}$ in the Brauer semigroup. The regular behavior of such cross-sections starts from $n=7$ . We show that in the regular case there are essentially two different cross-sections and all others are $\mathcal{S}_n$ -conjugated to one of these two. We also classify all cross-sections up to isomorphism.

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.

Victor Maltcev

Research overview

Is this your work?

18 publications

$\mathcal{J}^{\ast}=\mathcal{D}^{\ast}$ need not hold in finite semigroups

A countable family of finitely presented infinite congruence-free monoids

A countable series of bisimple $\mathcal{H}$ -trivial finitely presented congruence-free monoids

A simple non-bisimple congruence-free finitely presented monoid

Ends for subsemigroups of finite index

Finite semigroups embed in finitely presented congruence-free monoids

For a few elements more: A survey of finite Rees index

Hopfian and co-hopfian subsemigroups and extensions

Monoids $\mathrm{Mon}\langle a,b:a^αb^βa^γb^δ=b\rangle$ admit finite complete rewriting systems

On hopfian cofinite subsemigroups

Context-free rewriting systems and word-hyperbolic structures with uniqueness

Finitely presented monoids with linear Dehn function need not have regular cross-sections

Markov semigroups, monoids, and groups

The structure of two generalization of the symmetric inverse semigroups

A presentation for the partial dual inverse symmetric monoid

On representations of variants of semigroups

Presentation of the singular part of the Brauer monoid

$\mathcal{L}$ -- and $\mathcal{R}$ --cross-sections in the Brauer semigoup

See the researcher in context

Building this map preview

Victor Maltcev

Research overview

Is this your work?

18 publications

J∗=D∗\mathcal{J}^{\ast}=\mathcal{D}^{\ast}J∗=D∗ need not hold in finite semigroups

A countable family of finitely presented infinite congruence-free monoids

A countable series of bisimple H\mathcal{H}H-trivial finitely presented congruence-free monoids

A simple non-bisimple congruence-free finitely presented monoid

Ends for subsemigroups of finite index

Finite semigroups embed in finitely presented congruence-free monoids

For a few elements more: A survey of finite Rees index

Hopfian and co-hopfian subsemigroups and extensions

Monoids Mon⟨a,b:aαbβaγbδ=b⟩\mathrm{Mon}\langle a,b:a^αb^βa^γb^δ=b\rangleMon⟨a,b:aαbβaγbδ=b⟩ admit finite complete rewriting systems

On hopfian cofinite subsemigroups

Context-free rewriting systems and word-hyperbolic structures with uniqueness

Finitely presented monoids with linear Dehn function need not have regular cross-sections

Markov semigroups, monoids, and groups

The structure of two generalization of the symmetric inverse semigroups

A presentation for the partial dual inverse symmetric monoid

On representations of variants of semigroups

Presentation of the singular part of the Brauer monoid

L\mathcal{L}L-- and R\mathcal{R}R--cross-sections in the Brauer semigoup

See the researcher in context

Building this map preview

$\mathcal{J}^{\ast}=\mathcal{D}^{\ast}$ need not hold in finite semigroups

A countable series of bisimple $\mathcal{H}$ -trivial finitely presented congruence-free monoids

Monoids $\mathrm{Mon}\langle a,b:a^αb^βa^γb^δ=b\rangle$ admit finite complete rewriting systems

$\mathcal{L}$ -- and $\mathcal{R}$ --cross-sections in the Brauer semigoup