Researcher profile

M. H. Shahzamanian

M. H. Shahzamanian contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
8works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

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 map preview

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

Published work

8 published item(s)

preprint2026arXiv

Simplicity of Augmentation Submodules in Monoids with 0-Minimal Ideals of Rank Greater than Two

In this paper, we construct explicit families of transformation monoids whose augmentation submodules are simple and whose associated 0-minimal J-classes have rank greater than two. These examples provide new monoids with simple augmentation submodules and non-complete associated graphs. We also establish a connection between the sandwich matrix of a 0-minimal J-class of rank two and the simplicity of the corresponding augmentation module, yielding a criterion that determines simplicity directly from the rank of this matrix for this class of monoids.

preprint2017arXiv

Nilpotency and strong nilpotency for finite semigroups

Nilpotent semigroups in the sense of Mal'cev are defined by semigroup identities. Finite nilpotent semigroups constitute a pseudovariety, $\mathsf{MN}$, which has finite rank. The semigroup identities that define nilpotent semigroups, lead us to define strongly Mal'cev nilpotent semigroups. Finite strongly Mal'cev nilpotent semigroups constitute a non-finite rank pseudovariety, $\mathsf{SMN}$. The pseudovariety $\mathsf{SMN}$ is strictly contained in the pseudovariety $\mathsf{MN}$ but all finite nilpotent groups are in $\mathsf{SMN}$. We show that the pseudovariety $\mathsf{MN}$ is the intersection of the pseudovariety $\mathsf{BG_{nil}}$ with a pseudovariety defined by a $κ$-identity. We further compare the pseudovarieties $\mathsf{MN}$ and $\mathsf{SMN}$ with the Mal'cev product of the pseudovarieties $\mathsf{J}$ and $\mathsf{G_{nil}}$.

preprint2016arXiv

The congruence $η^{\ast}$ on semigroups

In this paper we define a congruence $η^{\ast}$ on semigroups. For the finite semigroups $S$, $η^{\ast}$ is the smallest congruence relation such that $S/η^{\ast}$ is a nilpotent semigroup (in the sense of Malcev). In order to study the congruence relation $η^{\ast}$ on finite semigroups, we define a $\textbf{CS}$-diagonal finite regular Rees matrix semigroup. We prove that, if $S$ is a $\textbf{CS}$-diagonal finite regular Rees matrix semigroup then $S/η^{\ast}$ is inverse. Also, if $S$ is a completely regular finite semigroup, then $S/η^{\ast}$ is a Clifford semigroup. We show that, for every non-null principal factor $A/B$ of $S$, there is a special principal factor $C/D$ such that every element of $A\setminus B$ is $η^{\ast}$-equivalent with some element of $C\setminus D$. We call the principal factor $C/D$, the $η^{\ast}$-root of $A/B$. All $η^{\ast}$-roots are $\textbf{CS}$-diagonal. If certain elements of $S$ act in the special way on the $\textbf{R}$-classes of a $\textbf{CS}$-diagonal principal factor then it is not an $η^{\ast}$-root. Some of these results are also expressed in terms of pseudovarieties of semigroups.

preprint2012arXiv

A description of a class of finite semigroups that are near to being Malcev nilpotent

In this paper we continue the investigations on the algebraic structure of a finite semigroup $S$ that is determined by its associated upper non-nilpotent graph $\mathcal{N}_{S}$. The vertices of this graph are the elements of $S$ and two vertices are adjacent if they generate a semigroup that is not nilpotent (in the sense of Malcev). We introduce a class of semigroups in which the Mal'cev nilpotent property lifts through ideal chains. We call this the class of \B\ semigroups. The definition is such that the global information that a semigroup is not nilpotent induces local information, i.e. some two-generated subsemigroups are not nilpotent. It turns out that a finite monoid (in particular, a finite group) is \B\ if and only if it is nilpotent. Our main result is a description of \B\ finite semigroups $S$ in terms of their associated graph ${\mathcal N}_{S}$. In particular, $S$ has a largest nilpotent ideal, say $K$, and $S/K$ is a 0-disjoint union of its connected components (adjoined with a zero) with at least two elements.

preprint2012arXiv

Roughness in Cayley Graphs

In this paper, rough approximations of Cayley graphs are studied and rough edge Cayley graphs are introduced. Furthermore, a new algebraic definition called pseudo-Cayley graphs containing Cayley graphs is proposed. Rough approximation is expanded to pseudo-Cayley graphs. Also, rough vertex pseudo-Cayley graphs and rough pseudo-Cayley graphs are introduced. Some theorems are provided, form which some properties such as connectivity and optimal connectivity are derived. This approach opens a new research field in sciences such as data networks.

preprint2012arXiv

The Non-Nilpotent Graph of a Semigroup

We associate a graph ${\mathcal N}_{S}$ with a semigroup $S$ (called the upper non-nilpotent graph of $S$). The vertices of this graph are the elements of $S$ and two vertices are adjacent if they generate a semigroup that is not nilpotent (in the sense of Malcev). In case $S$ is a group this graph has been introduced by A. Abdollahi and M. Zarrin and some remarkable properties have been proved. The aim of this paper is to study this graph (and some related graphs, such as the non-commuting graph) and to discover the algebraic structure of $S$ determined by the associated graph. It is shown that if a finite semigroup $S$ has empty upper non-nilpotent graph then $S$ is positively Engel. On the other hand, a semigroup has a complete upper non-nilpotent graph if and only if it is a completely simple semigroup that is a band. One of the main results states that if all connected ${\mathcal N}_{S}$-components of a semigroup $S$ are complete (with at least two elements) then $S$ is a band that is a semilattice of its connected components and, moreover, $S$ is an iterated total ideal extension of its connected components. We also show that some graphs, such as a cycle $C_{n}$ on $n$ vertices (with $n\geq 5$), are not the upper non-nilpotent graph of a semigroup. Also, there is precisely one graph on 4 vertices that is not the upper non-nilpotent graph of a semigroup with 4 elements. This work also is a continuation of earlier work by Okniński, Riley and the first named author on (Malcev) nilpotent semigroups.