Researcher profile

Mahmood Sohrabi

Mahmood Sohrabi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.GR math.LO

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author

4works

0followers

2topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

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

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

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.

preprint2020arXiv

Bi-interpretability with $\mathbb{Z}$ and models of the complete elementary theories of $\text{SL}_n(\mathcal{O})$, $\text{T}_n(\mathcal{O})$ and $\text{GL}_n(\mathcal{O})$, $n\geq 3$

Let $\mathcal{O}$ be the ring of integers of a number field, and let $n\geq 3$. This paper studies bi-interpretability of the ring of integers $\mathbb{Z}$ with the special linear group $\text{SL}_n(\mathcal{O})$, the general linear group $\text{GL}_n(\mathcal{O})$ and solvable group of all invertible uppertriangular matrices over $\mathcal{O}$, $\text{T}_n(\mathcal{O})$. For each of these groups we provide a complete characterization of arbitrary models of their complete elementary theories.

preprint2016arXiv

$ω$-stability and Morley rank of bilinear maps, rings and nilpotent groups

In this paper we study the algebraic structure of $ω$-stable bilinear maps, arbitrary rings and nilpotent groups. We will also provide rather complete structure theorems for the above structures in the finite Morley rank case.

preprint2016arXiv

Elementary coordinatization of finitely generated nilpotent groups

This paper has two main parts. In the first part we develop an elementary coordinatization for any nilpotent group $G$ taking exponents in a binomial principal ideal domain (PID) $A$. In case that the additive group $A^+$ of $A$ is finitely generated we prove using a classical result of Julia Robinson that one can obtain a central series for $G$ where the action of the ring of integers $\Z$ on the quotients of each of the consecutive terms of the series except for one very specific gap, called the special gap, is interpretable in $G$. Then we use a refinement of this central series to give a criterion for elementary equivalence of finitely generated nilpotent groups in terms of the relationship between group extensions and the second cohomology group.

preprint2015arXiv

Magnus embedding and algorithmic properties of groups $F/N^{(d)}$

In this paper we further study properties of Magnus embedding, give a precise reducibility diagram for Dehn problems in groups of the form $F/N^{(d)}$, and provide a detailed answer to Problem 12.98 in Kourovka notebook. We also show that most of the reductions are polynomial time reductions and can be used in practical computation.

Mahmood Sohrabi

Quick read

Decide how to stay connected

How to connect with this researcher

Open a focused conversation when the fit is right

See the researcher in context

Building this graph slice

4 published item(s)

Bi-interpretability with $\mathbb{Z}$ and models of the complete elementary theories of $\text{SL}_n(\mathcal{O})$, $\text{T}_n(\mathcal{O})$ and $\text{GL}_n(\mathcal{O})$, $n\geq 3$

$ω$-stability and Morley rank of bilinear maps, rings and nilpotent groups

Elementary coordinatization of finitely generated nilpotent groups

Magnus embedding and algorithmic properties of groups $F/N^{(d)}$