PARADIGMA BARU PENDIDIKAN MATEMATIKA DAN APLIKASI ONLINE INTERNET PEMBELAJARAN CONTACT: Fitriani, fitriani.1984@fmipa.unila.ac.id Department of Mathematics, Universitas Lampung, Indonesia The article can be accessed here. https://doi.org/10.15642/mantik.2022.8.1.45-52 The Implementation of Rough Set on a Group Structure Ananto Adi Nugraha1, Fitriani1*, Muslim Ansori1, Ahmad Faisol1 1Department of Mathematics, Universitas Lampung, Indonesia Article history: Received Jul 6, 2021 Revised, May 9, 2022 Accepted, May 31, 2022 Kata Kunci: aproksimasi bawah, aproksimasi atas, himpunan rough, grup rough, sentralizer Abstrak. Diberikan himpunan tak kosong U dan relasi ekuivalensi R pada U. Pasangan berurut (π‘ˆ, 𝑅) disebut ruang aproksimasi. Relasi ekuivalensi pada U membentuk kelas-kelas ekuivalensi yang saling asing. Jika 𝑋 βŠ† π‘ˆ, maka dapat dibentuk aproksimasi bawah dan aproksimasi atas dari 𝑋. Pada penelitian ini dikonstruksi grup rough, subgrup rough pada ruang aproksimasi (π‘ˆ, 𝑅) terhadap operasi biner yang bersifat komutatif maupun non-komutatif. Keywords: lower approximation, upper approximation, rough set, rough group, centralizer. Abstract. Let π‘ˆ be a non-empty set and 𝑅 an equivalence relation on π‘ˆ. Then, (π‘ˆ, 𝑅) is an approximation space. The equivalence relation on π‘ˆ forms disjoint equivalence classes. If 𝑋 βŠ† π‘ˆ, we can form a lower approximation and an upper approximation of 𝑋. If XβŠ†U, then we can form a lower approximation and an upper approximation of X. In this research, rough group and rough subgroups are constructed in the approximation space (π‘ˆ, 𝑅) for commutative and non-commutative binary operations. How to cite: A. A. Nugraha, Fitriani, M. Ansori, and A. Faisol, β€œThe Implementation of Rough Set on a Group Structure”, J. Mat. Mantik, vol. 8, no. 1, pp. 19-26, Jun. 2022. Jurnal Matematika MANTIK Vol. 8, No. 1, June 2022, pp.45-52 ISSN: 2527-3159 (print) 2527-3167 (online) mailto:fitriani.1984@fmipa.unila.ac.id https://doi.org/10.15642/mantik.2021.7.1.9-19 http://u.lipi.go.id/1458103791 Jurnal Matematika MANTIK Vol. 8, No. 1, June 2022, pp.45-52 46 1. Introduction Zdzislaw Pawlak [1] first introduced the rough set theory in 1982 as a mathematical technique to deal with vagueness and uncertainty problems. Various studies have discussed this theory and the possibility of its applications, for example, in data mining [2] and some algebraic structures. In [3], Biswaz and Nanda introduce the rough group and rough ring. Furthermore, Miao et al. [4] improve definitions of a rough group and rough subgroup and prove their new properties. In [5], Jesmalar investigates the homomorphism and isomorphism of the rough group. Furthermore, in [6], Bagirmaz and Ozcan give the concept of rough semigroups on approximation spaces. Then, Kuroki in [7] gives some results about the rough ideal of semigroups. In [8], Davvaz investigates roughness in the ring, and in [9], Davvaz and Mahdavipour give a roughness in modules. In [10], Isaac and Neelima introduce the concept of the rough ideal. Moreover, in [11], Zhang et al. give some properties of rough modules. Davvaz and Malekzadeh give roughness in modules [12]. They use the notion of reference points. Furthermore, Ozturk and Eren give the multiplicative rough modules [13]. Then, Sinha and Prakash introduce the rough exact sequence of rough modules [14]. They also give the injective module based on rough set theory [15]. In [16], KazancΔ± and Davvaz give the rough prime in a ring. Jun in [17] investigate the roughness of ideals in BCK-algebras. Moreover, Dubois and Prade [18] define the rough fuzzy sets. This research focuses on the algebraic aspects by applying a rough set theory to construct a rough group and its subgroups on an approximation space. Moreover, in this research, we discuss the centralizer and the center of a rough group. 2. Preliminaries In this section, there will be several definitions and theorems that can be helpful for this article. Those definitions are written as follows: Definition 1 [19] Define 𝐢𝐺 (𝐴) = {𝑔 ∈ 𝐺 | π‘”π‘Žπ‘” βˆ’1 = π‘Ž for all π‘Ž ∈ 𝐴}. This subset of 𝐺 is called the centralizer of 𝐴 in 𝐺. Since π‘”π‘Žπ‘”βˆ’1 = π‘Ž if and only if π‘”π‘Ž = π‘Žπ‘”, 𝐢𝐺 (𝐴) is the set of elements of 𝐺 which commute with every element of 𝐴. Definition 2 [19] Define 𝑍(𝐺) = {𝑔 ∈ 𝐺 | 𝑔π‘₯ = π‘₯𝑔 for all π‘₯ ∈ 𝐺}, the set of elements commuting with all the elements of 𝐺. This subset of 𝐺 is called the center of 𝐺. Definition 3 [20] Let 𝑅 be an equivalence relation on 𝐴 and π‘Ž ∈ 𝐴. Then the equivalence class of π‘Ž under 𝑅 is [π‘Ž]𝑅 = {π‘₯ ∢ π‘₯ ∈ 𝐴 and π‘Žπ‘…π‘₯}. In other words, the equivalence class of π‘Ž under 𝑅 contains all the elements in 𝐴 to which π‘Ž is related by 𝑅. Definition 4 [3] Let (π‘ˆ, 𝑅) be an approximation space and 𝑋 be a subset of π‘ˆ, the sets, 𝑋 = {π‘₯ | [π‘₯]𝑅 ∩ 𝑋 β‰  βˆ…} (1) 𝑋 = {π‘₯ | [π‘₯]𝑅 βŠ† 𝑋} (2) are called upper approximation and lower approximation of 𝑋. Definition 5 [1] Let 𝑅 be an equivalence relation on universe set π‘ˆ, a pair (π‘ˆ, 𝑅) is called an approximation space. A subset 𝑋 βŠ† π‘ˆ can be defined if 𝑋 = 𝑋, in the opposite case, if 𝑋 βˆ’ 𝑋 β‰  βˆ… then 𝑋 is called a rough set. A. A. Nugraha, Fitriani, M. Ansori, and A. Faisol The Implementation of Rough Set on a Group Structure 47 Definition 6 [3] Let 𝐾 = (π‘ˆ, 𝑅) be an approximation space and βˆ— be a binary operation defined on π‘ˆ. A subset 𝐺 of universe π‘ˆ is called a rough group if the following properties are satisfied: i. βˆ€π‘₯, 𝑦 ∈ 𝐺, π‘₯ βˆ— 𝑦 ∈ 𝐺; ii. Association property holds in 𝐺; iii. βˆƒπ‘’ ∈ 𝐺 such that βˆ€π‘₯ ∈ 𝐺, π‘₯ βˆ— 𝑒 = 𝑒 βˆ— π‘₯ = π‘₯; 𝑒 is called the rough identity element of 𝐺; iv. βˆ€π‘₯ ∈ 𝐺, βˆƒπ‘¦ ∈ 𝐺 such that π‘₯ βˆ— 𝑦 = 𝑦 βˆ— π‘₯ = 𝑒; 𝑦 is called the rough inverse element of π‘₯ in 𝐺. We will give the example of rough group in Section 3. The following theorem gives the characteristics of a rough group. Theorem 1. [3] A necessary and sufficient condition for a subset 𝐻 of rough group 𝐺 to be a rough subgroup is that: (i) βˆ€π‘₯, 𝑦 ∈ 𝐻, π‘₯ βˆ— 𝑦 ∈ 𝐻; (ii) βˆ€π‘₯ ∈ 𝐻, π‘₯βˆ’1 ∈ 𝐻. Several steps will be taken to achieve the objectives of this research. Those steps are written as follows: 1. Determine a set π‘ˆ, where π‘ˆ β‰  βˆ…. 2. Define a relation 𝑅 on π‘ˆ. 3. Shows that a relation 𝑅 is the equivalence relation on π‘ˆ. 4. Determine equivalence classes on π‘ˆ. 5. Determine a set 𝐺, where 𝐺 βŠ† π‘ˆ and 𝐺 β‰  βˆ…. 6. Determine the approximation space, lower approximation on 𝐺 (𝐺), and upper approximation on 𝐺 (𝐺). 7. Determine a rough set π΄π‘π‘Ÿ(𝐺) = (𝐺, 𝐺). 8. Determine a binary operation βˆ— on the set 𝐺. 9. Shows that 〈𝐺,βˆ—βŒͺ is a rough group in the approximation space that has been constructed. 10. Determine a rough subgroup 〈𝐻,βˆ—βŒͺ from a rough group 〈𝐺,βˆ—βŒͺ. 3. Rough Group Construction 3.1 Commutative Rough Group Construction In this section, we will give the construction of commutative rough group. Example 3.1. Given a non-empty set π‘ˆ = {0,1,2,3, … ,99}. We define a relation 𝑅 on the set π‘ˆ, that is, for every π‘Ž, 𝑏 ∈ π‘ˆ apply π‘Žπ‘…π‘ if and only if π‘Ž βˆ’ 𝑏 = 7π‘˜ where π‘˜ ∈ β„€. Furthermore, it can be shown that relation 𝑅 is reflexive, symmetrical, and transitive. So, relation 𝑅 is an equivalence relation on π‘ˆ. As a result, relation 𝑅 produces some disjoint partitions called equivalence classes. The equivalence classes are written as follows: 𝐸1 = [1] = {1,8,15,22,29,36,43,50,57,64,71,78,85,92,99}; 𝐸2 = [2] = {2,9,16,23,30,37,44,51,58,65,72,79,86,93}; 𝐸3 = [3] = {3,10,17,24,31,38,45,52,59,66,73,80,87,94}; 𝐸4 = [4] = {4,11,18,25,32,39,46,53,60,67,74,81,88,95}; 𝐸5 = [5] = {5,12,19,26,33,40,47,54,61,68,75,82,89,96}; Jurnal Matematika MANTIK Vol. 8, No. 1, June 2022, pp.45-52 48 𝐸6 = [6] = {6,13,20,27,34,41,48,55,62,69,76,83,90,97}; 𝐸7 = [0] = {0,7,14,21,28,35,42,49,56,63,70,77,84,91,98}. Given a non-empty subset 𝑋 βŠ† π‘ˆ that is 𝑋 = {10,20,30,40,50,60,70,80,90}. Because the set π‘ˆ β‰  βˆ… and 𝑅 is an equivalence relation on π‘ˆ, a pair (π‘ˆ, 𝑅) is the approximation space. Furthermore, it can be obtained the lower approximation and upper approximation of 𝑋, that is: 𝑋 = βˆ…. 𝑋 = 𝐸1 βˆͺ 𝐸2 βˆͺ 𝐸3 βˆͺ 𝐸4 βˆͺ 𝐸5 βˆͺ 𝐸6 βˆͺ 𝐸7 = π‘ˆ. After determining the lower approximation and upper approximation of 𝑋, then given a binary operation +100 on 𝑋. Here is given Table Cayley of 𝑋 with the operation +100. Table 1. Table Cayley of 𝑋 with the operation +100 +𝟏𝟎𝟎 𝟏𝟎 𝟐𝟎 πŸ‘πŸŽ πŸ’πŸŽ πŸ“πŸŽ πŸ”πŸŽ πŸ•πŸŽ πŸ–πŸŽ πŸ—πŸŽ 𝟏𝟎 20 30 40 50 60 70 80 90 0 𝟐𝟎 30 40 50 60 70 80 90 0 10 πŸ‘πŸŽ 40 50 60 70 80 90 0 10 20 πŸ’πŸŽ 50 60 70 80 90 0 10 20 30 πŸ“πŸŽ 60 70 80 90 0 10 20 30 40 πŸ”πŸŽ 70 80 90 0 10 20 30 40 50 πŸ•πŸŽ 80 90 0 10 20 30 40 50 60 πŸ–πŸŽ 90 0 10 20 30 40 50 60 70 πŸ—πŸŽ 0 10 20 30 40 50 60 70 80 i. Based on Table 1, it is proved that for each π‘₯, 𝑦 ∈ 𝑋, apply π‘₯(+100)𝑦 ∈ 𝑋. ii. For each π‘₯, 𝑦, 𝑧 ∈ 𝑋, the associative property that is (π‘₯(+100)𝑦)(+100)𝑧 = π‘₯(+100)(𝑦(+100)𝑧) holds in 𝑋. The operation +100 is associative in 𝑋. iii. There is a rough identity element 𝑒 ∈ 𝑋 that is 0 ∈ 𝑋 such that for each π‘₯ ∈ 𝑋, π‘₯(+100)𝑒 = 𝑒(+100)π‘₯ = π‘₯. Table 2. Table of element inverse of the set 𝑋 𝒙 10 20 30 40 50 60 70 80 90 π’™βˆ’πŸ 90 80 70 60 50 40 30 20 10 iv. For each π‘₯ ∈ 𝑋, there is a rough inverse element of π‘₯ that is π‘₯βˆ’1 ∈ 𝑋 such that π‘₯(+100)π‘₯ βˆ’1 = π‘₯βˆ’1(+100)π‘₯ = 𝑒. Based on Table 2, it can be seen that each element π‘₯ in the set 𝑋, then the inverse element π‘₯βˆ’1 is also in 𝑋. Since those four conditions have been satisfied, then βŒ©π‘‹, +100βŒͺ is a rough group. 3.2 Non-Commutative Rough Group Construction In this section, we will give the construction of non-commutative rough group. Example 3.2. Given a permutation group 𝑆3 to the operation of permutation multiplication " ∘. " For example, take a subgroup 𝐺 = {(1), (12)} of the group 𝑆3. For π‘₯, 𝑦 ∈ 𝑆3, define a relation 𝑅 that is π‘₯𝑅𝑦 if and only if π‘₯ ∘ 𝑦 βˆ’1 ∈ 𝐺. Furthermore, it can be shown that relation 𝑅 is reflexive, symmetrical, and transitive. So, relation 𝑅 is an equivalence relation on 𝑆3. As a result, relation 𝑅 produces some disjoint partitions called equivalence classes. Suppose π‘Ž is the element in 𝑆3, the equivalence class containing π‘Ž defined as follows: [π‘Ž]𝑅 = {π‘₯ ∈ 𝑆3 | π‘₯π‘…π‘Ž} = {π‘₯ ∈ 𝑆3 | π‘₯ ∘ π‘Ž βˆ’1 ∈ 𝐺} A. A. Nugraha, Fitriani, M. Ansori, and A. Faisol The Implementation of Rough Set on a Group Structure 49 = {π‘₯ ∈ 𝑆3 | π‘₯ ∘ π‘Ž βˆ’1 = 𝑔, 𝑔 ∈ 𝐺} = {π‘₯ ∈ 𝑆3 | π‘₯ = 𝑔 ∘ π‘Ž, 𝑔 ∈ 𝐺} = {𝑔 ∘ π‘Ž | 𝑔 ∈ 𝐺} (3) Based on the Equation (3), this is corresponding to the definition of the right coset of 𝐺 in 𝑆3 that is πΊπ‘Ž = {𝑔 ∘ π‘Ž | 𝑔 ∈ 𝐺}. Thus, the right cosets of 𝐺 in 𝑆3 as follows: 𝐺 ∘ (1) = 𝐺 ∘ (12) = {(1), (1 2)}; 𝐺 ∘ (1 3) = 𝐺 ∘ (1 2 3) = {(1 3), (1 2 3)}; 𝐺 ∘ (2 3) = 𝐺 ∘ (1 3 2) = {(2 3), (1 3 2)}. Given a non-empty subset π‘Œ βŠ† 𝑆3 that is π‘Œ = {(1), (1 2), (1 2 3), (1 3 2)}. Furthermore, it can be obtained the lower approximation and upper approximation of π‘Œ, that is: π‘Œ = {(1), (1 2)}. π‘Œ = {(1), (1 2)} βˆͺ {(1 3), (1 2 3)} βˆͺ {(2 3), (1 3 2)} = 𝑆3. After determining the lower approximation and upper approximation of π‘Œ, then we give a permutation multiplication " ∘ " on π‘Œ. We give a Table Cayley of π‘Œ with the operation of permutation multiplication as follows. Table 3. Table Cayley of π‘Œ with the operation of permutation multiplication ∘ (1) (1 2) (1 2 3) (1 3 2) (1) (1) (1 2) (1 2 3) (1 3 2) (1 2) (1 2) (1) (2 3) (1 3) (1 2 3) (1 2 3) (1 3) (1 3 2) (1) (1 3 2) (1 3 2) (2 3) (1) (1 2 3) i. Based on Table 3, it is proved that for each π‘₯, 𝑦 ∈ π‘Œ, apply π‘₯ ∘ 𝑦 ∈ π‘Œ. ii. For each π‘₯, 𝑦, 𝑧 ∈ π‘Œ, the associative property that is (π‘₯ ∘ 𝑦) ∘ 𝑧 = π‘₯ ∘ (𝑦 ∘ 𝑧) holds in π‘Œ. The operation ∘ is associative in π‘Œ. iii. There is a rough identity element 𝑒 ∈ π‘Œ that is (1) ∈ π‘Œ such that for each 𝑦 ∈ π‘Œ, 𝑦 ∘ 𝑒 = 𝑒 ∘ 𝑦 = 𝑦. Table 4. Table of inverse element of π‘Œ π’š (1) (1 2) (1 2 3) (1 3 2) π’šβˆ’πŸ (1) (1 2) (1 3 2) (1 2 3) iv. For each 𝑦 ∈ π‘Œ, there is a rough inverse element of 𝑦 that is π‘¦βˆ’1 ∈ π‘Œ such that 𝑦 ∘ π‘¦βˆ’1 = π‘¦βˆ’1 ∘ 𝑦 = 𝑒. Based on Table 4, it can be seen that each element 𝑦 in the set π‘Œ, then the inverse element π‘¦βˆ’1 is also in the set π‘Œ. Since those four conditions have been satisfied, then βŒ©π‘Œ,∘βŒͺ is a rough group. 4. Subgroup Construction of the Rough Group After constructing a commutative rough group and a non-commutative rough group, we will construct subgroups of each of the previously constructed rough groups. 4.1 Subgroup Construction of Commutative Rough Group Before it has been obtained, a commutative rough group 𝑋 with the operation " +100 ". Furthermore, we will construct several subgroups that can be formed from the rough group 𝑋. Based on Theorem 1, we can obtain several subgroups from the rough group 𝑋 that written as follows: Jurnal Matematika MANTIK Vol. 8, No. 1, June 2022, pp.45-52 50 1. 〈{20,30,40,50,60,70,80}, +100βŒͺ; 2. βŒ©π‘‹, +100βŒͺ. After determining several subgroups from the rough group 𝑋 that is commutative, then we will determine the centralizer and the center of subgroups in rough group 𝑋. Suppose all subgroups of rough group 𝑋 above are denoted by 𝐴. Based on Definition 1, the centralizer 𝐴 in 𝑋 is the set where is the element of 𝑋 is commutative with each element of 𝐴. Here is given the table that shows the centralizer of subgroups 𝐴 in rough group 𝑋. Table 5. Table of the centralizer of subgroups 𝐴 in rough group 𝑋 𝑨 π‘ͺ𝑿 (𝑨) {20,30,40,50,60,70,80} 𝑋 𝑋 = {10,20,30,40,50,60,70,80,90} 𝑋 Since the operation +100 of rough group 𝑋 is commutative, the centralizer of subgroups in rough group 𝑋 is 𝑋 itself. Based on Definition 2, the center of 𝑋 is the set of elements that is commutative with all elements of 𝑋. Because rough group 𝑋 using commutative operation, the center of rough group 𝑋 is 𝑋 itself, or it can be written as 𝑍(𝑋) = 𝑋. Using Theorem 1, we will show that the center of rough group 𝑋 that is 𝑍(𝑋) = 𝑋 is a rough subgroup of rough group 𝑋. i. Based on Table 1, it is proved that for each π‘₯, 𝑦 ∈ 𝑍(𝑋) = 𝑋, apply π‘₯(+100)𝑦 ∈ 𝑍(𝑋) = 𝑋 = π‘ˆ. ii. For each π‘₯ ∈ 𝑍(𝑋) = 𝑋, there is an inverse element of π‘₯ that is π‘₯βˆ’1 ∈ 𝑍(𝑋) = 𝑋. Based on Table 2, it can be seen that if each element π‘₯ in the set 𝑋 then the inverse element of π‘₯ also in the set 𝑋. Two conditions on Theorem 1 have been satisfied, so it is proved that the center of rough group 𝑋 that is 𝑍(𝑋) = 𝑋 is a rough subgroup of rough group 𝑋. 4.2 Subgroup Construction of Non-Commutative Rough Group Before it has been obtained a non-commutative rough group π‘Œ with the operation of permutation multiplication " ∘. " Furthermore, we will construct several subgroups that can be formed from the rough group π‘Œ. Based on Theorem 1, we can obtain several subgroups from the rough group π‘Œ that written as follows: 1. 〈{(1)},∘βŒͺ; 2. 〈{(1), (1 2)},∘βŒͺ; 3. 〈{(1), (1 2 3), (1 3 2)},∘βŒͺ; 4. 〈{(1 2), (1 2 3), (1 3 2)},∘βŒͺ; 5. βŒ©π‘Œ,∘βŒͺ. After determining several subgroups from the rough set π‘Œ that are non-commutative, then we will determine the centralizer and the center of subgroups in rough group π‘Œ. Suppose all subgroups of rough group π‘Œ above are denoted by 𝐡. Based on Definition 1, the centralizer 𝐡 in π‘Œ is the set where is the element of π‘Œ is commutative with each element of 𝐡. Here is given the table that shows the centralizer of subgroups 𝐡 in rough group π‘Œ. Table 6. Table of the centralizer of subgroups 𝐡 in rough group π‘Œ A. A. Nugraha, Fitriani, M. Ansori, and A. Faisol The Implementation of Rough Set on a Group Structure 51 𝑩 π‘ͺ𝒀(𝑩) {(1)} π‘Œ {(1), (1 2)} {(1), (12)} {(1), (1 2 3), (1 3 2)} {(1)} {(1 2), (1 2 3), (1 3 2)} {(1)} π‘Œ = {(1), (1 2), (1 2 3), (1 3 2)} {(1)} Based on Definition 2, the center of π‘Œ is the set of elements that is commutative with all elements of π‘Œ. From the Definition 2, the center of rough group π‘Œ is an identity element, or it can be written as 𝑍(π‘Œ) = {(1)}. Using Theorem 1, we will show that the center of rough group π‘Œ that is 𝑍(π‘Œ) = {(1)} is a rough subgroup of rough group π‘Œ. Previously, determine the upper approximation of 𝑍(π‘Œ) that is 𝑍(π‘Œ) = {(1), (1 2)}. i. For (1) ∈ 𝑍(π‘Œ), apply (1) ∘ (1) = (1) ∈ 𝑍(π‘Œ). ii. For (1) ∈ 𝑍(π‘Œ), there is an inverse element of (1) that is (1) ∈ 𝑍(π‘Œ). Based on Theorem 1, because the two conditions have been satisfied, it is proved that the center of rough group π‘Œ that is 𝑍(π‘Œ) = {(1)} is a rough subgroup of rough group π‘Œ. 5 Conclusions Based on the results, we construct a rough group, a rough subgroup in the case of the commutative and non-commutative binary operation. Furthermore, the centralizer of a commutative rough subgroup is also a rough group. In comparison, the centralizer of the subgroup of a non-commutative rough group must contain the identity element and the center. The center of each rough group, both commutative and non-commutative, are subgroups of each rough group. References [1] Z. Pawlak, β€œRough Sets,” Int. J. Comput. Inf. Sci., vol. 11, no. 5, pp. 341–356, 1982, doi: https://doi.org/10.1007/BF01001956. [2] Z. Pawlak, Rough sets-theoretical aspects of reasoning about data. Dordrecht, Kluwer, 1991. [3] R. Biswas and S. Nanda, β€œRough Groups and Rough Subring,” Bull. Polish Acad. Sci. Math., vol. 42, pp. 251–254, 1994. [4] D. Miao, S. Han, D. Li, and L. Sun, β€œRough group, Rough subgroup, and their properties,” in Lecture Notes in Artificial Intelligence, 3641, 2005, pp. 104–113. [5] L. Jesmalar, β€œHomomorphism and Isomorphism of Rough Group,”, International Journal of Advance Research. Ideas and Innovations in Technology, vol. 3, no. 3, pp. 1382–1387, 2017. [6] N. Bagirmaz and A. Ozcan, β€œRough Semigroups on Approximation Spaces,” Int. J. Algebr., vol. 9, no. 7, pp. 339–350, 2015. [7] N. Kuroki, β€œRough ideals in semigroups,” Inform. Sci., vol. 100, pp. 139–163, 1997. [8] B. Davvaz, β€œRoughness in rings,” Inf. Sci. (Ny)., vol. 164, pp. 147–163, 2004. [9] B. Davvaz and M. Mahdavipour, β€œRoughness in modules,” Inf. Sci. (Ny)., vol. 176, pp. 3658–3674, 2006. [10] P. Isaac, Neelima, C.A., "Rough Ideals and Their Properties," Journal of Global Jurnal Matematika MANTIK Vol. 8, No. 1, June 2022, pp.45-52 52 Research in Mathematical Archives, vol. 1, no. 6, pp 90-98, 2013. [11] Q. F. Zhang, A. M. Fu, and S. x. Zhao, β€œRough modules and their some properties,” in Proceeding of the Fifth International Conference on Machine Learning and Cybernetics, 2006. [12] B. Davvaz and A. Malekzadeh, "Roughness in Modules by using the Notion of Reference Points," Iranian Journal of Fuzzy Systems,vol 10, no. 8, pp 109-124, 2013. [13] E. Ozturk and S. Eren, "On Multiplicative Rough Modules," International Journal of Algebra, vol.7, no 15, 735-742, 2013. [14] A. K. Sinha and A. Prakash, β€œRough Exact Sequences of Modules,” Int. J. Appl. Eng. Res., 2016. [15] A. K. Sinha and A. Prakash, β€œInjective Module Based on Rough Set Theory,” Cogent Mathematics, Vol. 2, 2015. [16] O. KazancΔ± and B. Davvaz, "On the structure of Rough prime (primary) ideals and rough fuzzy prime (primary) ideals in commutative rings", Information Sciences, vol. 178, no. 5, pp. 1343-1354, 2008. [17] Y. B. Jun, "Roughness of ideals in BCK-algebras," Scientiae Math. Japonica, vol. 57, no. 1, pp. 165-169, 2003. [18] D. Dubois and H. Prade, "Rough Fuzzy Sets and Fuzzy Rough Sets," Int. J. General Syst., vol. 17, pp. 191-209, 1990. [19] D. S. Dummit and R. M. Foote, Abstract Algebra, Third Edit. John Wiley and Sons, Inc., 2004. [20] W. Barnier and N. Feldman, Introduction to Advanced Mathematics. New Jersey: Prentice Hall, Inc., 1990.