BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Carl-Fredrik Nyberg-Brodda

Carl-Fredrik Nyberg-Brodda contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GRmath.RAmath.HO

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
3topics
0close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

5 published item(s)

preprint2022arXiv

Multiplication tables and word-hyperbolicity in free products of semigroups, monoids, and groups

This article studies the properties of word-hyperbolic semigroups and monoids, i.e. those having context-free multiplication tables with respect to a regular combing, as defined by Duncan & Gilman. In particular, the preservation of word-hyperbolicity under taking free products is considered. Under mild conditions on the semigroups involved, satisfied e.g. by monoids or regular semigroups, we prove that the semigroup free product of two word-hyperbolic semigroups is again word-hyperbolic. Analogously, with a mild condition on the uniqueness of representation for the identity element, satisfied e.g. by groups, we prove that the monoid free product of two word-hyperbolic monoids is word-hyperbolic. The methods are language-theoretically general, and apply equally well to semigroups, monoids, or groups with a $\mathbf{C}$-multiplication table, where $\mathbf{C}$ is any reversal-closed super-$\operatorname{AFL}$, in the sense of Greibach. In particular, we deduce that the free product of two groups with $\operatorname{ET0L}$ resp. indexed multiplication tables again has an $\operatorname{ET0L}$ resp. indexed multiplication table.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the Diophantine problem in some one-relator groups

We study the Diophantine problem, i.e. the decision problem of solving systems of equations, for some families of one-relator groups, and provide some background for why this problem is of interest. The method used is primarily the Reidemeister--Schreier method, together with general recent results by Dahmani & Guirardel and Ciobanu, Holt & Rees on the decidability of the Diophantine problem in general classes of groups. First, we give a sample of the methods of the article by proving that the one-relator group with defining relation $a^mb^n = 1$ is virtually a direct product of hyperbolic groups for all $m, n \geq 0$, and thus conclude decidability of the Diophantine problem in such groups. As a corollary, we obtain that the Diophantine problem is decidable in any torus knot group. Second, we study the two-generator, one-relator groups $G_{m,n}$ with defining relation a commutator $[a^m, b^n] = 1$, where $m, n \geq 1$. In doing so, we define and study a natural class of groups (RABSAGs), related to right-angled Artin groups (RAAGs). We reduce the Diophantine problem in the groups $G_{m,n}$ to the Diophantine problem in groups which are virtually certain RABSAGs. As a corollary of our methods, we show that the submonoid membership problem is undecidable in the group $G_{2,2}$ with the single defining relation $[a^2, b^2] = 1$. We use the recent classification by Gray & Howie of RAAG subgroups of one-relator groups to classify the RAAG subgroups of some RABSAGs, showing the potential usefulness of one-relator theory to this area. Finally, we define and study Newman groups $\operatorname{NG}(p,q)$, which are $(p+1)$-generated one-relator groups generalising the solvable Baumslag--Solitar groups. We show that all such groups are hyperbolic, and thereby also conclude decidability of their Diophantine problem.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the Word Problem for Compressible Monoids

We study the language-theoretic properties of the word problem, in the sense of Duncan & Gilman, of weakly compressible monoids, as defined by Adian & Oganesian. We show that if $\mathcal{C}$ is a reversal-closed super-$\operatorname{AFL}$, as defined by Greibach, then $M$ has word problem in $\mathcal{C}$ if and only if its compressed left monoid $L(M)$ has word problem in $\mathcal{C}$. As a special case, we may take $\mathcal{C}$ to be the class of context-free or indexed languages. As a corollary, we find many new classes of monoids with decidable rational subset membership problem. Finally, we show that it is decidable whether a one-relation monoid containing a non-trivial idempotent has context-free word problem. This answers a generalisation of a question first asked by Zhang in 1992.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A translation of G. S. Makanin's 1966 Ph.D. thesis "On the Identity Problem for Finitely Presented Groups and Semigroups"

This is an English translation of the thesis written by G. S. Makanin for the degree of Candidate of Physical and Mathematical Sciences (equivalent to a Ph.D.), originally submitted to the Steklov Mathematical Institute in 1966. The original language is Russian. The named supervisors are A. A. Markov and S. I. Adian.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

The Geometry of Special Monoids

A monoid is said to be special if it admits a presentation in which all defining relations are of the form $w = 1$. Groups are familiar examples of special monoids. This article studies the geometric and structural properties of the Cayley graphs of finitely presented special monoids, building on work by Zhang and Gray-Steinberg. It is shown that the right Cayley graph $Γ$ of a special monoid $M$ is a context-free graph, in the sense of Muller & Schupp, if and only if the group of units of $M$ is virtually free. This generalises the geometric aspect of the well-known Muller-Schupp Theorem from groups to special monoids. Furthermore, we completely characterise when the monadic second order theory of $Γ$ is decidable: this is precisely when the group of units is virtually free. This completely answers for the class of special monoids a question of Kuske & Lohrey from 2006. As a corollary, we obtain that the rational subset membership problem for $M$ is decidable when the group of units of $M$ is virtually free, extending results of Kambites & Render. We also show that the class of special monoids with virtually free group of units is the same as the class of special monoids with right Cayley graph quasi-isometric to a tree as undirected graphs. The above results are proven by developing two general constructions for graphs which preserve context-freeness, of independent interest. The first takes a context-free graph and constructs a tree of copies of this graph. The second is a bounded determinisation of the resulting tree of copies.

0 citations0 reviewsNo code linkedOpen access