Results on Functions on Dedekind Multisets

Many real-life problems are well represented only by sets which allow repetition(s), such as the multiset. Although not limited to the following, such cases may arise in a database query, chemical structures and computer programming. The set of roots of a polynomial, say f (x), has been found to correspond to a multiset, say F. If f (x) and g(x) are polynomials whose sets of roots respectively correspond to the multisets F(x) and G(x), the set of roots of their product, f (x)g(x), corresponds to the multiset F ⊎ G, which is the sum of multisets F and G. In this paper, some properties of the algebraic sum of multisets ⊎ and some results on selection are established. Also, the count function of the image of any function on Dedekind multisets is defined and some of its properties are established. Some applications of these multisets are also given.


Introduction
Let us start with the words of Prof. Irina Cristea that motivated us for this study; in many cases Symmetry plays a fundamental role in our daily lives and in the study of the structure of different objects in physics, chemistry, biology, mathematics, architecture, arts, sociology, linguistics, etc. For example, the structure of molecules is well explained by their symmetry properties, described by symmetry elements and symmetry operations. A symmetry operation is a change, a transformation after which certain objects remain invariant, such as rotations, reflections, inversions, or permutation operations. Until now, the most efficient way to better describe symmetry, is using mathematical tools offered by group theory.
The notion of multiset can be traced to as far back as 1888 where Dedekind in [1] said that an element of a set may belongs to it more than once. In 1989, Blizard in his paper [2] developed a first-order two-sorted multi set theory for multisets that "contains" classical set theory. Later on, in 1993 [3], he identified a kind of multiset which is based on the function of the root set. This idea was primarily from the work of Dedekind in [1].
However, Syropoulos in [4] also studied various operations on multisets and extended his work to category of multisets. Wildberger in [5] considered the use of multisets in data structure and also related it to tropical mathematics and gave some applications of it responding to meet catalogue of orders emanating from various customers from a set of inventory of a sales company. Knuth [6] related multisets to various aspects of computer programming.
Multisets are furthermore studied in the form of, and substituted with, numerous concepts such as bag, fireset (finitely repeated element set), heap, bunches, etc. These concepts have all been studied by various mathematicians with different applications.
To be specific, Nazmul et al. [7] extended the study of multisets to multigroup and other related algebraic properties as in the classical group. Concepts such as multicosets, [8,9] symmetric multigroup, and many others have all been studied [10][11][12]. Yohanna and Simon studied symmetric groups under multiset in [13]. Congruences of Multialgebra were studie by Ameri and Rosenberg in [14]. Even if the list of related papers is long we would like to draw the readers attention only to some of them, e.g., [4,5,15,16].
In this paper, we present some of the operations on multisets and some applications to real-life problems, number theory and management [17].

Preliminaries
In this paper, we shall use X to denote a non-empty set.
Definition 1 ([7,10]). A multiset M drawn from a set X is denoted by the count function C M : X −→ N defined by C M (x) = n ∈ N, the multiplicity or number of occurrence of x in M, where N is the set of non-negative integers.

Definition 2 ([7]
). Let multisets A and B be drawn from X. A is said to be a submultiset of B and is denoted

Definition 3 ([7]
). The root set or support of a multiset M, which is denoted by M * , is the set which contains the distinct elements in the multiset. Hence, M * is the set of The count function of the intersection of two multisets A and B both drawn from X is denoted by Multisets A and B are said to be equal if and only if C A (x) = C B (x). Denote by [X] α , all the multisets whose elements have the multiplicity not more than α and MS(X) the set of all multisets drawn from X. An empty multiset φ is such that C φ (x) = 0, ∀x ∈ X. Cardinality of a multiset M is denoted by |M| = ∑ C M (x), ∀x ∈ M. The peak element x ∈ M is such that C M (x) ≥ C M (y), ∀y ∈ M.

Definition 4 ([18]). i.
Consider A ∈ MS(X). The insertion of x into A results into a multiset denoted by C = x A which has the count function ii. Consider A, B ∈ MS(X). The insertion of A into B or of B into A results into a multiset C which has the count function denoted by It should be noted that the operation of insertion ( ) on the set of all multisets drawn from X, that is MS(X), is commutative and associative.

Definition 5 ([18]). i.
Consider A ∈ MS(X). The removal of x from A results into a multiset denoted by D = A x which has the count function ii. Consider A, B ∈ MS(X). The removal of B from A results into a multiset which has the count function denoted by It should be noted that the removal operation is neither commutative nor associative. Besides, it is also possible to make some kind of selection in multisets using the following operations.
The multiset E = A ⊗ B is such that E only contains elements of A which also occur in B. The count function of E is denoted by ii. The multiset F = A B is such that F only contains elements of A which do not occur in B. The count function of F is denoted by Operations defined above " ⊗" or " " are called selection operations.

Definition 7 ([7]
). Let X be a group and e ∈ X its identity. Then, ∀x, y ∈ X, a multiset M drawn from X is called a multigroup if for any x ∈ X. We shall call MG(X) the set of all multigroups drawn from X.  When two or more multisets are intersected, the minimum multiplicity of the common elements is taken. iii. M ∪ N = {1, 1, 1, 1, 2, 2, 3, 3, 3, 4, 4, 4, 5, 5}. When the union of two or more multisets is taken, the maximum multiplicity of the common elements is taken. iv.
We denote a multiset containing only one element x with multiplicity n as [n] x -a simple multiset; iii. The complement of the multiset M ∈ [X] α denoted by M is such that C M (x) = α − C M (x); iv. nA = {x n , ∀x ∈ A , n is the multiplicity of each element that appears in nA}. ii. [2] 0 = {0, 0}, this multiset comprises only 0 and its multiplicity is 2; These are the sets of elements of A respectively with multiplicities 2, 1, 0 and 3.

Remark 2.
For a multigroup A drawn from a group X, A n is a group, indeed the subgroup of X [7].
The following Propositions were proved in [7]. But we shall later show that the items (iv), (v) and (vii) are not true and that the Proposition 2 needs to be restated.

Proposition 2 ([7]
). Let X, Y and Z be three nonempty sets such that f : X −→ Y and g :

Some Illustrations of Properties of Operations on Multisets
In the following section we now introduce some new results and properties of defined operations.

Proposition 3. The operation in Definition 4(ii) is such that:
i.
Let A be a multiset drawn a nonempty set X. The n insertion of A into itself denoted n A = nA; By Definition 4(ii), ii. Assume that A A = A but A = ∅. By (i), A A = 2A. Then, 2A = A. This is not possible by Definition 4(ii). Thus, A = ∅.

Conversely, assume that
This implies that A A = ∅. This is a contradiction. Hence, A A = A.
Remark 3. Some properties of the selection operation in Definition 6(i) and in Definition 6(ii) will be illustrated here. Let X be a nonempty set, A ∈ MS(X), B ⊆ X and E = A B. i.
This will be illustrated by the following Examples.
Proof. Note that for any non-negative integers n and m, max(n, m) ≤ n + m and that max(n, m) = n + m if either m or n is 0. Let C A (x) = n and C B (x) = m. i.
Recall the Definition of A n and the complement of a multiset M denoted M by [7]. For a non-empty set Y, define a characteristic function We now introduce the complement of A n denoted by A n .

Definition 10.
Let A be a multiset drawn from X and A n as defined in Definition 8(iii). A n = {x ∈ X : µ A n (x) = 0 and C M (x) < n}.
The following results shows that A n is well-defined.
Then x ∈ B n and that implies that A n ⊆ B n . From elementary set theory, B n ⊆ A n . iii. Let x ∈ (A ∩ B) n then C (A∩B) (x) < n. Thus, min{C A (x), C B (x)} < n in which case, C A (x) < n or C B (x) < n. We conclude that x ∈ A n or x ∈ B n . Hence, x ∈ (A n ∪ B n ) and (A ∩ B) n ⊆ (A n ∪ B n ). Now let x ∈ (A n ∪ B n ). x ∈ A n or x ∈ B n or both. Then, x / ∈ A n or x / ∈ B n or not in both.
Then, x ∈ A n and x ∈ B n , which implies that x / ∈ A n and x / ∈ B n . Thus, C A (x) < n and C B (x) < n. As a result, Then the complement of A n denoted A n is well-defined.

Results on Function on Multisets
Dedekind, in his paper "Was sind und was sollen die Zahlen?" had said that "the frequency-number of an image is the number of its preimages" [1]. Hence, if there are n elements in a domain X (of a function f mapping X to Y) which are mapped to an element y ∈ Y, then y has frequency n so that it is an n-fold element of Y. This defines a kind of multiset (Dedekind's multiset) denoted by M f and |dom( f )| = |M f |. This fact will be illustrated by the following Example.
Definition 11. Let f : X → Y be a mapping on two non-empty sets and f : M → N be a mapping on multisets M and N respectively drawn from X and Y. If C N (y) = C M (x) for all y ∈ Y such that f (x) = y, M and N are Dedekind's multisets.  Proposition 7. Let X, Y and Z be three nonempty sets such that f : X −→ Y and g : Y −→ Z are mappings.
The following Examples will illustrate some of the properties in Proposition 7.

Some Applications of Operations on Multiset
This chapter offers some possible applications: we are going to draw our attention to applying "removal and selection" operations defined in Definitions 5 and 6, respectively. Those may be and are used for mathematical sorting and blacklisting.
Informatics understands the expressions blacklist or blocklist as lists containing something forbidden; conversely, the so-called whitelist is used to create a list of entities, which are to be allowed. Server lists (more precisely, their IP addresses) are among of the most common uses; it is unsuitable to receive e-mails from them because they send spams. The blacklist is also used in programs for instant messaging to create a list of users from which the information sent is not to be received; they can also serve for the same purpose on social networks. Similarly, a list of e-mail addresses from which messages are not to be received can be created in an e-mail client or at an e-mail provider.
Both blacklists and whitelists are sometimes used at the same time. A typical case is a situation when a program uses its algorithm; an antispam filter can be used as an example of such a program. It decides according to the e-mail content, whether it is spam. If a user needs to inform the filter that only spams and no useful e-mails are received from a particular e-mail address, he/she places this address on the blacklist. Then, the filter will automatically classify e-mails sent from that address as spams. On the other hand, if a user needs to inform the filter that he/she receives no spams from a particular address or he/she does not want to miss any important e-mail, he/she places this address on the whitelist. Then, the filter will treat all messages from that particular address as useful and will not classify them as spam.
We also used a so-called yellow list containing for instance the IP address list of e-mail servers, which predominantly send non-spam e-mails, however, sometimes there are some spam as well, e.g., yahoo, Hotmail and Gmail. The yellow list comprises servers, which should never appear on the blacklist (for Example because of mistakes or misprints). The yellow list is checked as the first one and if a server is listed there, blacklist tests are ignored afterwards.
Operations such as removal " " and selection " " and " " are useful for the above mentioned applications: see previous sections of this paper. See also [6]. Let us give several Examples: 3 . The associated multiset of roots

Conclusions
The theory of multisets is an important generalization of the classical set theory which has emerged by violating a basic property of classical sets that an element can belong to a set just once. It can be used in many applications, e.g., data encryption, data mining, coding theory, decision making or to write a mathematical programme which could do some sorting of data. The algebraic structure of such data could be studied by applying group theory to a multiset.

Conflicts of Interest:
The authors declare no conflict of interest. The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.