Showing 1–23 of 23 results for author: Krishna, K V

Mutually Abelian-Bordered Binary Words

Authors: Anuran Maity, K. V. Krishna

Abstract: A word is said to be bordered if it contains a nonempty proper prefix that is also a suffix. A pair of words $(u, v)$ is said to be mutually bordered if there exists a word that is a nonempty proper prefix of $u$ and suffix of $v$, and there exists a word that is a nonempty proper suffix of $u$ and prefix of $v$. Recently, Gabric studied the number of mutually bordered pairs. In this work, we exte… ▽ More A word is said to be bordered if it contains a nonempty proper prefix that is also a suffix. A pair of words $(u, v)$ is said to be mutually bordered if there exists a word that is a nonempty proper prefix of $u$ and suffix of $v$, and there exists a word that is a nonempty proper suffix of $u$ and prefix of $v$. Recently, Gabric studied the number of mutually bordered pairs. In this work, we extend the concept of mutually bordered pairs to abelian setting, and determine the number of mutually abelian-bordered pairs of binary words using lattice paths. We also find the number of unbordered pairs in this context. △ Less

Submitted 25 September, 2025; originally announced September 2025.

MSC Class: 68R15

Line Graphs of Non-Word-Representable Graphs are Not Always Non-Word-Representable

Authors: Khyodeno Mozhui, Tithi Dwary, K. V. Krishna

Abstract: A graph is said to be word-representable if there exists a word over its vertex set such that any two vertices are adjacent if and only if they alternate in the word. If no such word exists, the graph is non-word-representable. In the literature, there are examples of non-word-representable graphs whose line graphs are non-word-representable. However, it is an open problem to determine whether the… ▽ More A graph is said to be word-representable if there exists a word over its vertex set such that any two vertices are adjacent if and only if they alternate in the word. If no such word exists, the graph is non-word-representable. In the literature, there are examples of non-word-representable graphs whose line graphs are non-word-representable. However, it is an open problem to determine whether the line graph of a non-word-representable graph is always non-word-representable or not? In this work, we address the open problem by considering a class of non-word-representable graphs, viz., Mycielski graphs of odd cycles of length at least five, and show that their line graphs are word-representable. △ Less

Submitted 3 September, 2025; originally announced September 2025.

On the Conjecture of the Representation Number of Bipartite Graphs

Authors: Khyodeno Mozhui, K. V. Krishna

Abstract: While the problem of determining the representation number of an arbitrary word-representable graph is NP-hard, this problem is open even for bipartite graphs. The representation numbers are known for certain bipartite graphs including all the graphs with at most nine vertices. For bipartite graphs with partite sets of sizes $m$ and $n$, Glen et al. conjectured that the representation number is at… ▽ More While the problem of determining the representation number of an arbitrary word-representable graph is NP-hard, this problem is open even for bipartite graphs. The representation numbers are known for certain bipartite graphs including all the graphs with at most nine vertices. For bipartite graphs with partite sets of sizes $m$ and $n$, Glen et al. conjectured that the representation number is at most $\lceil \frac{m+n}{4}\rceil$, where $m+n \ge 9$. In this paper, we show that every bipartite graph is $\left( 1+ \lceil \frac{m}{2} \rceil \right)$-representable, where $m$ is the size of its smallest partite set. Furthermore, if $m$ is odd then we prove that the bipartite graphs are $\lceil \frac{m}{2} \rceil $-representable. Accordingly, we establish that the conjecture by Glen et al. holds good for all bipartite graphs leaving the bipartite graphs whose partite sets are of equal and even size. In case of the bipartite graphs with partite sets of equal and even size, we prove the conjecture for certain subclasses using the neighborhood inclusion graph approach. △ Less

Submitted 1 June, 2025; originally announced June 2025.

Characterization of Split Comparability Graphs

Authors: Tithi Dwary, Khyodeno Mozhui, K. V. Krishna

Abstract: A split graph is a graph whose vertex set can be partitioned into a clique and an independent set. A split comparability graph is a split graph which is transitively orientable. In this work, we characterize split comparability graphs in terms of vertex labelling. Further, using this characterization, we prove that the permutation-representation number of a split comparability graph is at most thr… ▽ More A split graph is a graph whose vertex set can be partitioned into a clique and an independent set. A split comparability graph is a split graph which is transitively orientable. In this work, we characterize split comparability graphs in terms of vertex labelling. Further, using this characterization, we prove that the permutation-representation number of a split comparability graph is at most three. This gives us an alternative proof of the result in order theory that the dimension of a split order is at most three. △ Less

Submitted 27 April, 2025; originally announced April 2025.

Word-Representability of Well-Partitioned Chordal Graphs

Authors: Tithi Dwary, K. V. Krishna

Abstract: In this paper, we study the word-representability of well-partitioned chordal graphs using split decomposition. We show that every component of the minimal split decomposition of a well-partitioned chordal graph is a split graph. Thus we have a characterization for word-representability of well-partitioned chordal graphs. As a consequence, we prove that the recognition of word-representability of… ▽ More In this paper, we study the word-representability of well-partitioned chordal graphs using split decomposition. We show that every component of the minimal split decomposition of a well-partitioned chordal graph is a split graph. Thus we have a characterization for word-representability of well-partitioned chordal graphs. As a consequence, we prove that the recognition of word-representability of well-partitioned chordal graphs can be done in polynomial time. Moreover, we prove that the representation number of a word-representable well-partitioned chordal graph is at most three. Further, we obtain a minimal forbidden induced subgraph characterization of circle graphs restricted to well-partitioned chordal graphs. Accordingly, we determine the class of word-representable well-partitioned chordal graphs having representation number exactly three. △ Less

Submitted 5 April, 2025; originally announced April 2025.

Representation Number of Word-Representable Split Graphs

Authors: Tithi Dwary, Khyodeno Mozhui, K. V. Krishna

Abstract: A split graph is a graph whose vertex set can be partitioned into a clique and an independent set. The word-representability of split graphs was studied in a series of papers in the literature, and the class of word-representable split graphs was characterized through semi-transitive orientation. Nonetheless, the representation number of this class of graphs is still not known. In general, determi… ▽ More A split graph is a graph whose vertex set can be partitioned into a clique and an independent set. The word-representability of split graphs was studied in a series of papers in the literature, and the class of word-representable split graphs was characterized through semi-transitive orientation. Nonetheless, the representation number of this class of graphs is still not known. In general, determining the representation number of a word-representable graph is an NP-complete problem. In this work, through an algorithmic procedure, we show that the representation number of the class of word-representable split graphs is at most three. Further, we characterize the class of word-representable split graphs as well as the class of split comparability graphs which have representation number exactly three. △ Less

Submitted 27 April, 2025; v1 submitted 2 February, 2025; originally announced February 2025.

Comments: The graphs in Fig. 2 are corrected using the PhD thesis of N. Pardal [22]. Accordingly, updated the proof of Theorem 6 (the characterization of word-representable split graphs with representation number three) and subsequent results on the characterization of split comparability graphs with representation number three

A Class of Non-Contracting Branch Groups with Non-Torsion Rigid Kernels

Authors: Sagar Saha, K. V. Krishna

Abstract: In this work, we provide the first example of an infinite family of branch groups in the class of non-contracting self-similar groups. We show that these groups are very strongly fractal, not regular branch, and of exponential growth. Further, we prove that these groups do not have the congruence subgroup property by explicitly calculating the structure of their rigid kernels. This class of groups… ▽ More In this work, we provide the first example of an infinite family of branch groups in the class of non-contracting self-similar groups. We show that these groups are very strongly fractal, not regular branch, and of exponential growth. Further, we prove that these groups do not have the congruence subgroup property by explicitly calculating the structure of their rigid kernels. This class of groups is also the first example of branch groups with non-torsion rigid kernels. As a consequence of these results, we also determine the Hausdorff dimension of these groups. △ Less

Submitted 7 January, 2025; originally announced January 2025.

MSC Class: 20E08; 20E18

Characterization of Word-Representable Graphs using Modular Decomposition

Authors: Tithi Dwary, K. V. Krishna

Abstract: In this work, we characterize the class of word-representable graphs with respect to the modular decomposition. Consequently, we determine the representation number of a word-representable graph in terms of the permutation-representation numbers of the modules and the representation number of the associated quotient graph. In this connection, we also obtain a complete answer to the open problem po… ▽ More In this work, we characterize the class of word-representable graphs with respect to the modular decomposition. Consequently, we determine the representation number of a word-representable graph in terms of the permutation-representation numbers of the modules and the representation number of the associated quotient graph. In this connection, we also obtain a complete answer to the open problem posed by Kitaev and Lozin on the word-representability of the lexicographical product of graphs. △ Less

Submitted 23 December, 2024; originally announced December 2024.

Comments: Presented at the International Conference on Graph Theory and its Applications, Presidency University, Bangalore, held during 20-22 June, 2024

Characterization of Double-Arborescences and their Minimum-Word-Representants

Authors: Tithi Dwary, K. V. Krishna

Abstract: A double-arborescence is a treelike comparability graph with an all-adjacent vertex. In this paper, we first give a forbidden induced subgraph characterization of double-arborescences, where we prove that double-arborescences are precisely $P_4$-free treelike comparability graphs. Then, we characterize a more general class consisting of $P_4$-free distance-hereditary graphs using split-decompositi… ▽ More A double-arborescence is a treelike comparability graph with an all-adjacent vertex. In this paper, we first give a forbidden induced subgraph characterization of double-arborescences, where we prove that double-arborescences are precisely $P_4$-free treelike comparability graphs. Then, we characterize a more general class consisting of $P_4$-free distance-hereditary graphs using split-decomposition trees. Consequently, using split-decomposition trees, we characterize double-arborescences and one of its subclasses, viz., arborescences; a double-arborescence is an arborescence if its all-adjacent vertex is a source or a sink. In the context of word-representable graphs, it is an open problem to find the classes of word-representable graphs whose minimum-word-representants are of length $2n - k$, where $n$ is the number of vertices of the graph and $k$ is its clique number. Contributing to the open problem, we devise an algorithmic procedure and show that the class of double-arborescences is one such class. It seems the class of double-arborescences is the first example satisfying the criteria given in the open problem, for an arbitrary $k$. △ Less

Submitted 23 December, 2024; originally announced December 2024.

Word-Representability of Graphs with respect to Split Recomposition

Authors: Tithi Dwary, K. V. Krishna

Abstract: In this work, we show that the class of word-representable graphs is closed under split recomposition and determine the representation number of the graph obtained by recomposing two word-representable graphs. Accordingly, we show that the class of parity graphs is word-representable. Further, we obtain a characteristic property by which the recomposition of comparability graphs is a comparability… ▽ More In this work, we show that the class of word-representable graphs is closed under split recomposition and determine the representation number of the graph obtained by recomposing two word-representable graphs. Accordingly, we show that the class of parity graphs is word-representable. Further, we obtain a characteristic property by which the recomposition of comparability graphs is a comparability graph. Consequently, we also establish the permutation-representation number (prn) of the resulting comparability graph. We also introduce a subclass of comparability graphs, called prn-irreducible graphs. We provide a criterion such that the split recomposition of two prn-irreducible graphs is a comparability graph and determine the prn of the resultant graph. △ Less

Submitted 3 January, 2024; originally announced January 2024.

MSC Class: 68R10; 68R15; 05C90; 06A07

On the Permutation-Representation Number of Bipartite Graphs using Neighborhood Graphs

Authors: Khyodeno Mozhui, K. V. Krishna

Abstract: The problems of determining the permutation-representation number (prn) and the representation number of bipartite graphs are open in the literature. Moreover, the decision problem corresponding to the determination of the prn of a bipartite graph is NP-complete. However, these numbers were established for certain subclasses of bipartite graphs, e.g., for crown graphs. Further, it was conjectured… ▽ More The problems of determining the permutation-representation number (prn) and the representation number of bipartite graphs are open in the literature. Moreover, the decision problem corresponding to the determination of the prn of a bipartite graph is NP-complete. However, these numbers were established for certain subclasses of bipartite graphs, e.g., for crown graphs. Further, it was conjectured that the crown graphs have the highest representation number among the bipartite graphs. In this work, first, we reconcile the relation between the prn of a comparability graph and the dimension of its induced poset and review the upper bounds on the prn of bipartite graphs. Then, we study the prn of bipartite graphs using the notion called neighborhood graphs. This approach substantiates the aforesaid conjecture and gives us theoretical evidence. In this connection, we devise a polynomial-time procedure to construct a word that represents a given bipartite graph permutationally. Accordingly, we provide a better upper bound for the prn of bipartite graphs. Further, we construct a class of bipartite graphs, viz., extended crown graphs, defined over posets and investigate its prn using the neighborhood graphs. △ Less

Submitted 23 November, 2023; originally announced November 2023.

MSC Class: 68R10; 68R15; 05C90; 06A07

A Branch Group in a Class of Non-Contracting Weakly Regular Branch Groups

Authors: Sagar Saha, K. V. Krishna

Abstract: We provide a class of non-contracting groups containing an infinite family of fractal and weakly regular branch groups, and study certain properties including abelianization, just infiniteness, and word problem. We present an example of a branch group in this class and show that it is of exponential growth. It seems this is the first example of a non-contracting branch group constructed explicitly… ▽ More We provide a class of non-contracting groups containing an infinite family of fractal and weakly regular branch groups, and study certain properties including abelianization, just infiniteness, and word problem. We present an example of a branch group in this class and show that it is of exponential growth. It seems this is the first example of a non-contracting branch group constructed explicitly. △ Less

Submitted 10 November, 2023; originally announced November 2023.

MSC Class: 20E08

Words for the Graphs with Permutation-Representation Number at most Three

Authors: Khyodeno Mozhui, K. V. Krishna

Abstract: The graphs with permutation-representation number (\textit{prn}) at most two are known. While a characterization for the class of graphs with the \textit{prn} at most three is an open problem, we summarize the graphs of this class that are known so far. Although it is known that the \textit{prn} of trees is at most three, in this work, we devise a polynomial-time algorithm for obtaining a word rep… ▽ More The graphs with permutation-representation number (\textit{prn}) at most two are known. While a characterization for the class of graphs with the \textit{prn} at most three is an open problem, we summarize the graphs of this class that are known so far. Although it is known that the \textit{prn} of trees is at most three, in this work, we devise a polynomial-time algorithm for obtaining a word representing a given tree permutationally. Consequently, we determine the words representing even cycles. Contributing to the class of graphs with the \textit{prn} at most three, we determine the \textit{prn} as well as the representation number of book graphs. △ Less

Submitted 29 September, 2023; v1 submitted 1 July, 2023; originally announced July 2023.

MSC Class: 68R10; 68R15; 05C90; 06A07

On the Representation Number of Bipartite Graphs

Authors: Khyodeno Mozhui, K. V. Krishna

Abstract: A word-representable graph is a simple graph $G$ which can be represented by a word $w$ over the vertices of $G$ such that any two vertices are adjacent in $G$ if and only if they alternate in $w$. It is known that the class of comparability graphs -- the graphs which admit a transitive orientation -- is precisely the class of graphs that can be represented by a concatenation of permutations of ve… ▽ More A word-representable graph is a simple graph $G$ which can be represented by a word $w$ over the vertices of $G$ such that any two vertices are adjacent in $G$ if and only if they alternate in $w$. It is known that the class of comparability graphs -- the graphs which admit a transitive orientation -- is precisely the class of graphs that can be represented by a concatenation of permutations of vertices. The class of bipartite graphs is a subclass of comparability graphs. While it is an open problem to determine the representation number of comparability graphs, it was conjectured that the representation number of bipartite graphs on $n$ vertices is at most $n/4$. In this paper, we propose a polynomial time relabeling algorithm to produce a word representing a given bipartite graph which is a concatenation of permutations of the graph's vertices. Thus we obtain an upper bound for the representation number of bipartite graphs, which in turn gives us an upper bound for the dimension of the posets corresponding to bipartite graphs. △ Less

Submitted 8 September, 2021; originally announced September 2021.

Comments: 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2021)

MSC Class: 68R10; 68R15; 05C90; 06A07

On the structure of C-algebras through atomicity and if-then-else

Authors: Gayatri Panicker, K. V. Krishna, Purandar Bhaduri

Abstract: This paper introduces the notions of atoms and atomicity in $C$-algebras and obtains a characterisation of atoms in the $C$-algebra of transformations. Further, this work presents some necessary conditions and sufficient conditions for the atomicity of $C$-algebras and shows that the class of finite atomic $C$-algebras is precisely that of finite adas. This paper also uses the if-then-else action… ▽ More This paper introduces the notions of atoms and atomicity in $C$-algebras and obtains a characterisation of atoms in the $C$-algebra of transformations. Further, this work presents some necessary conditions and sufficient conditions for the atomicity of $C$-algebras and shows that the class of finite atomic $C$-algebras is precisely that of finite adas. This paper also uses the if-then-else action to study the structure of $C$-algebras and classify the elements of the $C$-algebra of transformations. △ Less

Submitted 2 April, 2018; originally announced April 2018.

On the minimum degree, edge-connectivity and connectivity of power graphs of finite groups

Authors: Ramesh Prasad Panda, K. V. Krishna

Abstract: The power graph of a group $G$ is the graph whose vertex set is $G$ and two distinct vertices are adjacent if one is a power of the other. In this paper, the minimum degree of power graphs of certain classes of cyclic groups, abelian $p$-groups, dihedral groups and dicyclic groups are obtained. It is ascertained that the edge-connectivity and minimum degree of power graphs are equal, and consequen… ▽ More The power graph of a group $G$ is the graph whose vertex set is $G$ and two distinct vertices are adjacent if one is a power of the other. In this paper, the minimum degree of power graphs of certain classes of cyclic groups, abelian $p$-groups, dihedral groups and dicyclic groups are obtained. It is ascertained that the edge-connectivity and minimum degree of power graphs are equal, and consequently the minimum disconnecting sets of power graphs of the aforementioned groups are determined. Then the equality of connectivity and minimum degree of power graphs of finite groups is investigated and in this connection, certain necessary conditions are produced. A necessary and sufficient condition for the equality of connectivity and minimum degree of power graphs of finite cyclic groups is obtained. Moreover, the equality is examined for the power graphs of abelian $p$-groups, dihedral groups and dicyclic groups. △ Less

Submitted 11 May, 2017; originally announced May 2017.

MSC Class: 05C25; 05C40; 05C07; 20K01

On connectedness of power graphs of finite groups

Authors: Ramesh Prasad Panda, K. V. Krishna

Abstract: The power graph of a group $G$ is the graph whose vertex set is $G$ and two distinct vertices are adjacent if one is a power of the other. This paper investigates the minimal separating sets of power graphs of finite groups. For power graphs of finite cyclic groups, certain minimal separating sets are obtained. Consequently, a sharp upper bound for their connectivity is supplied. Further, the comp… ▽ More The power graph of a group $G$ is the graph whose vertex set is $G$ and two distinct vertices are adjacent if one is a power of the other. This paper investigates the minimal separating sets of power graphs of finite groups. For power graphs of finite cyclic groups, certain minimal separating sets are obtained. Consequently, a sharp upper bound for their connectivity is supplied. Further, the components of proper power graphs of $p$-groups are studied. In particular, the number of components of that of abelian $p$-groups are determined. △ Less

Submitted 26 March, 2017; originally announced March 2017.

MSC Class: 05C25; 05C40; 20D15; 20K01

Radicals and Ideals of Affine Near-semirings over Brandt Semigroups

Authors: Jitender Kumar, K. V. Krishna

Abstract: This work obtains all the right ideals, radicals, congruences and ideals of the affine near-semirings over Brandt semigroups. This work obtains all the right ideals, radicals, congruences and ideals of the affine near-semirings over Brandt semigroups. △ Less

Submitted 9 June, 2015; originally announced June 2015.

Comments: In Proceedings of the International Conference on Semigroups, Algebras and Operator Theory (ICSAOT-2014), Kochi, India

MSC Class: 16Y99; 16N80; 20M11

Rank Properties of Multiplicative Semigroup Reduct of Affine Near-Semirings over $B_n$

Authors: Jitender Kumar, K. V. Krishna

Abstract: This work investigates the rank properties of $A^+(B_n)$, the multiplicative semigroup reduct of the affine near-semirings over an aperiodic Brandt semigroup $B_n$. In this connection, the work obtains the small rank, lower rank and large rank of $A^+(B_n)$. Further, the work provides lower bounds for intermediate rank and upper rank of $A^+(B_n)$. This work investigates the rank properties of $A^+(B_n)$, the multiplicative semigroup reduct of the affine near-semirings over an aperiodic Brandt semigroup $B_n$. In this connection, the work obtains the small rank, lower rank and large rank of $A^+(B_n)$. Further, the work provides lower bounds for intermediate rank and upper rank of $A^+(B_n)$. △ Less

Submitted 5 February, 2014; v1 submitted 4 November, 2013; originally announced November 2013.

MSC Class: 20M10

The Large Rank of a Finite Semigroup using Prime Subsets

Authors: Jitender Kumar, K. V. Krishna

Abstract: The \emph{large rank} of a finite semigroup $Γ$, denoted by $r_5(Γ)$, is the least number $n$ such that every subset of $Γ$ with $n$ elements generates $Γ$. Howie and Ribeiro showed that $r_5(Γ) = |V| + 1$, where $V$ is a largest proper subsemigroup of $Γ$. This work considers the complementary concept of subsemigroups, called \emph{prime subsets}, and gives an alternative approach to find the lar… ▽ More The \emph{large rank} of a finite semigroup $Γ$, denoted by $r_5(Γ)$, is the least number $n$ such that every subset of $Γ$ with $n$ elements generates $Γ$. Howie and Ribeiro showed that $r_5(Γ) = |V| + 1$, where $V$ is a largest proper subsemigroup of $Γ$. This work considers the complementary concept of subsemigroups, called \emph{prime subsets}, and gives an alternative approach to find the large rank of a finite semigroup. In this connection, the paper provides a shorter proof of Howie and Ribeiro's result about the large rank of Brandt semigroups. Further, this work obtains the large rank of the semigroup of order-preserving singular selfmaps. △ Less

Submitted 10 January, 2014; v1 submitted 25 August, 2013; originally announced August 2013.

Comments: Semigroup Forum, To appear

MSC Class: 20M10

The Ranks of the Additive Semigroup Reduct of Affine Near-Semiring over Brandt Semigroup

Authors: Jitender Kumar, K. V. Krishna

Abstract: This work investigates the rank properties of $A^+(B_n)$, the additive semigroup reduct of affine near-semiring over Brandt semigroup $B_n$. In this connection, this work reports the ranks $r_1$, $r_2$, $r_3$ and $r_5$ of $A^+(B_n)$ and identifies a lower bound for the upper rank $r_4(A^+(B_n))$. While this lower bound is found to be the $r_4(A^+(B_n))$ for $n \ge 6$, in other cases where… ▽ More This work investigates the rank properties of $A^+(B_n)$, the additive semigroup reduct of affine near-semiring over Brandt semigroup $B_n$. In this connection, this work reports the ranks $r_1$, $r_2$, $r_3$ and $r_5$ of $A^+(B_n)$ and identifies a lower bound for the upper rank $r_4(A^+(B_n))$. While this lower bound is found to be the $r_4(A^+(B_n))$ for $n \ge 6$, in other cases where $2 \le n \le 5$, the upper rank of $A^+(B_n)$ is still open for investigation. △ Less

Submitted 19 August, 2013; originally announced August 2013.

Comments: Contributed talk titled "On the Ranks of Additive Semigroup Reducts of Affine Near-Semirings over Brandt Semigroups" the Conference General Algebra and Its Applications: GAIA 2013, Melbourne, Australia, July 15-19, 2013

MSC Class: 20M10

Affine Near-Semirings over Brandt Semigroups

Authors: Jitender Kumar, K. V. Krishna

Abstract: In order to study the structure of $A^+(B_n)$ -- the affine near-semiring over a Brandt semigroup -- this work completely characterizes the Green's classes of its semigroup reducts. In this connection, this work characterizes the elements of $A^+(B_n)$ and reports the size of $A^+(B_n)$. Further, idempotents and regular elements of the semigroup reducts of $A^+(B_n)$ have also been characterized a… ▽ More In order to study the structure of $A^+(B_n)$ -- the affine near-semiring over a Brandt semigroup -- this work completely characterizes the Green's classes of its semigroup reducts. In this connection, this work characterizes the elements of $A^+(B_n)$ and reports the size of $A^+(B_n)$. Further, idempotents and regular elements of the semigroup reducts of $A^+(B_n)$ have also been characterized and studied some relevant semigroups in $A^+(B_n)$. △ Less

Submitted 8 August, 2013; v1 submitted 27 January, 2013; originally announced January 2013.

Comments: Comm. Algebra, To appear

MSC Class: 16Y30; 16Y60; 20M10

Journal ref: Comm. Algebra, 42(12), 5152-5169, 2014

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.

Comments: Contributed talk titled "On the rank of the intersection of two submonoids of a free monoid" at A$^3$: Abstract Algebra and Algorithms Conference, Eger, Hungary, August 14-17, 2011

MSC Class: 68Q70; 68Q45; 20M35

Journal ref: Ann. Math. Inform., 40, 113-123, 2012