Source author record

Mahmood Sohrabi

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

ResearcherUnclaimed source record

math.GR math.LO math.RA

Catalog footprint

Research overview

7works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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

Distortion of embeddings of a torsion-free finitely generated nilpotent group into a unitriangular group

In this paper we study distortion of various well-known embeddings of finitely generated torsion-free nilpotent groups $G$ into unitriangular groups $UT_n(\mathbb{Z})$ . We also provide a polynomial time algorithm for finding distortion of a given subgroup of $G$

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.

preprint2016arXiv

On elementary equivalence of rings with a finitely generated additive group

In this paper we provide a complete algebraic characterization of elementary equivalence of rings with a finitely generated additive group in the language of pure rings. The rings considered are arbitrary otherwise.

preprint2016arXiv

On groups elementarily equivalent to a group of triangular matrices $T_n(R)$

In this paper we investigate the structure of groups elementarily equivalent to the group $T_n(R)$ of all invertible upper triangular $n\times n$ matrices, where $n\geq 3$ and $R$ is a characteristic zero integral domain. In particular we give both necessary and sufficient conditions for a group being elementarily equivalent to $T_n(R)$ where $R$ is a characteristic zero algebraically closed field, a real closed field, a number field, or the ring of integers of a number field.

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.

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.

Mahmood Sohrabi

Research overview

Is this your work?

7 publications

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

Distortion of embeddings of a torsion-free finitely generated nilpotent group into a unitriangular group

Elementary coordinatization of finitely generated nilpotent groups

On elementary equivalence of rings with a finitely generated additive group

On groups elementarily equivalent to a group of triangular matrices $T_n(R)$

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

See the researcher in context

Building this map preview

Mahmood Sohrabi

Research overview

Is this your work?

7 publications

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

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

Distortion of embeddings of a torsion-free finitely generated nilpotent group into a unitriangular group

Elementary coordinatization of finitely generated nilpotent groups

On elementary equivalence of rings with a finitely generated additive group

On groups elementarily equivalent to a group of triangular matrices Tn(R)T_n(R)Tn​(R)

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

See the researcher in context

Building this map preview

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

On groups elementarily equivalent to a group of triangular matrices $T_n(R)$

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