On divisible and pure multigroups and their properties

Author(s): P. A. Ejegwa1, M. A. Ibrahim2
1 Department of Mathematics, University of Agriculture, Makurdi, Nigeria.
2Department of Mathematics, Ahmadu Bello University, Zaria, Nigeria.
Copyright © P. A. Ejegwa, M. A. Ibrahim. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

The theory of multigroups is a generalized group’s theoretic notions in multiset framework. Although myriad of researches have been done in multigroup theory, but some group’s analogue concepts have not been investigated in multigroup setting. In this paper we propose the notions of divisible and pure multigroups and characterize some of their properties. It is established that the image and preimage of homomorphism of divisible and pure multigroups are divisible and pure multigroups. The nexus between divisible and pure multigroups and that of divisible and pure groups are instituted using the concept of cuts of multigroups.

Keywords: Multiset, multigroup, divisible multigroup, pure multigroup, divisible group, pure group.

1. Introduction

The term multisets as buttressed by Knuth [1], was first recommended by N. G. de Bruijn (cf. [2]) in a communication to D. E. Knuth, as a generalization of classical sets, by violating the principle of distinct collection of elements in set theory. Both the theory and applications of multiset have been extensively studied in [3,4,5,6,7,8]. In a way to apply group theory to multisets, Nazmul et al., [9] proposed the concept of multigroups in multisets framework and presented a number of results, just as group theory stem out of set theory. A comprehensive account on the concept of multigroups has been carried out, and it has been established that multigroup via multiset is a generalization of group theory [10].

Several researches have emerged on the concept of multigroup theory. Some results on multigroups which cut across some homomorphic properties were explored in [11,12]. The notions of upper and lower cuts of multigroups were introduced and discussed in details with some number of results in [13], and the notions were extended to homomorphism in [14]. Some group’s analogous concepts like normal subgroups, characteristic subgroups, direct product, cosets, factor groups and group actions, etc. have been established in multigroup context [15,16,17,18,19,20,21,22,23,24,25,26,27]. The idea of commutators in multigroup context has been studied in [28]. The notion of ring structure from multiset context has been proposed and some related results deduced [29].

Though numerous constructs in group theory have been established in multigroup structure, some constructs have not been considered in multigroup context. The notions of divisible and pure groups have been hitherto studied in other non-classical groups like fuzzy groups and intuitionistic fuzzy groups, respectively [30,31,32]. This paper attempts to strengthen multigroup theory by characterizing the constructs of divisible and pure multigroups which are the applications of divisible and pure groups in multisets. We first defined a special multisets of a group to boost the introduction of divisible and pure multigroups. We study the homomorphic image and preimage of divisible and pure multigroups and found that they are divisible and pure multigroups. The correlation between divisible and pure multigroups and that of divisible and pure groups are established using the idea of multigroup cuts. The rest of the paper is outlined as follows; Section 2 presents the ideas of multisets, multigroups and some helpful existing results. Section 3 discusses and characterizes divisible multigroups. Finally, Section 4 gives a precise conclusion with area of future research.

2. Preliminaries

Throughout this paper \(X \) denotes non-empty set and \(G \) denotes an additive group with identity element \(0 \).

Definition 1. [8] Let \(X \) be a set. A multiset \(\mathit{A} \) over \(X \) is just a pair \(\langle X, C_{\mathit{A}}\rangle \), where \[C_{\mathit{A}} : X\to \mathcal{N}=\lbrace 0,1,2,…\rbrace\] is a function, such that for \(x\in X \) implies \(\mathit{A}(x) \) is a cardinal and \(\mathit{A}(x)=C_{\mathit{A}} (x)>0 \), where \(C_{\mathit{A}} (x) \) denoted the number of times an object \(x \) occur in \(\mathit{A} \). Whenever \(C_{\mathit{A}} (x)=0 \), implies \(x\notin X \). The set \(X \) is called the ground or generic set of the class of all multisets containing objects from \(X \).

Definition 2. [7] Let \(X \) be the set from which multisets are constructed. The multiset \(X^n \) is the set of all multisets of \(X \) such that no element occurs more than \(n \) times. Likewise, the multiset \(X^\infty \) is the set of all multisets of \(X \) such that there is no limit on the number of occurrences of an element.

Definition 3. [7] Let \(\mathit{A} \), \(\mathit{B} \) be multisets of \(X \). Then

  • (i) \(\mathit{A}=\mathit{B} \) \(\Longleftrightarrow \) \(C_{\mathit{A}} (x)=C_{\mathit{B}} (x) \) \(\forall x\in X \),
  • (ii) \(\mathit{A}\subseteq \mathit{B} \) \(\Longleftrightarrow \) \(C_{\mathit{A}} (x)\le C_{\mathit{B}} (x) \) \(\forall x\in X \),
  • (iii) \(\mathit{A}\cap \mathit{B} \) \(\Longrightarrow \) \(C_{\mathit{A}\cap \mathit{B}}(x) = C_{\mathit{A}}(x)\wedge C_{\mathit{B}}(x) \) \(\forall x\in X \),
  • (iv) \(\mathit{A}\cup \mathit{B} \) \(\Longrightarrow \) \(C_{\mathit{A}\cup \mathit{B}}(x) = C_{\mathit{A}}(x) \vee C_{\mathit{B}}(x) \) \(\forall x\in X \),
  • (v) \(\mathit{A}\oplus \mathit{B} \) \(\Longrightarrow \) \(C_{\mathit{A}\oplus \mathit{B}}(x) = C_{\mathit{A}}(x) \oplus C_{\mathit{B}}(x) \) \(\forall x\in X \),
where \(\wedge \) and \(\vee \) denote minimum and maximum respectively.

Definition 4. [9] Suppose \(\lbrace \mathit{A}_i\rbrace_{i\in I} \) is an arbitrary family of multisets of \(X \). Then \(\bigcap_{i\in I} \mathit{A}_i=\bigwedge_{i\in I} C_{\mathit{A}_i}(x) \) \(\forall x\in X \) and \(\bigcup_{i\in I} \mathit{A}_i=\bigvee_{i\in I} C_{\mathit{A}_i}(x) \) \(\forall x\in X \).

Definition 5. [9] A multiset \(\mathit{A} \) of \(G \) is called a multigroup if

  • (i) \(C_{\mathit{A}}(x+y)\ge C_{\mathit{A}}(x)\wedge C_{\mathit{A}}(y) \) \(\forall x,y\in G \),
  • (ii) \(C_{\mathit{A}}(-x)= C_{\mathit{A}}(x) \) \(\forall x\in G \).
From (i) and (ii), we have \(C_{\mathit{A}}(x-y)\ge C_{\mathit{A}}(x)\wedge C_{\mathit{A}}(y) \) \(\forall x,y\in G \). In fact, in a multigroup \(\mathit{A} \) of \(G \), \(C_{\mathit{A}}(0)\ge C_{\mathit{A}}(x) \) \(\forall x\in G \).

Definition 6. [10] A multigroup \(\mathit{A} \) of \(G \) is said to be constant or has a constant count function if \(C_{\mathit{A}}(x)= C_{\mathit{A}}(y) \) \(\forall x,y\in G \).

Definition 7. [10] A multigroup \(\mathit{A} \) of \(G \) is said to be commutative if and only if \[C_{\mathit{A}}(x+y)= C_{\mathit{A}}(y+x)\; \forall x,y\in G. \]

Proposition 1. [9] If \(\mathit{A} \) and \(\mathit{B} \) are multigroups of \(G \), then (i) \(\mathit{A}\cap \mathit{B} \) and \(\mathit{A}\oplus \mathit{B} \) are multigroups of \(G \), (ii) \(\mathit{A}\cup \mathit{B} \) is a multigroup of \(G \) provided \(\mathit{A}\subseteq \mathit{B} \).

Theorem 1. [13] Let \(\mathit{A} \) be a multigroup of \(G \). Then, the sets \(\mathit{A}_{n} \) and \(\mathit{A}^{n} \) defined by \[\mathit{A}_{n}=\lbrace x\in G\mid C_{\mathit{A}}(x)\geq n \rbrace\] and \[\mathit{A}^{n}=\lbrace x\in G\mid C_{\mathit{A}}(x)\leq n \rbrace\] where \(n\in \mathbb{N} \), are subgroups of \(G \) for \(n\leq C_{\mathit{A}}(0) \) and \(n\geq C_{\mathit{A}}(0) \), respectively.

Theorem 2. [22] Let \(\mathit{A} \) be a multiset of \(G \) and \(n\in \mathbb{N} \).

  • (i) If every \(\mathit{A}_{n} \) for \(n\leq C_{\mathit{A}}(0) \) is a subgroup of \(G \), then \(\mathit{A} \) is a multigroup of \(G \).
  • (ii) If every \(\mathit{A}^{n} \) for \(n\geq C_{\mathit{A}}(0) \) is a subgroup of \(G \), then \(\mathit{A} \) is a multigroup of \(G \).

Definition 8. [12] Let \(f\colon G\to G^{\prime} \) be a homomorphism of groups. Suppose \(\mathit{A} \) and \(\mathit{B} \) are multigroups of \(G \) and \(G^{\prime} \), respectively. Then, \(f \) induces a homomorphism from \(\mathit{A} \) to \(\mathit{B} \) which satisfies

  • (i) \(C_{\mathit{A}}(f^{-1}(y_1y_2))\geq C_{\mathit{A}}(f^{-1}(y_1))\wedge C_{\mathit{A}}(f^{-1}(y_2)) \: \forall y_1, y_2\in G^{\prime} \),
  • (ii) \(C_{\mathit{B}}(f(x_1x_2))\geq C_{\mathit{B}}(f(x_1))\wedge C_{\mathit{B}}(f(x_2))\: \forall x_1, x_2\in G \),
where
  • (i) the image of \(\mathit{A} \) under \(f \), denoted by \(f(\mathit{A}) \), is a multiset of \(G^{\prime} \) defined by \[ C_{f(\mathit{A})} (y) = \left\{ \begin{array}{ll} \bigvee_{x\in f^{-1} (y) } C_{\mathit{A}} (x), & f^{-1} (y)\neq \emptyset\\ 0, & \textrm{otherwise} \end{array} \right. \]for each \(y\in G^{\prime} \).
  • (ii) the preimage of \(\mathit{B} \) under \(f \), denoted by \(f^{-1} (\mathit{B}) \), is a multiset of \(G \) defined by \[C_{f^{-1} (\mathit{B}) } (x)=C_{\mathit{B}} (f(x))\; \forall x\in G.\]

Proposition 2. [12] Let \(f\colon G\to G^{\prime} \) be a homomorphism of groups, \(\mathit{A} \) and \(\mathit{B} \) be multigroups of \(G \) and \(G^{\prime} \), respectively. Then \(f(\mathit{A}) \) is multigroup of \(G^{\prime} \) and if \(f \) is an isomorphism, then \(f^{-1}(\mathit{B}) \) is a multigroup of \(G \).

3. Divisible multigroups and pure multigroups

This section introduces the concepts of divisible and pure multigroups and presents some of their properties.

3.1. Some properties of divisible multigroups

Recall that an abelian group \(G \) is divisible if for every positive integer \(n \) and any \(x\in G \), \(\exists \) \(y\in G \) such that \(ny=x \). Equivalently, an abelian group \(G \) is divisible if and only if \(nG=G \), where \(n \) is any positive integer and \(nG=\lbrace nx|x\in G\rbrace \).

Definition 9. Let \(\mathit{A} \) be a multiset of \(G \). Then, the set \(n\mathit{A} \), where \(n \) is a positive integer is defined as \[ C_{n\mathit{A}} (x) = \left\{ \begin{array}{ll} \bigvee_{x=ny} C_{\mathit{A}} (y), & x\in nG\\ 0, & \textrm{otherwise}. \end{array} \right. \]

Proposition 3. Suppose \(\mathit{A} \) and \(\mathit{B} \) are multisets of \(G \), then

  • (i) \(\mathit{A}\subseteq \mathit{B} \Longrightarrow n\mathit{A}\subseteq n\mathit{B} \),
  • (ii) \(n(\mathit{A}\cap \mathit{B})= n\mathit{A}\cap n\mathit{B} \),
  • (iii) \(n(\mathit{A}\cup \mathit{B})= n\mathit{A}\cup n\mathit{B} \),
  • (iv) \(n(\mathit{A}\oplus \mathit{B})= n\mathit{A}\oplus n\mathit{B} \).

Proof. The proof of (i) is trivial. Now, we prove (ii) as follows. Suppose \(x\notin nG \), then \(C_{n(\mathit{A}\cap \mathit{B})}(x)=0=C_{n\mathit{A}\cap n\mathit{B}}(x) \). Again, assume \(x\in nG \), then we have \begin{eqnarray*} C_{n\mathit{A}\cap n\mathit{B}}(x) & = & C_{n\mathit{A}}(x)\wedge C_{n\mathit{B}}(x)\\ & = & \bigvee_{x=ny} C_{\mathit{A}}(y)\wedge \bigvee_{x=ny} C_{\mathit{B}}(y)\\ & = & \bigvee_{x=ny} [C_{\mathit{A}}(y)\wedge C_{\mathit{B}}(y)]\\ & = & \bigvee_{x=ny} C_{\mathit{A}\cap \mathit{B}}(y)\\ & = & C_{n(\mathit{A}\cap \mathit{B})}(x). \end{eqnarray*} Hence, \(n(\mathit{A}\cap \mathit{B})= n\mathit{A}\cap n\mathit{B} \). The proofs of (iii) and (iv) follow directly from Definitions 3, 9 and (ii).

Theorem 3. Suppose \(f\colon G\to G^{\prime} \) is a homomorphism such that \(\mathit{A} \) is multiset of \(G \). Then for any \(n\in \mathbb{N} \), \(f(n\mathit{A})=nf(\mathit{A}) \).

Proof. Suppose \(x\notin nG \), then \(C_{f(n\mathit{A})}(x)=0=C_{nf(\mathit{A})}(x) \). Again, suppose we have \(x\in nG \). If \(z\in G^{\prime} \) and \(z=f(x) \), then \begin{eqnarray*} C_{f(n\mathit{A})}(z) & = & \bigvee_{z=f(x)} C_{n\mathit{A}}(x)= \bigvee_{z=f(x)} \bigvee_{x=nw}C_{\mathit{A}}(w)\\ & = & \bigvee_{z=f(x),\, x=nw} C_{\mathit{A}}(w)=\bigvee_{z=f(nw)} C_{\mathit{A}}(w)\\ & = & \bigvee_{z=nf(w)} C_{\mathit{A}}(w)= \bigvee_{z=ny}\bigvee_{y=f(w)}C_{\mathit{A}}(w)\\ & = & \bigvee_{z=f(nw)}C_{f(\mathit{A})}(y)= C_{nf(\mathit{A})}(z). \end{eqnarray*} Hence, \(f(n\mathit{A})=nf(\mathit{A}) \).

Theorem 4. Let \(f \) be a homomorphism from \(G \) to \(G^{\prime} \) such that \(\mathit{B} \) is a multiset of \(G^{\prime} \). Then for any \(n\in \mathbb{N} \), \(nf^{-1}(\mathit{B})\subseteq f^{-1}(n\mathit{B}) \). Moreover if \(f \) is an isomorphism, \(nf^{-1}(\mathit{B})= f^{-1}(n\mathit{B}) \).

Proof. Let \(x\in G \). If \(x\notin nG \), then \(C_{nf^{-1}(\mathit{B})}(x)=0\leq C_{f^{-1}(n\mathit{B})}(x) \). If \(x\in nG \), then \(f(x)\in nG^{\prime} \). Thus \begin{eqnarray*} C_{nf^{-1}(\mathit{B})}(x) & = & \bigvee_{x=nw}C_{f^{-1}(\mathit{B})}(w)=\bigvee_{x=nw}C_{\mathit{B}}(f(w))\\ & \leq & \bigvee_{f(x)=f(nw)}C_{\mathit{B}}(f(w))\leq \bigvee_{f(x)=ny}C_{\mathit{B}}(y)\\ & = & C_{\mathit{nB}}(ny)=C_{\mathit{nB}}(f(x))\\ & = & C_{f^{-1}\mathit{B}}(x). \end{eqnarray*} Hence, \(nf^{-1}(\mathit{B})\subseteq f^{-1}(n\mathit{B}) \). Suppose \(f \) is an isomorphism, then by using the argument in Theorem 3, we have \begin{eqnarray*} C_{f^{-1}(n\mathit{B})}(x) & = & C_{f^{-1}(n(f(f^{-1}(\mathit{B}))))}(x)=C_{f^{-1}(f(n(f^{-1}(\mathit{B}))))}(x)\\ & \leq & C_{n(f^{-1}(\mathit{B}))}(x), \end{eqnarray*} so \(f^{-1}(n\mathit{B})\subseteq nf^{-1}(\mathit{B}) \). Therefore, \(nf^{-1}(\mathit{B})= f^{-1}(n\mathit{B}) \).

Definition 10. Let \(G \) be an abelian group. A multigroup \(\mathit{A} \) of \(G \) is called divisible if \(C_{n\mathit{A}}(x)=C_{\mathit{A}}(x) \) \(\forall x\in G \) for every positive integer \(n \). Equivalently, if \(n\mathit{A}=\mathit{A} \) for every positive integer \(n \).

Example 1. A multigroup of (i) an additive group of rational numbers \(\mathbb{Q} \) is a divisible multigroup, (ii) a group of complex roots of unity of degrees \(p^k \), \(k=1,…,n \), where \(p \) is a prime number is a divisible multigroup.

Remark 1. (i) Every multigroup of a divisible group is a divisible commutative multigroup. (ii) If \(G=\mathbb{Q} \), then every divisible multigroup of \(G \) has a constant count function over \(\mathbb{Q}-\lbrace 0\rbrace \).

Proposition 4. Suppose \(f\colon G\to G^{\prime} \) is a homomorphism of groups, and \(\mathit{A} \) be a divisible multigroup of \(G \). Then, the homomorphic image of \(\mathit{A} \) is a divisible multigroup of \(G^{\prime} \).

Proof. From Theorem 2, we see that \(f(\mathit{A}) \) is a multigroup of \(G^{\prime} \). Thus, we have \(nf(\mathit{A})=f(n\mathit{A})=f(\mathit{A}) \), for every \(n\in \mathbb{N} \) (Theorem 3). Hence, \(f(\mathit{A}) \) is a divisible multigroup of \(G \).

Proposition 5. Let \(f\colon G\to G^{\prime} \) be an isomorphism of groups, and \(\mathit{B} \) be a divisible multigroup of \(G^{\prime} \). Then, the homomorphic preimage of \(\mathit{B} \) is a divisible multigroup of \(G \).

Proof. By synthesizing Theorems 2 and 4, it follows that \(f^{-1}(\mathit{B}) \) is a divisible multigroup of \(G \).

Definition 11. A multigroup \(\mathtt{A} \) of \(G \) is called p-divisible if and only if \(C_{p^k\mathit{A}}(x)=C_{\mathit{A}}(x) \) \(\forall x\in G \) where \(k\in \mathbb{N} \) and \(p \) is a prime.

Proposition 6. Let \(\mathit{A} \) be a multigroup of \(G \). Then \(\mathit{A} \) is divisible if and only if it is p-divisible for every prime \(p \).

Proof. Suppose that \(\mathit{A} \) is divisible multigroup of \(G \). Certainly, it is p-divisible since \(p^k\in \mathbb{N} \).

Conversely, assume \(\mathit{A} \) is a p-divisible multigroup of \(G \) for every prime \(p \). Then for every \(n\in \mathbb{N} \), we get \(n=p_1p_2…p_m \) where \(p_i \) (for \(i=1,…,m \)) is prime. Thus, \(n\mathit{A}=(p_1p_2…p_m)\mathit{A}=\beta \mathit{A}=\mathit{A} \) since \(n=\beta \). So, \(\mathit{A} \) is a divisible multigroup of \(G \).

Theorem 5. Let \(\mathit{A} \) be a divisible multigroup of \(G \). Then, the following are divisible subgroups of \(G \):

  • (i) \(\mathit{A}_{n} \), \(n\in \mathbb{N} \) for \(n \le C_{\mathit{A}}(0) \).
  • (ii) \(\mathit{A}^{n} \), \(n\in \mathbb{N} \) for \(n \ge C_{\mathit{A}}(0) \).

Proof.

  • (i) By Theorem 1, \(\mathit{A}_{n} \) is a subgroup of \(G \). Let \(x\in \mathit{A}_{n} \) and \(n\in \mathbb{N} \). Since \(\bigvee_{ny=x} C_{\mathit{A}}(y)=C_{\mathit{A}}(x)\ge n \), then it follows that \(y\in \mathit{A}_{n} \) with \(ny=x \). Hence, \(\mathit{A}_{n} \) is a divisible subgroup of \(G \).
  • (ii) Similarly, \(\mathit{A}^{n} \) is a subgroup of \(G \) by Theorem 1. If \(x\in \mathit{A}^{n} \) and \(n\in \mathbb{N} \). Then, since \(\bigvee_{ny=x} C_{\mathit{A}}(y)=C_{\mathit{A}}(x)\le n \), it follows that \(y\in \mathit{A}^{n} \) such that \(ny=x \), and the result follows.

Theorem 6. Let \(\mathit{A} \) be a multiset of \(G \) bounded by \(G^n \) such that \(C_{\mathit{A}}(0)=n \) and every \(\mathit{A}_{n} \), \(n\in \mathbb{N} \), is a divisible subgroup of \(G \). Then \(\mathit{A} \) is a divisible multigroup of \(G \).

Proof. From the given hypotheses , it follows that \(\mathit{A} \) is a multigroup of \(G \) by Theorem 2. Let \(x\in G \) and \(C_{\mathit{A}}(x)=n \). Since \(\mathit{A}_{n} \) is a divisible subgroup of \(G \) for every \(n\in \mathbb{N} \), \(\exists \) \(y\in \mathit{A}_{n} \) such that \(ny=x \), hence \(C_{\mathit{A}}(y)\ge C_{\mathit{A}}(x)=n \). But \(C_{\mathit{A}}(y)\le C_{\mathit{A}}(x) \) since \(\mathit{A} \) is a multigroup of \(G \). Hence, \(\bigvee_{ny=x}C_{\mathit{A}}(y)= C_{n\mathit{A}}(x) \), for \(x\in nG \) and so, \(n\mathit{A}=\mathit{A} \).

Corollary 7. If \(\mathit{A} \) is a multiset of \(G \) bounded by \(G^n \) such that \(C_{\mathit{A}}(0)=n \) and every \(\mathit{A}^{n} \), \(n\in \mathbb{N} \), is a divisible subgroup of \(G \). Then \(\mathit{A} \) is a divisible multigroup of \(G \).

Proof. Combining Theorems 2 and 6, the result holds.

Theorem 8. Suppose \(\lbrace \mathit{A}_i\rbrace_{i\in I} \) is a family of divisible multigroups of \(G \). Then \(\bigcap_{i\in I} \mathit{A}_i \) is a divisible multigroup of \(G \).

Proof. By Proposition 1, \(\bigcap_{i\in I} \mathit{A}_i \) is a multigroup of \(G \). Assume that every \(\mathit{A}_i \) is divisible, then for \(x\in nG \) we get \begin{eqnarray*} C_{n(\bigcap_{i\in I} \mathit{A}_i)}(x) & = & \bigvee_{x=ny} \bigwedge_{i\in I} C_{\mathit{A}_i}(y)=\bigwedge_{i\in I} \bigvee_{x=ny} C_{\mathit{A}_i}(y)\\ & = & \bigwedge_{i\in I} C_{n\mathit{A}_i}(x)=C_{\bigcap_{i\in I}(n\mathit{A}_i)}(x)\\ & = & C_{\bigcap_{i\in I}\mathit{A}_i}(x). \end{eqnarray*} If \(x\notin nG \), then \(C_{\bigcap_{i\in I} \mathit{A}_i}(x)=0=C_{n(\bigcap_{i\in I}\mathit{A}_i)}(x) \). Hence, \(\bigcap_{i\in I} \mathit{A}_i \) is divisible.

Theorem 9. Suppose \(\lbrace \mathit{A}_i\rbrace_{i\in I} \) is a family of divisible multigroups of \(G \). Then

  • (i) \(\bigcup_{i\in I} \mathit{A}_i \) is a divisible multigroup of \(G \) if \(\mathit{A}_1\subseteq \mathit{A}_2\subseteq …\subseteq\mathit{A}_n \), \(i=1,…,n \).
  • (ii) \(\Sigma_{i\in I} \mathit{A}_i \) is a divisible multigroup of \(G \).

Proof. By using Proposition and following the same logic in Theorem 8, the proofs of (i) and (ii) are established.

Theorem 10. Suppose \(\mathit{A} \) is a multigroup of a divisible cyclic group \(G \), then \(\mathit{A} \) is constant.

Proof. Let \(G= < a >\) and \(x\in G \). Then \(x=pa \), \(p\in \mathbb{N} \). Suppose that \(C_{\mathit{A}}(pa)>C_{\mathit{A}}((p+1)a) \). Because \(G \) is divisible \(\exists \) \(y\in G \) such that \(py=a \). But also \(\exists \) \(q\in \mathbb{N} \) such that \(y=qa \), and so \begin{eqnarray*} C_{\mathit{A}}(pa) & > & C_{\mathit{A}}((p+1)a)=C_{\mathit{A}}((p+1)py)\\ & = & C_{\mathit{A}}((p+1)pqa)=C_{\mathit{A}}((p+1)q(pa))\\ & \geq & C_{\mathit{A}}(pa)\wedge C_{\mathit{A}}(pa)\wedge…\wedge C_{\mathit{A}}(pa)\\ & = & C_{\mathit{A}}(pa), \end{eqnarray*} which is a contradiction.

Also, if \(C_{\mathit{A}}((p+1)a)> C_{\mathit{A}}(pa) \). Then \(\exists \) \(z\in G \) such that \((p+1)z=a \), \(z=ra \), \(r\in \mathbb{N} \) since \(G \) is divisible. Thus

\begin{eqnarray*} C_{\mathit{A}}((p+1)a) & > & C_{\mathit{A}}(pa) = C_{\mathit{A}}(p(p+1)ra) = C_{\mathit{A}}(pr(p+1)a)\\ & \geq & C_{\mathit{A}}((p+1)a)\wedge C_{\mathit{A}}((p+1)a)\wedge …\wedge C_{\mathit{A}}((p+1)a)\\ & = & C_{\mathit{A}}((p+1)a), \end{eqnarray*} which is also a contradiction. Hence, \(C_{\mathit{A}}((p+1)a)=C_{\mathit{A}}(pa) \). Since \(x \) is arbitrary, if \(x=a \), then \[C_{\mathit{A}}(a)=C_{\mathit{A}}(2a)=C_{\mathit{A}}(3a)=…, \] and so \(\mathit{A} \) is a constant multigroup of a divisible cyclic group \(G \).

3.2. Some properties of pure multigroups

Recall that a subgroup \(H \) of a group \(G \) is called pure if \(nH=H\cap nG \), for every positive integer \(n \). Now, we extend the concept to multigroup of \(G \) as follows.

Definition 12. Let \(\mathit{A} \) and \(\mathit{B} \) be multigroups of \(G \) such that \(\mathit{A}\subseteq \mathit{B} \). Then \(\mathit{A} \) is a pure multigroup of \(G \) if \(n\mathit{A}=\mathit{A}\cap n\mathit{B} \) for every \(n\in \mathbb{N} \). Equivalently, \(C_{n\mathit{A}}(x)=C_{\mathit{A}}(x)\wedge C_{n\mathit{B}}(x) \) \(\forall x\in G \) for every \(n\in \mathbb{N} \).

Remark 2. Suppose \(\mathit{A} \), \(\mathit{B} \) and \(\mathit{C} \) are multigroups of \(G \) such that \(\mathit{A} \) and \(\mathit{B} \) are contained in \(\mathit{C} \). If \(\mathit{A} \) and \(\mathit{B} \) are pure, then \(\mathit{A}\cap \mathit{B} \) and \(\mathit{A}\cup \mathit{B} \) are pure multigroups of \(G \) since \(n(\mathit{A}\cap \mathit{B})=(\mathit{A}\cap \mathit{B})\cap n\mathit{C} \) and \(n(\mathit{A}\cup \mathit{B})=(\mathit{A}\cup \mathit{B})\cap n\mathit{C} \).

Definition 13. Let \(\mathit{A} \) and \(\mathit{B} \) be multigroups of \(G \) such that \(\mathit{A}\subseteq \mathit{B} \). Then \(\mathit{A} \) is p-pure if \(p^r\mathit{A}=\mathit{A}\cap p^r\mathit{B} \) for every \(r\in \mathbb{N} \) and \(p \) is prime. Equivalently, if \(C_{p^r\mathit{A}}(x)=C_{\mathit{A}}(x)\wedge C_{p^r\mathit{B}}(x) \) \(\forall x\in G \) for every \(r\in \mathbb{N} \) and \(p \) is prime.

In fact, every p-pure multigroup of a p-divisible group is p-divisible.

Proposition 7. Suppose \(f\colon G\to G^{\prime} \) is an isomorphism of divisible groups, \(\mathit{A} \), \(\mathit{C} \) are multigroups of \(G \) and \(\mathit{B} \), \(\mathit{D} \) are multigroups of \(G^{\prime} \) such that \(\mathit{A} \subseteq \mathit{C} \) and \(\mathit{B} \subseteq \mathit{D} \). If \(\mathit{A} \) and \(\mathit{B} \) are pure multigroups of \(G \) and \(G^{\prime} \), respectively then

  • (i) \(f(\mathit{A}) \) is a pure multigroup of \(G^{\prime} \),
  • (ii) \(f^{-1}(\mathit{B}) \) is a pure multigroup of \(G \).

Proof. Let \(x,y\in G \) and \(w,z\in G^{\prime} \) such that \(f(x,y)=w,z \). Since \(G \), \(G^{\prime} \) are divisible groups for every \(n\in \mathbb{N} \), \(\exists \) \(y\in G \) and \(z\in G^{\prime} \) such that \(ny=x \), \(nz=w \). From Proposition 2, it follows that \(f(\mathit{A}) \) and \(f^{-1}(\mathit{B}) \) are multigroups of \(G \) and \(G^{\prime} \), respectively. Assume that \(\mathit{C} \) and \(\mathit{D} \) are constant, then by Theorems 3 and 4, we deduce that, for any \(w\in G^{\prime} \) \begin{eqnarray*} C_{f(n\mathit{A})}(w) & = & C_{nf(\mathit{A})}(w)=C_{f(\mathit{A})}(w)\wedge C_{nf(\mathit{C})}(w)\\ & = & C_{f(\mathit{A})}(w)\wedge \bigvee_{w=nz} C_{f(\mathit{C})}(z)\\ & = & C_{f(\mathit{A})}(w) \end{eqnarray*} and \begin{eqnarray*} C_{f^{-1}(n\mathit{B})}(x) & = & C_{nf^{-1}(\mathit{B})}(x)=C_{f^{-1}(\mathit{B})}(x)\wedge C_{nf^{-1}(\mathit{D})}(x)\\ & = & C_{f^{-1}(\mathit{B})}(x)\wedge \bigvee_{x=ny} C_{f^{-1}(\mathit{D})}(y)\\ & = & C_{f^{-1}(\mathit{B})}(x). \end{eqnarray*} Hence, the results.

Theorem 11. Let \(\lbrace \mathit{A}_i\rbrace_{i\in I} \) and \(\lbrace \mathit{B}_j\rbrace_{j\in J} \) be families of multigroups of \(G \) such that \(\lbrace \mathit{A}_i\rbrace_{i\in I} \subseteq \lbrace \mathit{B}_j\rbrace_{j\in J} \) and \(\lbrace \mathit{B}_j\rbrace_{j\in J} \) is constant. If \(\lbrace \mathit{A}_i\rbrace_{i\in I} \) is pure, then \(\bigcap_{i\in I} \mathit{A}_i \) is a pure multigroup of \(G \).

Proof. Certainly, \(\bigcap_{i\in I} \mathit{A}_i \) is a multigroup of \(G \) by Proposition 1. If every \(\mathit{A}_i \) is pure, then suppose \(x\in nG \), we have \begin{eqnarray*} C_{n(\bigcap_{i\in I} \mathit{A}_i)}(x) & = & C_{(\bigcap_{i\in I} \mathit{A}_i)\cap n(\bigcap_{j\in J} \mathit{B}_j)}(x)\\ & = & \bigwedge_{i\in I} CM_{\mathit{A}_i}(x)\wedge \bigvee_{x=ny} \bigwedge_{j\in J} C_{\mathit{B}_j}(y)\\ & = & \bigwedge_{i\in I} C_{\mathit{A}_i}(x)\wedge \bigwedge_{j\in J} \bigvee_{x=ny} C_{\mathit{B}_j}(y)\\ & = & \bigwedge_{i\in I} C_{\mathit{A}_i}(x)=C_{\bigcap_{i\in I}\mathit{A}_i}(x). \end{eqnarray*} Again, suppose \(x\notin nG \), then \[C_{n(\bigcap_{i\in I}\mathit{A}_i)}(x)=C_{(\bigcap_{i\in I} \mathit{A}_i)\cap n(\bigcap_{j\in J} \mathit{B}_j)}(x)=0 =C_{\bigcap_{i\in I} \mathit{A}_i}(x). \] Hence, \(\bigcap_{i\in I} \mathit{A}_i \) is a pure multigroup of \(G \).

Theorem 12. Let \(\lbrace \mathit{A}_i\rbrace_{i\in I} \) and \(\lbrace \mathit{B}_j\rbrace_{j\in J} \) be families of multigroups of \(G \) such that \(\lbrace \mathit{B}_j\rbrace_{j\in J} \) is constant and contains \(\lbrace \mathit{A}_i\rbrace_{i\in I} \). If \(\lbrace \mathit{A}_i\rbrace_{i\in I} \) is pure, then

  • (i) \(\bigcup_{i\in I} \mathit{A}_i \) is a pure multigroup of \(G \) for \(\mathit{A}_1\subseteq \mathit{A}_2\subseteq …\subseteq\mathit{A}_n \), \(i=1,…,n \).
  • (ii) \(\Sigma_{i\in I} \mathit{A}_i \) is a pure multigroup of \(G \).

Proof. By synthesizing Proposition 1 and following the same argument in Theorem 11, the proofs of (i) and (ii) are established.

Theorem 13. Suppose \(\mathit{A} \) and \(\mathit{B} \) are multigroups of \(G \) such that \(\mathit{A}\subseteq \mathit{B} \) and \(\mathit{B} \) is constant. Then \(\mathit{A} \) is pure if and only if \(\mathit{A} \) is a divisible multigroup of \(G \).

Proof. Suppose \(\mathit{A} \) is a pure multigroup of \(G \). Then \(n\mathit{A}=\mathit{A}\cap n\mathit{B} \) for \(n\in \mathbb{N} \). Certainly, \(\mathit{A}\cap n\mathit{B}=\mathit{A} \) because \begin{eqnarray*} C_{\mathit{A}}(x)\wedge C_{n\mathit{B}}(x) & = & C_{\mathit{A}}(x)\wedge \bigvee_{ny=x} C_{\mathit{B}}(y)\\ & = & C_{\mathit{A}}(x)\; \forall x\in X. \end{eqnarray*} Thus, \(n\mathit{A}=\mathit{A} \) for \(n\in \mathbb{N} \), and hence \(\mathit{A} \) is a divisible multigroup of \(G \).

Conversely, assume \(\mathit{A} \) is a divisible multigroup of \(G \). Then \(n\mathit{A}=\mathit{A} \) for \(n\in \mathbb{N} \). Since \(\mathit{A}\cap n\mathit{B}=\mathit{A} \), we have \(n\mathit{A}=\mathit{A}\cap n\mathit{B} \) \(n\in \mathbb{N} \), and so \(\mathit{A} \) is a pure multigroup of \(G \).

Proposition 8. Suppose \(\mathit{A} \) and \(\mathit{B} \) be multigroups of \(G \) such that \(\mathit{A}\subseteq \mathit{B} \) and \(\mathit{B} \) is constant. Then \(\mathit{A} \) is pure if and only if it is p-pure for every prime \(p \).

Proof. Similar to Proposition 6.

Proposition 9. Let \(\mathit{A} \) and \(\mathit{B} \) be multigroups of \(G \) such that \(\mathit{A}\subseteq \mathit{B} \) and \(\mathit{B} \) is constant. If \(\mathit{A} \) is a pure multigroup of \(G \), then \(\mathit{A}_{n} \), \(n\in \mathbb{N} \) is a pure subgroup of \(G \) for \(n\le C_{\mathit{A}}(0) \) and \(\mathit{A}^{n} \), \(n\in \mathbb{N} \) is a pure subgroup of \(G \) for \(n\ge C_{\mathtt{A}}(0) \).

Proof. Similar to Theorem 5.

Proposition 10. Suppose \(\mathit{A} \) and \(\mathit{B} \) are multisets of \(G \) bounded by \(G^n \) such that \(\mathit{A}\subseteq \mathit{B} \) and \(\mathit{B} \) is constant. If \(C_{\mathit{A}}(0)=n \) and every \(\mathit{A}_{n} \), \(n\in \mathbb{N} \), is a pure subgroup of \(G \), then \(\mathit{A} \) is a pure multigroup of \(G \).

Proof. Similar to Theorem 6.

Corollary 14. Let \(\mathit{A} \) and \(\mathit{B} \) be multisets of \(G \) bounded by \(G^n \) such that \(\mathit{A}\subseteq \mathit{B} \) and \(\mathit{B} \) is constant. If \(C_{\mathit{A}}(0)=n \) and every \(\mathit{A}^{n} \), \(n\in \mathbb{N} \), is a pure subgroup of \(G \), then \(\mathit{A} \) is a pure multigroup of \(G \).

Proof. Similar to Corollary 7.

4. Conclusion

Multigroup theory is an application of group theory to multisets. Numerous analog ideas of group theory have been extended to multigroups. In this paper, we have introduced the concepts of divisible and pure multigroups with a number of some related results. The interconnection between divisible and pure multigroups and that of divisible and pure groups were established with the aid of multigroup cuts. Additional characterizations of divisible and pure fuzzy multigroups could be explored in future research.

Acknowledgments

The authors would like to thank the referee for improving the readability of the paper.

Author Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Conflict of Interests

The authors declare no conflict of interest.

References:

  1. Knuth, D. (1981). The art of computer programming. Semi Numerical Algorithms, Second Edition, volume 2, Addison-Wesley, Reading, Massachusetts. [Google Scholor]
  2. De Bruijin, N. G. (1983). Denumerations of rooted trees and multisets. Discrete Applied Mathematics, 6, 25-33. [Google Scholor]
  3. Blizard, W.D. (1989). Multiset theory. Notre Dame Journal of Formal Logic, 31, 36-65. [Google Scholor]
  4. Blizard, W. D. (1991). The development of multiset theory. Modern Logic, 1(4), 319-352. [Google Scholor]
  5. Girish, K. P. & John, S.J. (2009). Relations and functions in multiset context. Information Sciences, 179, 758-768. [Google Scholor]
  6. Jena, S.P., Ghosh, S.K. & Tripathy, B.K. (2001). On the theory of bags and lists. Information Sciences, 132,241-254. [Google Scholor]
  7. Singh, D., Ibrahim, A.M., Yohanna, T. & Singh, J.N. (2007). An overview of the applications of multisets. Novi Sad Journal of Mathematics, 37(2), 73-92.[Google Scholor]
  8. Syropoulos, A. (2000, August). Mathematics of multisets. In Workshop on Membrane Computing (pp. 347-358). Springer, Berlin, Heidelberg. [Google Scholor]
  9. Nazmul, Sk., Majumdar, P. & Samanta, S.K. (2013). On multisets and multigroups. Annals of Fuzzy Mathematics and Informatics, 6(3), 643-656. [Google Scholor]
  10. Ejegwa, P.A. (2018). A study of multigroup structure and its acting principles on multiset. A PhD Thesis, Ahmadu Bello University, Zaria, Nigeria. [Google Scholor]
  11. Awolola, J.A. & Ibrahim, A.M. (2016). Some results on multigroups. Quasigroups And Related Systems, 24(2), 169-177. [Google Scholor]
  12. Ejegwa, P.A. & Ibrahim, A.M. (2017). Some homomorphic properties of multigroups. Buletinul Academiei de Stiinte a Republicii Moldova. Matematica, 83(1), 67-76. [Google Scholor]
  13. Ejegwa, P.A. (2017). Upper and lower cuts of multigroups. Prajna International Journal of Mathematical Sciences and Applications, 1(1), 19-26. [Google Scholor]
  14. Ejegwa, P.A. & Ibrahim, A.M. (2018). Homomorphism of cuts of multigroups. Gulf Journal of Mathematics, 6(1), 61-73. [Google Scholor]
  15. Awolola, J.A. (2019). On multiset relations and factor multigroups. Journal South East Asian Journal of Mathematics and Mathematical Sciences, 15(3), 1-10. [Google Scholor]
  16. Awolola, J.A. (2019). On cyclic multigroup family. Ratio Mathematica, 37, 61-68. [Google Scholor]
  17. Awolola, J.A. & Ejegwa, P.A. (2017). On some algebraic properties of order of an element of a multigroup. Quasigroups And Related Systems, 25(1), 21-26. [Google Scholor]
  18. Ejegwa, P.A. (2020). Concept of anti multigroups and its properties. Earthline Journal of Mathematical Sciences, 4(1), 83-97. [Google Scholor]
  19. Ejegwa, P.A. & Ibrahim, A.M. (2017). Normal submultigroups and comultisets of a multigroup. Quasigroups And Related Systems, 25(2), 231-244. [Google Scholor]
  20. Ejegwa, P.A. & Ibrahim, A.M. (2017). Direct product of multigroups and its generalization. International Journal of Mathematical Combinatorics, 4, 1-18. [Google Scholor]
  21. Ejegwa, P.A. & Ibrahim, A.M. (2017). On comultisets and factor multigroups. Theory and Applications of Mathematics & Computer Science, 7(2), 124-140. [Google Scholor]
  22. Ejegwa, P.A. & Ibrahim, A.M. (2019). Some group’s analogous results in multigroup setting. Annals of Fuzzy Mathematics and Informatics, 17(3), 231-245. [Google Scholor]
  23. Ejegwa, P.A. & Ibrahim, A.M. (2020). Some properties of multigroups. Palestine Journal of Mathematics, 9(1), 31-47. [Google Scholor]
  24. Ibrahim, A.M. & Ejegwa, P.A. (2017). Multigroup actions on multiset. Annals of Fuzzy Mathematics and Informatics, 14(5), 515-526. [Google Scholor]
  25. Ibrahim, A.M. & Ejegwa, P.A. (2017). Characteristic submultigroups of a multigroup. Gulf Journal of Mathematics, 5(4), 1-8. [Google Scholor]
  26. Suma, P. & John, S.J. (2020). Multiset approach to algebraic structures: In Handbook of Research on Emerging Applications of Fuzzy Algebraic Structures, IGI Global Publisher, Hershey, Pennsylvania 17033-1240, USA, 78-90. [Google Scholor]
  27. Tripathy, B.C., Debnath, S. & Rakshit, D. (2018). On multiset group. Proyecciones Journal of Mathematics, 37(3), 479-489. [Google Scholor]
  28. Ejegwa, P.A. & Agbetayo, J.M. (2020). Some results on commutators in multigroup framework. Journal of the Ramanujan Mathematical Society, 7(2), 67-82. [Google Scholor]
  29. Debnath, S. & Debnath, A. (2019). Study of ring structure from multiset context. Applied Sciences, 21, 84-90. [Google Scholor]
  30. Sidky, F.I. & Mishref, M.A. (1990). Divisible and pure fuzzy subgroups. Fuzzy Sets and Systems, 34, 377-382. [Google Scholor]
  31. Wenxiang, G. & Tu, L. (1993). The properties of fuzzy divisible groups, Fuzzy Sets and Systems, 56, 195-198. [Google Scholor]
  32. Yamak,S., Kazanc, O. & Davvaz, B. (2008). Divisible and pure intuitionistic fuzzy subgroups and their properties. International Journal of Fuzzy Systems, 10(4), 298-307. [Google Scholor]