Coupling Product on Permutations

Yishuo Yang^*, Huilan Li^#

School of Mathematics and Statistics, Shandong Normal University, Jinan, China.

DOI: 10.4236/jamp.2024.1212251                

Abstract

In combinatorics, permutations are important objects with many operations. In this paper, we define a coupling product on permutations and prove that the space spanned by permutations is a graded algebra.

Keywords

Permutation, Coupling Product, Graded, Algebra

1. Introduction

Algebraic structures not only provide a solid theoretical foundation for the mathematical systems, but also offer precise mathematical methodologies for solving practical problems and they have facilitated the cross-integration of mathematics with other disciplines. Therefore, algebraic structures are extremely significant in mathematics. In combinatorics, many objects have algebraic structures. As time goes by, mathematicians have found many algebraic structures on different objects, such as algebraic structures on permutations [1] [2], planar trees [3], simple graphs [4], posets [5] and parking functions [6]-[8].

Permutations are important combinatorial objects. A permutation of degree $n$ is an arrangement of $n$ elements. The symmetric group of degree $n$ , denoted by $S_n$ , contains all permutations of $\left[n\right]:=\left\{1,2,\cdots ,n\right\}$ . Let $\mathbb{K}{S}_n$ be the vector space spanned by $S_n$ over field $\mathbb{K}$ . Define $\mathbb{K}\mathbb{S}:={\oplus }_{n\ge 0}\mathbb{K}{S}_n$ , where $S_0=\left\{ϵ\right\}$ and $ϵ$ is the empty permutation. Then $\mathbb{K}\mathbb{S}$ is graded and its $n$ -th component is $\mathbb{K}{S}_n$ . In 1995, Malvenuto and Reutenauer defined the classic operation on permutations [9], which is the shuffle product. In 2005, Aguiar and Sottile introduced global descents on permutations [10]. In 2018, Bergeron, Ceballos and Pilaud defined gaps on permutations [11], which play a vital role. In 2020, based on the global descents, Zhao and Li defined a new shuffle product on permutations and proved that $\mathbb{K}{S}_n$ with the new shuffle product is a graded algebra [12]. In 2014, Vargas defined super-shuffle product on permutations [13], and in 2021, Liu and Li proved that $\mathbb{K}{S}_n$ with the super-shuffle product is a graded algebra [14].

The organization of this paper is as follows. In Section 2, we review the basic definitions of graded algebras and basic notations on permutations. We introduce the definitions of gaps, absolute ascents and atoms of permutations. In Section 3, we define a coupling product $⋉$ on permutations and prove that ($\mathbb{K}\mathbb{S},⋉,\mu$ ) is a graded algebra. In this paper, we also provide some examples to help readers understand the coupling product on permutations.

2. Preliminaries

2.1. Graded Algebra

Let $R$ be a commutative ring and $A$ be a R-module.

Define a product $m:A{\otimes }_{R}A\to A$ and a unit $\mu :R\to A$ , respectively, satisfying the following diagrams, then $\left(A,m,\mu \right)$ is an $R$ -algebra.

Figure 1. Associative law and unit.

The algebra $A$ is graded if there is a direct sum decomposition $A={\oplus }_{i\ge 0}{A}_i$ such that the product of homogeneous elements of degrees $p$ and $q$ is homogeneous of degree $p+q$ , that is, $m\left(A_p\otimes A_q\right)\subseteq A_{p+q}$ , and $\mu \left(R\right)\subseteq A_0$ .

2.2. Basic Notations

A permutation $a$ in $S_n$ is a bijection of the set $\left[n\right]:=\left\{1,2,\cdots ,n\right\}$ , denoted by $a=a_1{a}_2\cdot \cdot \cdot a_n$ , where $a_i=a\left(i\right)\in \left[n\right]$ . In particular, $S_0=\left\{ϵ\right\}$ , where $ϵ$ is the empty permutation. Denote $\mathbb{S}:={{\displaystyle \uplus }}_{n\ge 0}{S}_n$ and $\mathbb{K}\mathbb{S}:={\oplus }_{n\ge 0}\mathbb{K}{S}_n$ , where $\mathbb{K}{S}_n$ is the vector space spanned by $S_n$ over field $\mathbb{K}$ .

For any sequence of distinct positive integers $a=a_1{a}_2\cdot \cdot \cdot a_n$ , the position between the $i$ -th element $a_i$ and the $\left(i+1\right)$ -th element $a_{i+1}$ is called the $i$ -th gap of $a$ , $1\le i\le n-1$ . The position in front of the first element $a_1$ is called the 0-th gap of $a$ and the position behind the last element $a_n$ is called the $n$ -th gap of $a$ . For example, the gaps of 38749 are the numbers in blue: ₀3₁8₂7₃4₄9₅.

For $1\le i\le n-1$ , we say that $i$ is an absolute ascent of $a$ if $a_i<a_j$ for any $i<j\le n$ . Let $W_a=\left\{i_1,i_2,\cdots ,i_r\right\}$ be the set of all absolute ascents of $a$ , where $i_1<i_2<\cdot \cdot \cdot <i_r$ . Denote

${\alpha }_1=a_1{a}_2\cdot \cdot \cdot a_{i_1},$

${\alpha }_2=a_{i_1+1}{a}_{i_1+2}\cdot \cdot \cdot a_{i_2},$

$⋮$

${\alpha }_r=a_{i_{r-1}+1}\cdot \cdot \cdot a_n,$

and call that ${\alpha }_i$ is an atom of $a$ , for $1\le i\le r$ . For any permutation $a$ in $S_n$ , put the symbol $\circ$ at all absolute ascents of $a$ , then we get the decomposition of $a$ , denote by $\alpha ={\alpha }_1\circ {\alpha }_2\circ \cdot \cdot \cdot \circ {\alpha }_r.$ If $a$ has no absolute ascent, we call it indecomposable.

Example 2.1. For $a=314659$ , we have $W_a=\left\{2,3,5\right\}$ and

$\alpha ={\alpha }_1\circ {\alpha }_2\circ {\alpha }_3\circ {\alpha }_4=31\circ 4\circ 65\circ 9$ .

The sequence 342 is indecomposable.

3. Coupling Product on Permutations

In this section, we give the definition of the coupling product on permutations.

Let $a=a_1{a}_2\cdot \cdot \cdot a_n$ be a permutation of degree $n$ and $b=b_1{b}_2\cdot \cdot \cdot b_m$ be a permutation of degree $m$ with $W_a=\left\{i_1,i_2,\cdots ,i_r\right\}$ and $W_b=\left\{j_1,j_2,\cdots ,j_s\right\}$ , respectively. Then their atoms are

${\alpha }_1=a_1{a}_2\cdot \cdot \cdot a_{i_1},$

${\alpha }_2=a_{i_1+1}{a}_{i_1+2}\cdot \cdot \cdot a_{i_2},$

$⋮$

${\alpha }_r=a_{i_{r-1}+1}{a}_{i_{r-1}+2}\cdot \cdot \cdot a_n,$

${\beta }_1=b_1{b}_2\cdot \cdot \cdot b_{j_1},$

${\beta }_2=b_{j_1+1}{b}_{j_1+2}\cdot \cdot \cdot b_{j_2},$

$⋮$

${\beta }_s=b_{j_{s-1}+1}{b}_{j_{s-1}+2}\cdot \cdot \cdot b_m,$

and $\alpha ={\alpha }_1\circ {\alpha }_2\circ \cdot \cdot \cdot \circ {\alpha }_r$ and $\beta ={\beta }_1\circ {\beta }_2\circ \cdot \cdot \cdot \circ {\beta }_s$ are the decompositions of $a$ and $b$ , respectively. Denote $\widehat{b}={\widehat{b}}_1{\widehat{b}}_2\cdot \cdot \cdot {\widehat{b}}_m$ as the sequence of positive integers obtained by adding $n$ to each element in $b$ , i.e., ${\widehat{b}}_j=b_j+n$ , $1\le j\le m$ . Then the atoms of $\widehat{b}$ are

${\widehat{\beta }}_1=\left(b_1+n\right)\left(b_2+n\right)\cdot \cdot \cdot \left(b_{j_1}+n\right),$

${\widehat{\beta }}_2=\left(b_{j_1+1}+n\right)\left(b_{j_1+2}+n\right)\cdot \cdot \cdot \left(b_{j_2}+n\right),$

$⋮$

${\widehat{\beta }}_s=\left(b_{j_{s-1}+1}+n\right)\left(b_{j_{s-1}+2}+n\right)\cdot \cdot \cdot \left(b_m+n\right),$

i.e., its decomposition is $\widehat{\beta }={\widehat{\beta }}_1\circ {\widehat{\beta }}_2\circ \cdot \cdot \cdot \circ {\widehat{\beta }}_s$ .

Next we define the coupling product on permutations in a recursive way.

Definition 3.1. Define a coupling product $⋉$ on $\mathbb{K}\mathbb{S}$ by

1) $a⋉ϵ=ϵ⋉a=a\text{,}$

2) $\begin{array}{c}a⋉b=\alpha ⋉\widehat{\beta }\\ =\left({\alpha }_1\circ {\alpha }_2\circ \cdot \cdot \cdot \circ {\alpha }_r\right)⋉\left({\widehat{\beta }}_1\circ {\widehat{\beta }}_2\circ \cdot \cdot \cdot \circ {\widehat{\beta }}_s\right)\\ ={\alpha }_1\circ \left({\alpha }_2\circ \cdot \cdot \cdot \circ {\alpha }_r⋉\widehat{\beta }\right)+{\displaystyle \sum }_{k=1}^s{\widehat{\beta }}_k\left({\alpha }_1\circ \left({\alpha }_2\circ \cdot \cdot \cdot \circ {\alpha }_r⋉\left(\widehat{\beta }\backslash {\widehat{\beta }}_k\right)\right)\right),\end{array}$

where $\alpha ={\alpha }_1\circ {\alpha }_2\circ \cdot \cdot \cdot \circ {\alpha }_r$ and $\beta ={\beta }_1\circ {\beta }_2\circ \cdot \cdot \cdot \circ {\beta }_s$ are the decompositions of permutations $a$ and $b$ , respectively, and $\widehat{\beta }\backslash {\widehat{\beta }}_k$ is obtained by eliminating the $k$ -th atom ${\widehat{\beta }}_k$ from $\widehat{\beta }$ . Define the unit $\mu :\mathbb{K}\to \mathbb{K}\mathbb{S}$ by $\mu \left(1\right)=ϵ$ .

From the definition, the coupling product $⋉$ is non-commutative.

Example 3.2. Let $a=12$ and $b=3124$ . Then $\alpha ={\alpha }_1\circ {\alpha }_2=1\circ 2$ , $\beta ={\beta }_1\circ {\beta }_2\circ {\beta }_3=31\circ 2\circ 4$ and $\widehat{\beta }={\widehat{\beta }}_1\circ {\widehat{\beta }}_2\circ {\widehat{\beta }}_3=53\circ 4\circ 6$ . Then

From the above example, permutations in the coupling product of $\alpha ={\alpha }_1\circ {\alpha }_2$ and $\beta ={\beta }_1\circ {\beta }_2\circ {\beta }_3$ must consist of some atoms from the set

$\left\{{\alpha }_1,{\alpha }_2,{\widehat{\beta }}_1,{\widehat{\beta }}_2,{\widehat{\beta }}_3,{\widehat{\beta }}_1{\alpha }_1,{\widehat{\beta }}_2{\alpha }_1,{\widehat{\beta }}_3{\alpha }_1,{\widehat{\beta }}_1{\alpha }_2,{\widehat{\beta }}_2{\alpha }_2,{\widehat{\beta }}_3{\alpha }_2\right\},$

and each atom in $\alpha$ and $\widehat{\beta }$ appears and appears only once. When such atoms are given, the first atom must contain ${\alpha }_1$ , the 2^nd atom must contain ${\alpha }_2$ , then the remaining atoms with ${\widehat{\beta }}_j$ are arranged in ascending order of its index $j$ . For example, in $a⋉b$ the permutation consists of the atoms ${\widehat{\beta }}_3,{\widehat{\beta }}_2{\alpha }_1,{\widehat{\beta }}_1{\alpha }_2$ is ${\widehat{\beta }}_2{\alpha }_1\circ {\widehat{\beta }}_1{\alpha }_2\circ {\widehat{\beta }}_3$ , and the permutation consists of the atoms ${\alpha }_2,{\widehat{\beta }}_1,{\widehat{\beta }}_3,{\widehat{\beta }}_2{\alpha }_1$ is ${\widehat{\beta }}_2{\alpha }_1\circ {\alpha }_2\circ {\widehat{\beta }}_1\circ {\widehat{\beta }}_3$ . Furthermore, the subsets that satisfy that each atom in $\alpha$ and $\widehat{\beta }$ appears and appears only once give all permutations in the coupling product of $a$ and $b$ . And these permutations are distinct and they appear and appear only once in the coupling product.

In general, when $a=a_1{a}_2\cdot \cdot \cdot a_n$ is a permutation of degree $n$ and $b=b_1{b}_2\cdot \cdot \cdot b_m$ is a permutation of degree $m$ with decompositions $\alpha ={\alpha }_1\circ {\alpha }_2\circ \cdot \cdot \cdot \circ {\alpha }_r$ and $\beta ={\beta }_1\circ {\beta }_2\circ \cdot \cdot \cdot \circ {\beta }_s$ , respectively. Any permutation in $a⋉b$ must be given by a subset of $\left\{{\alpha }_i,{\widehat{\beta }}_j,{\widehat{\beta }}_j{\alpha }_i|i=1,2,\cdots ,r;j=1,2,\cdots ,s\right\}$ , in which each atom in $\alpha$ and $\widehat{\beta }$ appears and appears only once. Once the atoms are given, all atoms containing ${\alpha }_i$ are arranged in ascending order of its index $i$ , then the remaining atoms ${\widehat{\beta }}_j$ are arranged in ascending order of its index $j$ . Furthermore, the subsets that satisfy that each atom in $\alpha$ and $\widehat{\beta }$ appears and appears only once give all permutations in the coupling product of $a$ and $b$ . These permutations are distinct and they appear only once.

Thus, we have an equivalent definition of coupling product.

Definition 3.3. Define the coupling product $⋉$ on $\mathbb{K}\mathbb{S}$ by

$\begin{array}{c}a⋉b=\alpha ⋉\widehat{\beta }\\ =\left({\alpha }_1\circ {\alpha }_2\circ \cdot \cdot \cdot \circ {\alpha }_r\right)⋉\left({\widehat{\beta }}_1\circ {\widehat{\beta }}_2\circ \cdot \cdot \cdot \circ {\widehat{\beta }}_s\right)\\ ={\displaystyle \sum }_{L\subseteq \left[r\right]}{\displaystyle \sum }_{f:L\to \left[s\right]}{\ddot{\alpha }}_1\circ {\ddot{\alpha }}_2\circ \cdot \cdot \cdot \circ {\ddot{\alpha }}_r\circ {\widehat{\beta }}_{\left[s\right]\backslash f\left(l\right)},\end{array}$

where $\alpha ={\alpha }_1\circ {\alpha }_2\circ \cdot \cdot \cdot \circ {\alpha }_r$ and $\beta ={\beta }_1\circ {\beta }_2\circ \cdot \cdot \cdot \circ {\beta }_s$ are the decompositions of permutations $a$ and $b$ , respectively, $f$ is an injective map from $L$ to $\left[s\right]$ , and

${\ddot{\alpha }}_i=\{\begin{array}{ll}{\widehat{\beta }}_{f\left(i\right)}{\alpha }_i,\hfill & i\in L,\hfill \\ {\alpha }_i,\hfill & i\notin L.\hfill \end{array}$

Remark 3.4. We can also define the coupling product on sequences of distinct positive integers. Let $a$ and $b$ be sequences of distinct positive integers. Denote $a_{\text{max}}$ as the largest element of $a$ and add $a_{\text{max}}$ to each element of $b$ and obtain $\widehat{b}={\widehat{b}}_1{\widehat{b}}_2\cdot \cdot \cdot {\widehat{b}}_m.$ Then the atoms of $\widehat{b}$ are

${\widehat{\beta }}_1=\left(b_1+a_{\text{max}}\right)\left(b_2+a_{\text{max}}\right)\cdot \cdot \cdot \left(b_{j_1}+a_{\text{max}}\right),$

${\widehat{\beta }}_2=\left(b_{j_1+1}+a_{\text{max}}\right)\left(b_{j_1+2}+a_{\text{max}}\right)\cdot \cdot \cdot \left(b_{j_2}+a_{\text{max}}\right),$

$⋮$

${\widehat{\beta }}_s=\left(b_{j_{s-1}+1}+a_{\text{max}}\right)\left(b_{j_{s-1}+2}+a_{\text{max}}\right)\cdot \cdot \cdot \left(b_m+a_{\text{max}}\right),$

and its decomposition is $\widehat{\beta }={\widehat{\beta }}_1\circ {\widehat{\beta }}_2\circ \cdot \cdot \cdot \circ {\widehat{\beta }}_s$ .

Theorem 3.5. $\left(\mathbb{K}\mathbb{S},⋉,\mu \right)$ is a graded algebra.

Proof: Let $a=a_1{a}_2\cdot \cdot \cdot a_n$ be a permutation of degree $n$ and $b=b_1{b}_2\cdot \cdot \cdot b_m$ be a permutation of degree $m$ with decompositions $\alpha ={\alpha }_1\circ {\alpha }_2\circ \cdot \cdot \cdot \circ {\alpha }_r$ and $\beta ={\beta }_1\circ {\beta }_2\circ \cdot \cdot \cdot \circ {\beta }_s$ , respectively. We denote $\widehat{b}={\widehat{b}}_1{\widehat{b}}_2\cdot \cdot \cdot {\widehat{b}}_m$ as the sequence of positive integers obtained by adding $n$ to each element in $b$ , i.e., ${\widehat{b}}_j=b_j+n$ , $1\le j\le m$ . Then denote $\widehat{\beta }={\widehat{\beta }}_1\circ {\widehat{\beta }}_2\circ \cdot \cdot \cdot \circ {\widehat{\beta }}_s$ as the decomposition of $\widehat{b}$ . From above, any permutation in $a⋉b$ must be given by a subset of

$\left\{{\alpha }_i,{\widehat{\beta }}_j,{\widehat{\beta }}_j{\alpha }_i|i=1,2,\cdots ,r;j=1,2,\cdots ,s\right\},$

where each atom in $\alpha$ and $\widehat{\beta }$ appears and appears only once. Suppose $c$ is a permutation of degree $l$ with $W_c=\left\{k_1,k_2,\cdots ,k_t\right\}$ . Then the atoms of $c$ are

${\gamma }_1=c_1{c}_2\cdot \cdot \cdot c_{k_1},$

${\gamma }_2=c_{k_1+1}{c}_{k_1+2}\cdot \cdot \cdot c_{k_2},$

$⋮$

${\gamma }_t=c_{k_{t-1}+1}{c}_{k_{t-1}+2}\cdot \cdot \cdot c_l,$

and the decomposition of $c$ is $\gamma ={\gamma }_1\circ {\gamma }_2\circ \cdot \cdot \cdot \circ {\gamma }_t.$ Denote $\tilde{c}$ as the sequence of positive integers obtained by adding $n+m$ to each element in $c$ . Then the atoms of $\tilde{c}$ are

${\tilde{\gamma }}_1=\left(c_1+n+m\right)\left(c_2+n+m\right)\cdot \cdot \cdot \left(c_{k_1}+n+m\right),$

${\tilde{\gamma }}_2=\left(c_{k_1+1}+n+m\right)\left(c_{k_1+2}+n+m\right)\cdot \cdot \cdot \left(c_{k_2}+n+m\right),$

$⋮$

${\tilde{\gamma }}_t=\left(c_{k_{t-1}+1}+n+m\right)\left(c_{k_{t-1}+2}+n+m\right)\cdot \cdot \cdot \left(c_l+n+m\right),$

and the decomposition of $\tilde{c}$ is $\tilde{\gamma }={\tilde{\gamma }}_1\circ {\tilde{\gamma }}_2\circ \cdot \cdot \cdot \circ {\tilde{\gamma }}_t$ . Any permutation in $\left(a⋉b\right)⋉c$ must be given by a subset of

$A=\left\{{\alpha }_i,{\widehat{\beta }}_j,{\tilde{\gamma }}_k,{\widehat{\beta }}_j{\alpha }_i,{\tilde{\gamma }}_k{\alpha }_i,{\tilde{\gamma }}_k{\widehat{\beta }}_j,{\tilde{\gamma }}_k{\widehat{\beta }}_j{\alpha }_i|i=1,2,\cdots ,r;j=1,2,\cdots ,s;k=1,2,\cdots ,t\right\},$

and each atom in $\alpha$ , $\widehat{\beta }$ and $\tilde{\gamma }$ appears and appears only once.

Denote $\stackrel{⌣}{c}={\stackrel{⌣}{c}}_1{\stackrel{⌣}{c}}_2\cdot \cdot \cdot {\stackrel{⌣}{c}}_l$ as the sequence of positive integers obtained by adding $m$ to each element in $c$ , i.e., ${\stackrel{⌣}{c}}_i=c_i+m$ , $1\le i\le l$ . Then the atoms of $\stackrel{⌣}{c}$ are

${\stackrel{⌣}{\gamma }}_1=\left(c_1+m\right)\left(c_2+m\right)\cdot \cdot \cdot \left(c_{k_1}+m\right),$

${\stackrel{⌣}{\gamma }}_2=\left(c_{k_1+1}+m\right)\left(c_{k_1+2}+m\right)\cdot \cdot \cdot \left(c_{k_2}+m\right),$

$⋮$

${\stackrel{⌣}{\gamma }}_t=\left(c_{k_{t-1}+1}+m\right)\left(c_{k_{t-1}+2}+m\right)\cdot \cdot \cdot \left(c_l+m\right),$

and the decomposition of $\stackrel{⌣}{c}$ is $\stackrel{⌣}{\gamma }={\stackrel{⌣}{\gamma }}_1\circ {\stackrel{⌣}{\gamma }}_2\circ \cdot \cdot \cdot \circ {\stackrel{⌣}{\gamma }}_t.$ Denote $\overline{\stackrel{⌣}{c}}$ as the sequence of positive integers obtained by adding $n$ to each element in $\stackrel{⌣}{c}$ . Then the atoms of $\overline{\stackrel{⌣}{c}}$ are

${\overline{\stackrel{⌣}{\gamma }}}_1=\left({\stackrel{⌣}{c}}_1+n\right)\left({\stackrel{⌣}{c}}_2+n\right)\cdot \cdot \cdot \left({\stackrel{⌣}{c}}_{k_1}+n\right),$

${\overline{\stackrel{⌣}{\gamma }}}_2=\left({\stackrel{⌣}{c}}_{k_1+1}+n\right)\left({\stackrel{⌣}{c}}_{k_1+2}+n\right)\cdot \cdot \cdot \left({\stackrel{⌣}{c}}_{k_2}+n\right),$

$⋮$

${\overline{\stackrel{⌣}{\gamma }}}_t=\left({\stackrel{⌣}{c}}_{k_{t-1}+1}+n\right)\left({\stackrel{⌣}{c}}_{k_{t-1}+2}+n\right)\cdot \cdot \cdot \left({\stackrel{⌣}{c}}_l+n\right),$

and the decomposition of $\overline{\stackrel{⌣}{c}}$ is $\overline{\stackrel{⌣}{\gamma }}={\overline{\stackrel{⌣}{\gamma }}}_1\circ {\overline{\stackrel{⌣}{\gamma }}}_2\circ \cdot \cdot \cdot \circ {\overline{\stackrel{⌣}{\gamma }}}_t$ .

Any permutation in $b⋉c$ must be given by a subset of

$\left\{{\beta }_j,{\stackrel{⌣}{\gamma }}_k,{\stackrel{⌣}{\gamma }}_k{\beta }_j|j=1,2,\cdots ,s;k=1,2,\cdots ,t\right\},$

where each atom in $\beta$ and $\tilde{\gamma }$ appears and appears only once. Any permutation in $a⋉\left(b⋉c\right)$ must be given by a subset of

$B=\left\{{\alpha }_i,{\widehat{\beta }}_j,{\overline{\stackrel{⌣}{\gamma }}}_k,{\widehat{\beta }}_j{\alpha }_i,{\overline{\stackrel{⌣}{\gamma }}}_k{\alpha }_i,{\overline{\stackrel{⌣}{\gamma }}}_k{\widehat{\beta }}_j,{\overline{\stackrel{⌣}{\gamma }}}_k{\widehat{\beta }}_j{\alpha }_i|i=1,2,\cdots ,r;j=1,2,\cdots ,s;k=1,2,\cdots ,t\right\},$

where each atom in $\alpha$ , $\widehat{\beta }$ and $\overline{\stackrel{⌣}{\gamma }}$ appears and appears only once.

From above, $\tilde{\gamma }=\overline{\stackrel{⌣}{\gamma }}$ since $A=B$ . Hence, $\left(a⋉b\right)⋉c=a⋉\left(b⋉c\right)$ , for any permutations $a,b$ and $c$ . It is easy to verify that $\mu$ is a unit. So $\left(\mathbb{K}\mathbb{S},⋉,\mu \right)$ is an algebra. Obviously, $\mathbb{K}{S}_n⋉\mathbb{K}{S}_m\subseteq \mathbb{K}{S}_{n+m}$ . Thus, $\left(\mathbb{K}\mathbb{S},⋉,\mu \right)$ is a graded algebra. □

4. Conclusion

In this paper, we define a new product operation on permutations, which is called the coupling product $⋉$ . Then, we prove that the vector space spanned by permutations with the coupling product is a graded algebra.

NOTES

*First author.

^#Corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Aguiar, M. and Orellana, R.C. (2008) The Hopf Algebra of Uniform Block Permutations. Journal of Algebraic Combinatorics, 28, 115-138. https://doi.org/10.1007/s10801-008-0120-9
[2]	Aguiar, M. and Sottile, F. (2005) Cocommutative Hopf Algebras of Permutations and Trees. Journal of Algebraic Combinatorics, 22, 451-470. https://doi.org/10.1007/s10801-005-4628-y
[3]	Loday, J. and Ronco, M.O. (1998) Hopf Algebra of the Planar Binary Trees. Advances in Mathematics, 139, 293-309. https://doi.org/10.1006/aima.1998.1759
[4]	Dong, J. and Li, H. (2023) Hopf Algebra of Labeled Simple Graphs. Open Journal of Applied Sciences, 13, 120-135. https://doi.org/10.4236/ojapps.2023.131011
[5]	Yuan, R. and Li, H. (2022) Algebra and Coalgebra on Posets. Open Journal of Applied Sciences, 12, 1232-1242. https://doi.org/10.4236/ojapps.2022.127083
[6]	Bergeron, N., González D’León, R.S., Li, S.X., Pang, C.Y.A. and Vargas, Y. (2023) Hopf Algebras of Parking Functions and Decorated Planar Trees. Advances in Applied Mathematics, 143, Article ID: 102436. https://doi.org/10.1016/j.aam.2022.102436
[7]	Li, T.X. (2015) The Monomial Basis and the Q-Basis of the Hopf Algebra of Parking Functions. Journal of Algebraic Combinatorics, 42, 473-496. https://doi.org/10.1007/s10801-015-0587-0
[8]	Novelli, J.C. and Thibon, J.Y. (2003) A Hopf Algebra of Parking Functions. arXiv: math/0312126. https://doi.org/10.48550/arXiv.math/0312126
[9]	Malvenuto, C. and Reutenauer, C. (1995) Duality between Quasi-Symmetrical Functions and the Solomon Descent Algebra. Journal of Algebra, 177, 967-982. https://doi.org/10.1006/jabr.1995.1336
[10]	Aguiar, M. and Sottile, F. (2005) Structure of the Malvenuto-Reutenauer Hopf Algebra of Permutations. Advances in Mathematics, 191, 225-275. https://doi.org/10.1016/j.aim.2004.03.007
[11]	Bergeron, N., Ceballos, C. and Pilaud, V. (2022) Hopf Dreams and Diagonal Harmonics. Journal of the London Mathematical Society, 105, 1546-1600. https://doi.org/10.1112/jlms.12541
[12]	Zhao, M. and Li, H. (2021) A Pair of Dual Hopf Algebras on Permutations. AIMS Mathematics, 6, 5106-5123. https://doi.org/10.3934/math.2021302
[13]	Vargas, Y. (2014) Hopf Algebra of Permutation Pattern Functions. 26th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2014), Chicago, 29 June-3 July 2014, 839-850. https://doi.org/10.46298/dmtcs.2446
[14]	Liu, M. and Li, H. (2021) A Hopf Algebra on Permutations Arising from Super-Shuffle Product. Symmetry, 13, Article 1010. https://doi.org/10.3390/sym13061010