-
On Isolated Gaps of Numerical Semigroups of embedding dimension two
Authors:
Shubh N. Singh,
Ranjan K. Ram
Abstract:
We explicitly describe all the isolated gaps of any numerical semigroup of embedding dimension two, and we give an exact formula for the number of isolated gaps of these numerical semigroups.
We explicitly describe all the isolated gaps of any numerical semigroup of embedding dimension two, and we give an exact formula for the number of isolated gaps of these numerical semigroups.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Semigroups of transformations whose characters belong to a given semigroup
Authors:
Mosarof Sarkar,
Shubh N. Singh
Abstract:
Let $X$ be a nonempty set and $\mathcal{P}=\{X_i\colon i\in I\}$ a partition of $X$. Denote by $T(X)$ the full transformation semigroup on $X$, and $T(X, \mathcal{P})$ the subsemigroup of $T(X)$ consisting of all transformations that preserve $\mathcal{P}$. For every subsemigroup $\mathbb{S}(I)$ of $T(I)$, let $T_{\mathbb{S}(I)}(X,\mathcal{P})$ be the semigroup of all transformations…
▽ More
Let $X$ be a nonempty set and $\mathcal{P}=\{X_i\colon i\in I\}$ a partition of $X$. Denote by $T(X)$ the full transformation semigroup on $X$, and $T(X, \mathcal{P})$ the subsemigroup of $T(X)$ consisting of all transformations that preserve $\mathcal{P}$. For every subsemigroup $\mathbb{S}(I)$ of $T(I)$, let $T_{\mathbb{S}(I)}(X,\mathcal{P})$ be the semigroup of all transformations $f\in T(X, \mathcal{P})$ such that $χ^{(f)}\in \mathbb{S}(I)$, where $χ^{(f)}\in T(I)$ defined by $iχ^{(f)}=j$ whenever $X_if\subseteq X_j$. We describe regular and idempotent elements in $T_{\mathbb{S}(I)}(X,\mathcal{P})$, and determine when $T_{\mathbb{S}(I)}(X,\mathcal{P})$ is a regular semigroup [inverse semigroup]. With the assumption that $\mathbb{S}(I)$ contains the identity, we characterize Green's relations on $T_{\mathbb{S}(I)}(X,\mathcal{P})$, describe unit-regular elements in $T_{\mathbb{S}(I)}(X,\mathcal{P})$, and determine when $T_{\mathbb{S}(I)}(X,\mathcal{P})$ is a unit-regular semigroup. We apply these general results to obtain more concrete results for $T(X,\mathcal{P})$.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
Semigroups of (linear) transformations whose restrictions belong to a given semigroup
Authors:
Mosarof Sarkar,
Shubh N. Singh
Abstract:
Let $T(X)$ (resp. L(V)) be the semigroup of all transformations (resp. linear transformations) of a set $X$ (resp. vector space $V$). For a subset $Y$ of $X$ and a subsemigroup $\mathbb{S}(Y)$ of $T(Y)$, consider the subsemigroup $T_{\mathbb{S}(Y)}(X) = \{f\in T(X)\colon f_{\upharpoonright_Y} \in \mathbb{S}(Y)\}$ of $T(X)$, where $f_{\upharpoonright_Y}\in T(Y)$ agrees with $f$ on $Y$. We give a ne…
▽ More
Let $T(X)$ (resp. L(V)) be the semigroup of all transformations (resp. linear transformations) of a set $X$ (resp. vector space $V$). For a subset $Y$ of $X$ and a subsemigroup $\mathbb{S}(Y)$ of $T(Y)$, consider the subsemigroup $T_{\mathbb{S}(Y)}(X) = \{f\in T(X)\colon f_{\upharpoonright_Y} \in \mathbb{S}(Y)\}$ of $T(X)$, where $f_{\upharpoonright_Y}\in T(Y)$ agrees with $f$ on $Y$. We give a new characterization for $T_{\mathbb{S}(Y)}(X)$ to be a regular semigroup [inverse semigroup]. For a subspace $W$ of $V$ and a subsemigroup $\mathbb{S}(W)$ of $L(W)$, we define an analogous subsemigroup $L_{\mathbb{S}(W)}(V) = \{f\in L(V) \colon f_{\upharpoonright_W} \in \mathbb{S}(W)\}$ of $L(V)$. We describe regular elements in $L_{\mathbb{S}(W)}(V)$ and determine when $L_{\mathbb{S}(W)}(V)$ is a regular semigroup [inverse semigroup, completely regular semigroup]. If $\mathbb{S}(Y)$ (resp. $\mathbb{S}(W)$) contains the identity of $T(Y)$ (resp. $L(W)$), we describe unit-regular elements in $T_{\mathbb{S}(Y)}(X)$ (resp. $L_{\mathbb{S}(W)}(V)$) and determine when $T_{\mathbb{S}(Y)}(X)$ (resp. $L_{\mathbb{S}(W)}(V)$) is a unit-regular semigroup.
△ Less
Submitted 7 March, 2023;
originally announced March 2023.
-
Green's relations and unit-regularity for semigroup of transformations whose characters are bijective
Authors:
Mosarof Sarkar,
Shubh N. Singh
Abstract:
Let $X$ be a nonempty set and $\mathcal{P}=\{X_i\colon i\in I\}$ be a partition of $X$. Denote by $T(X, \mathcal{P})$ the semigroup of all transformations of $X$ that preserve $\mathcal{P}$. In this paper, we study the semigroup $\mathcal{B}(X,\mathcal{P})$ of all transformations $f\in T(X, \mathcal{P})$ such that $χ^{(f)}\in {\rm Sym}(I)$, where ${\rm Sym}(I)$ is the symmetric group on $I$ and…
▽ More
Let $X$ be a nonempty set and $\mathcal{P}=\{X_i\colon i\in I\}$ be a partition of $X$. Denote by $T(X, \mathcal{P})$ the semigroup of all transformations of $X$ that preserve $\mathcal{P}$. In this paper, we study the semigroup $\mathcal{B}(X,\mathcal{P})$ of all transformations $f\in T(X, \mathcal{P})$ such that $χ^{(f)}\in {\rm Sym}(I)$, where ${\rm Sym}(I)$ is the symmetric group on $I$ and $χ^{(f)}\colon I \to I$ is the character (map) of $f$ defined by $iχ^{(f)}=j$ whenever $X_if\subseteq X_j$. We describe unit-regular elements in $\mathcal{B}(X,\mathcal{P})$, and determine when $\mathcal{B}(X,\mathcal{P})$ is a unit-regular semigroup. We alternatively prove that $\mathcal{B}(X,\mathcal{P})$ is a regular semigroup. We describe Green's relations on $\mathcal{B}(X,\mathcal{P})$, and prove that $\mathcal{D} = \mathcal{J}$ on $\mathcal{B}(X,\mathcal{P})$ when $\mathcal{P}$ is finite. We also give a necessary and sufficient condition for $\mathcal{D} = \mathcal{J}$ on $\mathcal{B}(X,\mathcal{P})$. We end the paper with a conjecture.
△ Less
Submitted 29 December, 2022;
originally announced December 2022.
-
On certain semigroups of transformations with an invariant set
Authors:
Mosarof Sarkar,
Shubh N. Singh
Abstract:
Let $X$ be a nonempty set and let $T(X)$ be the full transformation semigroup on $X$. The main objective of this paper is to study the subsemigroup $\overlineΩ(X, Y)$ of $T(X)$ defined by \[\overlineΩ(X, Y) = \{f\in T(X)\colon Yf = Y\},\] where $Y$ is a fixed nonempty subset of $X$. We describe regular elements in $\overlineΩ(X, Y)$ and show that $\overlineΩ(X, Y)$ is regular if and only if $Y$ is…
▽ More
Let $X$ be a nonempty set and let $T(X)$ be the full transformation semigroup on $X$. The main objective of this paper is to study the subsemigroup $\overlineΩ(X, Y)$ of $T(X)$ defined by \[\overlineΩ(X, Y) = \{f\in T(X)\colon Yf = Y\},\] where $Y$ is a fixed nonempty subset of $X$. We describe regular elements in $\overlineΩ(X, Y)$ and show that $\overlineΩ(X, Y)$ is regular if and only if $Y$ is finite. We characterize unit-regular elements in $\overlineΩ(X, Y)$ and prove that $\overlineΩ(X, Y)$ is unit-regular if and only if $X$ is finite. We characterize Green's relations on $\overlineΩ(X, Y)$ and prove that $\mathcal{D} =\mathcal{J}$ on $\overlineΩ(X, Y)$ if and only if $Y$ is finite. We also determine ideals of $\overlineΩ(X, Y)$ and investigate its kernel. This paper extends several results appeared in the literature.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
Unit-regular and semi-balanced elements in various semigroups of transformations
Authors:
Mosarof Sarkar,
Shubh N. Singh
Abstract:
Let $T(X)$ be the full transformation semigroup on a set $X$, and let $L(V)$ be the semigroup under composition of all linear transformations on a vector space $V$ over a field. For a subset $Y$ of $X$ and a subspace $W$ of $V$, consider the semigroups $\overline{T}(X, Y) = \{f\in T(X)\colon Yf \subseteq Y\}$ and $\overline{L}(V, W) = \{f\in L(V)\colon Wf \subseteq W\}$ under composition. We descr…
▽ More
Let $T(X)$ be the full transformation semigroup on a set $X$, and let $L(V)$ be the semigroup under composition of all linear transformations on a vector space $V$ over a field. For a subset $Y$ of $X$ and a subspace $W$ of $V$, consider the semigroups $\overline{T}(X, Y) = \{f\in T(X)\colon Yf \subseteq Y\}$ and $\overline{L}(V, W) = \{f\in L(V)\colon Wf \subseteq W\}$ under composition. We describe unit-regular elements in $\overline{T}(X, Y)$ and $\overline{L}(V, W)$. Using these, we determine when $\overline{T}(X, Y)$ and $\overline{L}(V, W)$ are unit-regular. We prove that $f\in L(V)$ is unit-regular if and only if ${\rm nullity}(f) = {\rm corank}(f)$. We alternatively prove that $L(V)$ is unit-regular if and only if $V$ is finite-dimensional. A semi-balanced semigroup is a transformation semigroup whose all elements are semi-balanced. We give necessary and sufficient conditions for $\overline{T}(X, Y)$, $\overline{L}(V, W)$ and $L(V)$ to be semi-balanced.
△ Less
Submitted 5 March, 2023; v1 submitted 15 June, 2021;
originally announced June 2021.
-
On unit-regular elements in various monoids of transformations
Authors:
Mosarof Sarkar,
Shubh N. Singh
Abstract:
Let $X$ be an arbitrary set and let $T(X)$ denote the full transformation monoid on $X$. We prove that an element of $T(X)$ is unit-regular if and only if it is semi-balanced. For infinite $X$, we discuss regularity of the submonoid of $T(X)$ consisting of all injective (resp. surjective) transformations. For a partition $\mathcal{P}$ of $X$, we characterize unit-regular elements in the monoid…
▽ More
Let $X$ be an arbitrary set and let $T(X)$ denote the full transformation monoid on $X$. We prove that an element of $T(X)$ is unit-regular if and only if it is semi-balanced. For infinite $X$, we discuss regularity of the submonoid of $T(X)$ consisting of all injective (resp. surjective) transformations. For a partition $\mathcal{P}$ of $X$, we characterize unit-regular elements in the monoid $T(X, \mathcal{P})$, under composition, defined as \[T(X, \mathcal{P}) = \{f\in T(X)\mid (\forall X_i \in \mathcal{P}) (\exists X_j \in \mathcal{P})\; X_i f \subseteq X_j\}.\] We also characterize (unit-)regular elements in various known submonoids of $T(X, \mathcal{P})$.
△ Less
Submitted 11 May, 2021; v1 submitted 20 February, 2021;
originally announced February 2021.
-
Regular, Unit-regular, and Idempotent elements of semigroups of transformations that preserve a partition
Authors:
Mosarof Sarkar,
Shubh N. Singh
Abstract:
Let $X$ be a set and $\mathcal{T}_X$ be the full transformation semigroup on $X$. For a partition $\mathcal{P}$ of $X$, we consider semigroups $T(X, \mathcal{P}) = \{f\in \mathcal{T}_X| (\forall X_i\in \mathcal{P}) (\exists X_j \in \mathcal{P})\;X_i f \subseteq X_j\}$, $Σ(X, \mathcal{P}) = \{f\in T(X, \mathcal{P})|(\forall X_i \in \mathcal{P})\; Xf \cap X_i \neq \emptyset\}$, and…
▽ More
Let $X$ be a set and $\mathcal{T}_X$ be the full transformation semigroup on $X$. For a partition $\mathcal{P}$ of $X$, we consider semigroups $T(X, \mathcal{P}) = \{f\in \mathcal{T}_X| (\forall X_i\in \mathcal{P}) (\exists X_j \in \mathcal{P})\;X_i f \subseteq X_j\}$, $Σ(X, \mathcal{P}) = \{f\in T(X, \mathcal{P})|(\forall X_i \in \mathcal{P})\; Xf \cap X_i \neq \emptyset\}$, and $Γ(X, \mathcal{P}) = \{f\in \mathcal{T}_X|(\forall X_i\in \mathcal{P})(\exists X_j\in \mathcal{P})\; X_i f = X_j\}$. We characterize unit-regular elements of both $T(X, \mathcal{P})$ and $Σ(X, \mathcal{P})$ for finite $X$. We discuss set inclusion between $Γ(X, \mathcal{P})$ and certain semigroups of transformations preserving $\mathcal{P}$. We characterize and count regular elements and idempotents of $Γ(X, \mathcal{P})$. For finite $X$, we prove that every regular element of $Γ(X, \mathcal{P})$ is unit-regular and also calculate the size of $Γ(X, \mathcal{P})$.
△ Less
Submitted 26 October, 2020;
originally announced October 2020.
-
On certain Semigroups of Transformations that preserve a partition
Authors:
Mosarof Sarkar,
Shubh N. Singh
Abstract:
Let $X$ be a nonempty set, and let $\mathcal{T}_X$ be the full transformation semigroup on $X$. For a partition $\mathcal{P} = \{X_i \;|\; i\in I\}$ of $X$, we consider the semigroup $T(X, \mathcal{P}) = \{f\in \mathcal{T}_X\;|\; \forall X_i\;\exists X_j,\; X_i f \subseteq X_j\}$, the subsemigroup $Σ(X, \mathcal{P}) = \{f\in T(X, \mathcal{P})\;|\; Xf \cap X_i \neq \emptyset\; \forall X_i\}$, and t…
▽ More
Let $X$ be a nonempty set, and let $\mathcal{T}_X$ be the full transformation semigroup on $X$. For a partition $\mathcal{P} = \{X_i \;|\; i\in I\}$ of $X$, we consider the semigroup $T(X, \mathcal{P}) = \{f\in \mathcal{T}_X\;|\; \forall X_i\;\exists X_j,\; X_i f \subseteq X_j\}$, the subsemigroup $Σ(X, \mathcal{P}) = \{f\in T(X, \mathcal{P})\;|\; Xf \cap X_i \neq \emptyset\; \forall X_i\}$, and the group of units $S(X, \mathcal{P})$ of $T(X, \mathcal{P})$. In this paper, we first characterize the elements of $Σ(X, \mathcal{P})$. For a permutation $f$ of finite $X$, we next observe whether there exists a nontrivial partition $\mathcal{P}$ of $X$ such that $f\in S(X, \mathcal{P})$. We then characterize and enumerate the idempotents in the semigroup $Σ(X, \mathcal{P})$ for arbitrary and finite $X$, respectively. We also characterize the elements of $S(X, \mathcal{P})$. For finite $X$, we finally calculate the cardinality of $T(X, \mathcal{P})$, $Σ(X, \mathcal{P})$, and $S(X, \mathcal{P})$.
△ Less
Submitted 30 June, 2020; v1 submitted 7 June, 2020;
originally announced June 2020.
-
The degree of a vertex in the power graph of a finite abelian group
Authors:
Amit Sehgal,
Shubh N. Singh
Abstract:
The power graph of a given finite group is a simple undirected graph whose vertex set is the group itself, and there is an edge between any two distinct vertices if one is a power of the other. In this paper, we find a precise formula to count the degree of a vertex in the power graph of a finite abelian group of prime-power order. By using the degree formula, we give a new proof to show that the…
▽ More
The power graph of a given finite group is a simple undirected graph whose vertex set is the group itself, and there is an edge between any two distinct vertices if one is a power of the other. In this paper, we find a precise formula to count the degree of a vertex in the power graph of a finite abelian group of prime-power order. By using the degree formula, we give a new proof to show that the power graph of a cyclic group of prime-power order is complete. We finally determine the degree of a vertex in the power graph of a finite abelian group.
△ Less
Submitted 30 January, 2019; v1 submitted 23 January, 2019;
originally announced January 2019.
-
The Laplacian spectrum of power graphs of some finite abelian p-groups
Authors:
Ankit Raj,
Shubh N. Singh
Abstract:
The power graph $\mathcal{G}(G)$ of a group $G$ is a simple graph whose vertices are the elements of $G$ and two distinct vertices are adjacent if one is a power of other. In this paper, we investigate the Laplacian spectrum of the power graph $\mathcal{G}(\mathbb{Z}_{p^m}^n)$ of finite abelian $p$-group $\mathbb{Z}_{p^m}^n$. In particular, we prove that the spectrum of group $\mathbb{Z}_{p^m}^n$…
▽ More
The power graph $\mathcal{G}(G)$ of a group $G$ is a simple graph whose vertices are the elements of $G$ and two distinct vertices are adjacent if one is a power of other. In this paper, we investigate the Laplacian spectrum of the power graph $\mathcal{G}(\mathbb{Z}_{p^m}^n)$ of finite abelian $p$-group $\mathbb{Z}_{p^m}^n$. In particular, we prove that the spectrum of group $\mathbb{Z}_{p^m}^n$ is contained in the Laplacian spectrum of graph $\mathcal{G}(\mathbb{Z}_{p^m}^n)$. For a finite abelian group $G$ whose power graph $\mathcal{G}(G)$ is planar, we also prove that the spectrum of group $G$ is contained in the Laplacian spectrum of graph $\mathcal{G}(G)$.
△ Less
Submitted 1 April, 2018; v1 submitted 23 February, 2018;
originally announced February 2018.
-
The Rank and Hanna Neumann Property of Some Submonoids of a Free Monoid
Authors:
Shubh Narayan Singh,
K. V. Krishna
Abstract:
This work aims at further investigations on the work of Giambruno and Restivo to find the rank of the intersection of two finitely generated submonoids of a free monoid. In this connection, we obtain the rank of a finitely generated submonoid of a free monoid that is accepted by semi-flower automaton with two bpi's. Further, when the product automaton of two deterministic semi-flower automata with…
▽ More
This work aims at further investigations on the work of Giambruno and Restivo to find the rank of the intersection of two finitely generated submonoids of a free monoid. In this connection, we obtain the rank of a finitely generated submonoid of a free monoid that is accepted by semi-flower automaton with two bpi's. Further, when the product automaton of two deterministic semi-flower automata with a unique bpi is semi-flower with two bpi's, we obtain a sufficient condition on the product automaton in order to satisfy the Hanna Neumann property.
△ Less
Submitted 19 December, 2011;
originally announced December 2011.
