1. 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].
2. 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 defined by , 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 if . Definition 3. ([
7])
The root set
or support
of a multiset M, which is denoted by , is the set which contains the distinct elements in the multiset. Hence, is the set of such that . A multiset M is called a regular multiset if The count function of the intersection of two multisets A and B both drawn from X is denoted by and that of their union is denoted .
Multisets A and B are said to be equal if and only if . Denote by , all the multisets whose elements have the multiplicity not more than and the set of all multisets drawn from X. An empty multiset is such that . Cardinality of a multiset M is denoted by . The peak element is such that
Definition 4. - i.
Consider . The insertion of x into A results into a multiset denoted by which has the count function - ii.
Consider . The insertion of A into B or of B into A results into a multiset 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 , is commutative and associative.
Definition 5. - i.
Consider . The removal of x from A results into a multiset denoted by which has the count function - ii.
Consider . 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.
Definition 6. ([
10,
18])
Consider and .- i.
The multiset is such that only contains elements of A which also occur in B. The count function of is denoted by - ii.
The multiset is such that only contains elements of A which do not occur in B. The count function of is denoted by
Operations defined above “” or “” are called selection operations.
Definition 7. ([
7])
Let X be a group and its identity. Then, , a multiset M drawn from X is called a multigroup
if- i.
- ii.
Remark 1. The immediate consequenceof this is that and , for any . We shall call the set of all multigroups drawn from X.
Example 1. Let Let the multiset , and be drawn from X. It is also justifiable to say that X is the support of M and N. Furthermore, the root set of W is .
- i.
, , , and
- ii.
. When two or more multisets are intersected, the minimum multiplicity of the common elements is taken.
- iii.
. When the union of two or more multisets is taken, the maximum multiplicity of the common elements is taken.
- iv.
Neither is , since for all , nor , since for all , but , since for all .
Example 2. - i.
Let be a group with the usual multiplication. is a multigroup since it satisfies Definition 7 and Remark 1.
- ii.
Consider the group with the modulo addition. is a multigroup.
Definition 8. ([
10])
Let , where X is a group.- i.
;
- ii.
We denote a multiset containing only one element x with multiplicity n as –a simple multiset;
- iii.
The complement of the multiset denoted by is such that ;
- iv.
Example 3. Let which is a group with respect to addition modulo 4 and a multiset.
- i.
, the multiplicities of each element in A is doubled;
- ii.
, this multiset comprises only 0 and its multiplicity is 2;
- iii.
and 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, is a group, indeed the subgroup of X [
7].
Proposition 1. ([
7], p. 645)
Let and .- i.
If , then ;
- ii.
If , then ;
- iii.
;
- iv.
;
- v.
if and only if .
Definition 9. ([
7])
Let X and Y be two nonempty sets such that is a mapping. Consider the multisets and . Then,- i.
the image of M under f denoted has the count function - ii.
the inverse image of N under f denoted has the count function .
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 and are mappings. If , , then- i.
;
- ii.
;
- iii.
;
- iv.
;
- v.
;
- vi.
;
- vii.
and .
3. 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 ;
- ii.
.
Proof. Assume that but . By (i), . Then, . This is not possible by Definition 4(ii). Thus, .
Conversely, assume that but . Then . But Then, . This implies that . This is a contradiction. Hence,
□
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, , and .
- i.
Let . If then . If then .
- ii.
If then . If then .
- iii.
.
This will be illustrated by the following Examples.
Example 4. Let , .
- i.
If . Then, , and . Obviously, , and .
- ii.
If, on the other hand, , . Then, , and .
- iii.
In [i], and . Hence, . Also, in [ii] and . Hence, .
Proposition 4. Let A be a multiset drawn from X and . Then, .
Proof. Let . Then and . Thus, . Hence, . It can be concluded that , in which case .
Also, let , then . This implies that and in which case . Then . Thus, □
Proposition 5. Let A and B be multisets drawn from X.
- i.
;
- ii.
if .
Proof. Note that for any non-negative integers n and m, and that if either m or n is 0. Let and .
;
Since , if , and . On the other hand, if , and . .
□
Recall the Definition of
and the complement of a multiset
M denoted
by [
7]. For a non-empty set
Y, define a
characteristic function
We now introduce the complement of
denoted by
.
Definition 10. Let A be a multiset drawn from X and as defined in Definition 8(iii). .
The following results shows that is well-defined.
Proposition 6. - i.
If , then
- ii.
.
- iii.
;
- iv.
Proof. The proof is evident.
Since . Let . But . Then and that implies that . From elementary set theory, .
Let then . Thus, in which case, or . We conclude that or . Hence, and .
Now let . or or both. Then, or or not in both. and . Therefore, . We conclude that and .
Let . Then, and , which implies that and . Thus, and . As a result, . Consequently, .
On the other hand, let . Then, and . Furthermore, if , then and . The consequence is that and . Hence, . □
Then the complement of denoted is well-defined.
4. 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
, 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
and
. This fact will be illustrated by the following Example.
Definition 11. Let be a mapping on two non-empty sets and be a mapping on multisets M and N respectively drawn from X and Y. If for all such that , M and N are Dedekind’s multisets.
Example 5. Let and . Then, the Dedekind’s multiset .
But, following the Definition by Nazmul et al. [
7] which is stated in this article as Definition 2(i), if a multiset
is mapped by
. This is because
and
;
and
; thus
. Hence, Nazmul et al.’s Definition of function on multisets fails for Dedekind’s multisets.
Moreover, in Proposition 2, since and , and f maps X to Y, is undefined but is. Also, is not defined. There should be a multiset say so that is defined. Hence, properties (iv), (v) and (vii) are not true. Against these backgrounds, there is the need to redefine Definition 2(i) and state some properties of this new Definition.
Definition 12. Let X and Y be two non-empty sets and a mapping such that . Then, .
Proposition 7. Let X, Y and Z be three nonempty sets such that and are mappings. If , and with , then
- i.
;
- ii.
;
- iii.
;
- iv.
;
- v.
;
- vi.
;
- vii.
and .
Proof. Suppose and let . ;
Note that . Then, ;
Let . Then, . Let . .
.
.
Let and such that . .
□
The following Examples will illustrate some of the properties in Proposition 7.
Example 6. Let and . Let , , . Then,
and
5. 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:
Example 7. Consider the polynomial . The associated multiset of roots is . If it is intended to get a polynomial , the associated multiset of roots is . If it is intended to find a factor of the polynomial which does not contain the linear factor , the multiset is defined and the removal operation is performed.
Example 8. Consider a unique factorisation of a positive integer N into its primes with the associated multiset of primeswhere are the multiplicities of for . To have a number which is not a multiple of , construct a multiset and perform ; to have a number which is just , perform . Example 9. Again, consider the polynomial with the associated multiset of roots . If it is intended to get a polynomial in which all linear factors is eliminated, define a subset of and perform and the new polynomial has the associated multiset of roots as . It is another way of getting a polynomial whose only factors are and .
Example 10. If tag numbers were to be given to a set of 20 workers in a manufacturing company from the set of numbers with which they are allocated into four different work stations, and if the allocation of these personnel is the multiset , the code to blacklist any of the group would consist the selection operation , where B is the subset of X consisting the tag number of the group to be blacklisted. For instance, if the company wishes to blacklist or remove from their payroll everyone carrying the tag number 1 and 2, and .
6. 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.