ON ROUGH (m, n) BIΓHYPERIDEALS IN ΓSEMIHYPERGROUPS


 Doreen Ford
 2 years ago
 Views:
Transcription
1 U.P.B. Sci. Bull., Series A, Vol. 75, Iss. 1, 2013 ISSN ON ROUGH m, n) BIΓHYPERIDEALS IN ΓSEMIHYPERGROUPS Naveed Yaqoob 1, Muhammad Aslam 1, Bijan Davvaz 2, Arsham Borumand Saeid 3 In this paper, we introduced the concept of m, n) biγhyperideals and rough m, n) biγhyperideals in Γsemihypergroups and some properties of m, n) biγhyperideals in Γsemihypergroups are presented. Keywords: Γsemihypergroups, Rough sets, Rough m, n) biγhyperideals. MSC2010: 20N20, 20M Introduction The notion of m, n)ideals of semigroups was introduced by Lajos [13, 14]. Later m, n) quasiideals and m, n) biideals and generalized m, n) biideals were studied in various algebraic structures. The notion of a rough set was originally proposed by Pawlak [16] as a formal tool for modeling and processing incomplete information in information systems. Some authors have studied the algebraic properties of rough sets. Kuroki, in [12], introduced the notion of a rough ideal in a semigroup. Anvariyeh et al. [3], introduced Pawlak s approximations in Γsemihypergroups. Abdullah et al. [1], introduced the notion of Mhypersystem and Nhypersystem in Γsemihypergroups and Aslam et al. [6], studied rough Mhypersystems and fuzzy Mhypersystems in Γsemihypergroups, also see [4, 5, 19]. Yaqoob et al. [18], Applied rough set theory to Γhyperideals in left almost Γsemihypergroups. The algebraic hyperstructure notion was introduced in 1934 by a French mathematician Marty [15], at the 8th Congress of Scandinavian Mathematicians. He published some notes on hypergroups, using them in different contexts: algebraic functions, rational fractions, non commutative groups. In 1986, Sen and Saha [17], defined the notion of a Γsemigroup as a generalization of a semigroup. One can see that Γsemigroups are generalizations of semigroups. Many classical notions of semigroups have been extended to Γsemigroups and a lot of results on Γsemigroups are published by a lot of mathematicians, for instance, Chattopadhyay [7], Chinram and Jirojkul [8], Chinram and Siammai [9], Hila [11]. Then, in [2, 10], Davvaz et al. introduced the notion of Γsemihypergroup 1 Corresponding author: Department of Mathematics, QuaidiAzam University, Islamabad, Pakistan., 2 Department of Mathematics, QuaidiAzam University, Islamabad, Pakistan. 3 Department of Mathematics, Yazd University, Yazd, Iran. 4 Department of Mathematics, Shahid Bahonar University of Kerman, Kerman, Iran 119
2 120 Naveed Yaqoob, Muhammad Aslam, Bijan Davvaz, Arsham Borumand Saeid as a generalization of a semigroup, a generalization of a semihypergroup and a generalization of a Γsemigroup. They presented many interesting examples and obtained a several characterizations of Γsemihypergroups. In this paper, we have introduced the notion of m, n) biγhyperideals and we have applied the concept of rough set theory to m, n) biγhyperideals, which is a generalization of m, n) biγhyperideals of Γsemihypergroups. 2. Preliminaries In this section, we recall certain definitions and results needed for our purpose. Definition 2.1. A map : S S P S) is called hyperoperation or join operation on the set S, where S is a nonempty set and P S) denotes the set of all nonempty subsets of S. A hypergroupoid is a set S with together a binary) hyperoperation. A hypergroupoid S, ), which is associative, that is x y z) = x y) z, x, y, z S, is called a semihypergroup. Let A and B be two nonempty subsets of S. Then, we define AΓB = γ Γ AγB = {aγb a A, b B and γ Γ}. Let S, ) be a semihypergroup and let Γ = { }. Then, S is a Γsemihypergroup. So, every semihypergroup is Γsemihypergroup. Let S be a Γsemihypergroup and γ Γ. A nonempty subset A of S is called a sub Γsemihypergroup of S if xγy A for every x, y A. A Γsemihypergroup S is called commutative if for all x, y S and γ Γ, we have xγy = yγx. Example 2.1. [2] Let S = [0, 1] and[ Γ = ] N. For every x, y S and γ Γ, we define γ : S S S) by xγy = 0, xy γ. Then, γ is hyperoperation. For every [ ] x, y, z S and α, β Γ, we have xαy)βz = 0, xyz αβ = xαyβz). This means that S is Γsemihypergroup. Example 2.2. [2] Let S, ) be a semihypergroup and Γ be a nonempty subset of S. We define xγy = x y for every x, y S and γ Γ. Then, S is a Γsemihypergroup. Definition 2.2. [2] A nonempty subset A of a Γsemihypergroup S is a right left) Γhyperideal of S if AΓS A SΓA A), and is a Γhyperideal of S if it is both a right and a left Γhyperideal. Definition 2.3. [2] A sub Γsemihypergroup B of a Γsemihypergroup S is called a biγhyperideal of S if BΓSΓB B. A biγhyperideal B of a Γsemihypergroup S is proper if B S. Lemma 2.1. In a Γsemihypergroup S, AΓB) m = A m ΓB m holds if AΓB = BΓA for all A, B S and m is a positive integer. Proof. We prove the result AΓB) m = A m ΓB m by induction on m. For m = 1, AΓB = AΓB, which is true. For m = 2, AΓB) 2 = AΓB)ΓAΓB) = AΓBΓA)ΓB =
3 On Rough m, n) BiΓhyperideals in Γsemihypergroups 121 A 2 ΓB 2. Suppose that the result is true for m = k. That is, AΓB) k = A k ΓB k. Now for m = k + 1, we have AΓB) k+1 = AΓB) k ΓAΓB) = A k ΓB k )ΓAΓB) = A k ΓB k ΓA)ΓB = A k ΓA)ΓB k ΓB) = A k+1 ΓB k+1. Thus, the result is true for m = k +1. By induction hypothesis the result AΓB) m = A m ΓB m is true for all positive integers m. 3. m, n) BiΓhyperideals in Γsemihypergroups From [14], a subsemigroup A of a semigroup S is called an m, n)ideal of S if A m SA n A. A subset A of a Γsemihypergroup S is called an m, 0) Γhyperideal 0, n) Γhyperideal) if A m ΓS A SΓA n A). A sub Γsemihypergroup A of a Γ semihypergroup S is called m, n) biγhyperideal of S, if A satisfies the condition A m ΓSΓA n A, where m, n are nonnegative integers A m is suppressed if m = 0). Here if m = n = 1 then A is called biγhyperideal of S. By a proper m, n) biγhyperideal we mean an m, n) biγhyperideal, which is a proper subset of S. Example 3.1. Let S, ) be a semihypergroup and Γ be a nonempty subset of S. Define a mapping S Γ S P S) by xγy = x y for every x, y S and γ Γ. By Example 2.2, we know that S is a Γsemihypergroup. Let B be an m, n) bihyperideal of the semihypergroup S. Then, B m S B n B. So, B m ΓSΓB n = B m S B n B. Hence, B is an m, n) biγhyperideal of S. Example [ 3.2. ] Let S = [0, 1] and Γ = N. Then, S together with the hyperoperation xγy = is a Γsemihypergroup. Let t [0, 1] and set T = [0, t]. Then, clearly it 0, xy γ can be seen that T is a sub Γsemihypergroup of S. Since T m ΓS = [0, t m ] [0, t] = T SΓT n = [0, t n ] [0, t] = T ), so T is an m, 0) Γhyperideal 0, n) Γhyperideal) of S. Since T m ΓSΓT n = [0, t m+n ] [0, t] = T, then T is an m, n) biγhyperideal of Γsemihypergroup S. Example 3.3. [ Let ] S = [ 1, 0] and Γ = { 1, 2, 3, }. Define the hyperoperation xγy = xy γ, 0 for all x, y S and γ Γ. Then, clearly S is a Γsemihypergroup. Let λ [ 1, 0] and the set B = [λ, 0]. Then, clearly B is a sub Γsemihypergroup of S. Since B m ΓS = [λ 2m+1, 0] [λ, 0] = B SΓB n = [λ 2n+1, 0] [λ, 0] = B), so B is an m, 0) Γhyperideal 0, n) Γhyperideal) of S. Since B m ΓSΓB n = [λ 2m+n)+1, 0] [λ, 0] = B, then B is an m, n) biγhyperideal of Γsemihypergroup S. Proposition 3.1. Let S be a Γsemihypergroup, B be a sub Γsemihypergroup of S and let A be an m, n) biγhyperideal of S. Then, the intersection A B is an m, n) biγhyperideal of Γsemihypergroup B. Proof. The intersection A B evidently is a sub Γsemihypergroup of S. We show that A B is an m, n) biγhyperideal of B, for this A B) m ΓBΓA B) n A m ΓSΓA n A, 1)
4 122 Naveed Yaqoob, Muhammad Aslam, Bijan Davvaz, Arsham Borumand Saeid because of A is an m, n) biγhyperideal of S. Secondly A B) m ΓBΓA B) n B m ΓBΓB n B. 2) Therefore, 1) and 2) imply that A B) m ΓBΓA B) n A B, that is, the intersection A B is an m, n) biγhyperideal of B. Theorem 3.1. Suppose that {A i : i I} be a family of m, n) biγhyperideals of a Γsemihypergroup S. Then, the intersection A i is an m, n) biγhyperideal i I of S. Proof. Let {A i : i I} be a family of m, n) biγhyperideals in a Γsemihypergroup S. We know that the intersection of sub Γsemihypergroups is a sub Γsemihypergroup. Let B = A i. Now we have to show that B = A i is an m, n) biγhyperideal i I i I of S. Here we need only to show that B m ΓSΓB n B. Let x B m ΓSΓB n. Then, x = a m 1 αsβan 2 for some am 1, an 2 B, s S and α, β Γ. Thus, for any arbitrary i I as a m 1, an 2 B i. So, x Bi mγsγbn i. Since B i is an m, n) biγhyperideal so Bi mγsγbn i B i and therefore x B i. Since i was chosen arbitrarily so x B i for all i I and hence x B. So, B m ΓSΓB n B and hence B = A i is an m, n) i I biγhyperideal of S. It is obvious that the intersection of two or more m, 0) Γhyperideals 0, n) Γhyperideals) is an m, 0) Γhyperideal 0, n) Γhyperideal). Similarly, the union of two or more m, 0) Γhyperideals 0, n) Γhyperideals) is an m, 0) Γhyperideal 0, n) Γhyperideal). Theorem 3.2. Let S be a Γsemihypergroup. If A is an m, 0) Γhyperideal and also 0, n) Γhyperideal of S, then A is an m, n) biγhyperideal of S. Proof. Suppose that A is an m, 0) Γhyperideal and also 0, n) Γhyperideal of S. Then, A m ΓSΓA n AΓA n SΓA n A, which implies that A is an m, n) biγhyperideal of S. Theorem 3.3. Let m, n be arbitrary positive integers. Let S be a Γsemihypergroup, B be an m, n) biγhyperideal of S and A be a sub Γsemihypergroup of S. Suppose that AΓB = BΓA. Then, 1) BΓA is an m, n) biγhyperideal of S. 2) AΓB is an m, n) biγhyperideal of S. Proof. 1) The suppositions of the theorem imply that BΓA)ΓBΓA) = BΓAΓB)ΓA = BΓA. This shows that BΓA is a sub Γsemihypergroup of S. On the other hand, as B is an m, n) biγhyperideal of S, so BΓA) m ΓSΓBΓA) n = B m ΓA m ΓSΓB n )ΓA n BΓA n BΓA. Hence, the product BΓA is an m, n) biγhyperideal of S. 2) The proof is similar to 1).
5 On Rough m, n) BiΓhyperideals in Γsemihypergroups 123 Theorem 3.4. Let S be a Γsemihypergroup and for a positive integer n, B 1, B 2,, B n be m, n) biγhyperideals of S. Then, B 1 ΓB 2 Γ ΓB n is an m, n) biγhyperideal of S. Proof. We prove the theorem by induction. By Theorem 3.3, B 1 ΓB 2 is an m, n) biγhyperideal of S. Next, for k n, suppose that B 1 ΓB 2 Γ...ΓB k is an m, n) biγhyperideal of S. Then, B 1 ΓB 2 Γ...ΓB k ΓB k+1 = B 1 ΓB 2 Γ...ΓB k )ΓB k+1 is an m, n) biγhyperideal of S by Theorem 3.3. Theorem 3.5. Let S be a Γsemihypergroup, A be an m, n) biγhyperideal of S, and B be an m, n) biγhyperideal of the Γsemihypergroup A such that B 2 = BΓB = B. Then, B is an m, n) biγhyperideal of S. Proof. It is trivial that B is a sub Γsemihypergroup of S. Secondly, since A m ΓSΓA n A and B m ΓAΓB n B, we have B m ΓSΓB n = B m ΓB m ΓSΓB n )ΓB n B m ΓA m ΓSΓA n )ΓB n B m ΓAΓB n B. Therefore, B is an m, n) biγhyperideal of S. 4. Lower and Upper Approximations in Γsemihypergroups In what follows, let S denote a Γsemihypergroup unless otherwise specified. Definition 4.1. Let S be a Γsemihypergroup. An equivalence relation on S is called regular on S if for all x S and γ Γ. a, b) implies aγx, bγx) and xγa, xγb), If is a regular relation on S, then, for every x S, [x] stands for the class of x with the represent. A regular relation on S is called complete if [a] γ[b] = [aγb] for all a, b S and γ Γ. In addition, on S is called congruence if, for every a, b) S and γ Γ, we have c [a] γ[b] = [c] [a] γ[b]. Let A be a nonempty subset of a Γsemihypergroup S and be a regular relation on S. Then, the sets { } { } Apr A) = x S : [x] A and Apr A) = x S : [x] A are called lower and upper approximations of A, respectively. For a nonempty subset A of S, Apr A) = Apr A), Apr A)) is called a rough set with respect to if Apr A) Apr A). Theorem 4.1. [3] Let be a regular relation on a Γsemihypergroup S and let A and B be nonempty subsets of S. Then, 1) Apr A) ΓApr B) Apr AΓB) ; 2) If is complete, then Apr A) ΓApr B) Apr AΓB). Theorem 4.2. [3] Let be a regular relation on a Γsemihypergroup S. Then, 1) Every sub Γsemihypergroup of S is a upper rough sub Γsemihypergroup of S. 2) Every right left) Γhyperideal of S is a upper rough right left) Γ hyperideal of S.
6 124 Naveed Yaqoob, Muhammad Aslam, Bijan Davvaz, Arsham Borumand Saeid Theorem 4.3. [3] Let = A S and let be a complete regular relation on S such that the lower approximation of A is nonempty. Then, 1) If A is a sub Γsemihypergroup of S, then A is a lower rough sub Γ semihypergroup of S. 2) If A is a right left) Γhyperideal of S, then A is a lower rough right left) Γhyperideal of S. A subset A of a Γsemihypergroup S is called a upper [lower] rough biγhyperideal of S if Apr A)[Apr A)] is a biγhyperideal of S. Theorem 4.4. [3] Let be a regular relation on S and A be a biγhyperideal of S. Then, 1) A is a upper rough biγhyperideal of S. 2) If is complete such that the lower approximation of A is nonempty, then A is a lower rough biγhyperideal of S. Lemma 4.1. Let be a regular relation on a Γsemihypergroup S. Then, for a nonempty subset A of S 1) Apr A) ) n Apr A n ) for all n N. n 2) If is complete, then Apr A)) Apr A n ) for all n N. Proof. 1) Let A be a nonempty subset of S, then for n = 2, and by Theorem 4.11), we get Apr A) ) 2 = Apr A)ΓApr A) Apr AΓA) = Apr A 2 ). Now for n = 3, we get Apr A) ) 3 = Apr A)Γ Apr A) ) 2 Apr A)ΓApr A 2 ) Apr AΓA 2 ) = Apr A 3 ). Suppose that the result is true for n = k 1, such that Apr A)) k 1 Apr A k 1 ), then for n = k, we get Apr A) ) k = Apr A)Γ Apr A) ) k 1 Apr A)ΓApr A k 1 ) Apr AΓA k 1 ) = Apr A k ). Hence, this shows that Apr A) ) k Apr A k ). This implies that Apr A) ) n Apr A n ) is true for all n N. By using Theorem 4.12), the proof of 2) can be seen in a similar way. This completes the proof. 5. Rough m, n) BiΓhyperideals in Γsemihypergroups Let be a regular relation on a Γsemihypergroup S. A subset A of S is called a upper rough m, 0) Γhyperideal 0, n) Γhyperideal) of S if Apr A) is an m, 0) Γhyperideal 0, n) Γhyperideal) of S. Similarly, a subset A of a Γsemihypergroup S is called a lower rough m, 0) Γhyperideal 0, n) Γhyperideal) of S if Apr A) is an m, 0) Γhyperideal 0, n) Γhyperideal) of S. Theorem 5.1. Let be a regular relation on a Γsemihypergroup S and A be an m, 0) Γhyperideal 0, n) Γhyperideal) of S. Then, 1) Apr A) is an m, 0) Γhyperideal 0, n) Γhyperideal) of S.
7 On Rough m, n) BiΓhyperideals in Γsemihypergroups 125 2) If is complete, then Apr A) is, if it is nonempty, an m, 0) Γhyperideal 0, n) Γhyperideal) of S. Proof. 1) Let A be an m, 0) Γhyperideal of S, that is, A m ΓS A. Note that Apr S) = S. Then, by Theorem 4.11) and Lemma 4.11), we have Apr A) ) m ΓS = Apr A) ) m ΓApr S) Apr A m )ΓApr S) Apr A m ΓS) Apr A). This shows that Apr A) is an m, 0) Γhyperideal of S, that is, A is a upper rough m, 0) Γhyperideal of S. Similarly, we can show that the upper approximation of a 0, n) Γhyperideal is a 0, n) Γhyperideal of S. 2) Let A be an m, 0) Γhyperideal of S, that is, A m ΓS A. Note that Apr S) = S. Then, by Theorem 4.12) and Lemma 4.12), we have ) m m Apr A) ΓS = Apr A)) ΓApr S) Apr A m )ΓApr S) Apr A m ΓS) Apr A). This shows that Apr A) is an m, 0) Γhyperideal of S, that is, A is a lower rough m, 0) Γhyperideal of S. Similarly, we can show that the lower approximation of a 0, n) Γhyperideal is a 0, n) Γhyperideal of S. This completes the proof. A subset A of a Γsemihypergroup S is called a upper [lower] rough m, n) biγhyperideal of S if Apr A) [Apr A)] is an m, n) biγhyperideal of S. Theorem 5.2. Let be a regular relation on a Γsemihypergroup S. If A is an m, n) biγhyperideal of S, then it is a upper rough m, n) biγhyperideal of S. Proof. Let A be an m, n) biγhyperideal of S. Lemma 4.11), we have Then, by Theorem 4.11) and Apr A)) m ΓSΓApr A)) n = Apr A)) m ΓApr S)ΓApr A)) n Apr A m )ΓApr S)ΓApr A n ) Apr A m ΓS)ΓApr A n ) Apr A m ΓSΓA n ) Apr A). From this and Theorem 4.21), we obtain that Apr A) is an m, n) biγhyperideal of S, that is, A is a upper rough m, n) biγhyperideal of S. This completes the proof. Theorem 5.3. Let be a complete regular relation on a Γsemihypergroup S. If A is an m, n) biγhyperideal of S, then Apr A) is, if it is nonempty, an m, n) biγhyperideal of S.
8 126 Naveed Yaqoob, Muhammad Aslam, Bijan Davvaz, Arsham Borumand Saeid Proof. Let A be an m, n) biγhyperideal of S. Then, by Theorem 4.12) and Lemma 4.12), we have Apr A)) m ΓSΓApr A)) n = Apr A)) m ΓApr S)ΓApr A)) n Apr A m )ΓApr S)ΓApr A n ) Apr A m ΓS)ΓApr A n ) Apr A m ΓSΓA n ) Apr A). From this and Theorem 4.31), we obtain that Apr A) is, if it is nonempty, an m, n) biγhyperideal of S. This completes the proof. The following example shows that the converse of Theorem 5.2 and Theorem 5.3 does not hold. Example 5.1. Let S = {x, y, z} and Γ = {β, γ} be the sets of binary hyperoperations defined below: β x y z x x {x, y} z y {x, y} {x, y} z z z z z γ x y z x {x, y} {x, y} z y {x, y} y z z z z z Clearly S is a Γsemihypergroup. Let be a complete regular relation on S such that the regular classes are the subsets {x, y}, {z}. Now for A = {x, z} S, Apr A) = {x, y, z} and Apr A) = {z}. It is clear that Apr A) and Apr A) are m, n) biγhyperideals of S, but A is not an m, n) biγhyperideal of S. Because A m ΓSΓA n = S A. 6. Rough m, n) BiΓhyperideals in the Quotient Γsemihypergroups Let be a regular relation on a Γsemihypergroup S. We put Γ = { γ : γ Γ}. For every [a], [b] S/, we define [a] γ[b] = {[z] : z aγb}. Theorem 6.1. [3, Theorem 4.1]) If S is a Γsemihypergroup, then S/ is a Γsemihypergroup. Definition 6.1. Let be a regular relation on a Γsemihypergroup S. The lower approximation and upper approximation of a nonempty subset A of S can be presented in an equivalent form as shown below: Apr A) = respectively. { [x] S/ : [x] A } and Apr A) = { } [x] S/ : [x] A, Theorem 6.2. [3, Theorems 4.3, 4.4]) Let be a regular relation on a Γsemihypergroup S. If A is a sub Γsemihypergroup of S. Then, 1) Apr A) is a sub Γsemihypergroup of S/. 2) Apr A) is, if it is nonempty, a sub Γsemihypergroup of S/.
9 On Rough m, n) BiΓhyperideals in Γsemihypergroups 127 Theorem 6.3. Let be a regular relation on a Γsemihypergroup S. If A is an m, 0) Γhyperideal 0, n) Γhyperideal) of S. Then, 1) Apr A) is an m, 0) Γhyperideal 0, n) Γhyperideal) of S/. of S/. 2) Apr A) is, if it is nonempty, an m, 0) Γhyperideal 0, n) Γhyperideal) Proof. 1) Assume that A is a 0, n) Γhyperideal of S. Let [x] and [s] be any elements of Apr A) and S/, respectively. Then, [x] A. Hence, x Apr A). Since A is a 0, n) Γhyperideal of S, by Theorem 101), Apr A) is a 0, n) Γ hyperideal of S. So, for γ Γ, we have sγx n Apr A). Now, for every t sγx n, we have [t] A. On the other hand, from t sγx n, we obtain [t] [s] γ[x] n. Therefore, [s] γ[x] n Apr A). This means that Apr A) is a 0, n) Γhyperideal of S/. 2) Let A be a 0, n) Γhyperideal of S. Let [x] and [s] be any elements of Apr A) and S/, respectively. Then, [x] A, which implies x Apr A). Since A is a 0, n) Γhyperideal of S, by Theorem 102), Apr A) is a 0, n) Γhyperideal of S. Thus, for every γ Γ, we have sγx n Apr A). Now, for every t sγx n, we have t Apr A), which implies that [t] A. Hence, [t] Apr A). On the other hand, from t sγx n, we have [t] [s] γ[x] n. Therefore, [s] γ[x] n Apr A). This means that Apr A) is, if it is nonempty, a 0, n) Γhyperideal of S/. The other cases can be seen in a similar way. This completes the proof. Theorem 6.4. Let be a regular relation on a Γsemihypergroup S. If A is an m, n) biγhyperideal of S. Then, 1) Apr A) is an m, n) bi Γhyperideal of S/. 2) Apr A) is, if it is nonempty, an m, n) bi Γhyperideal of S/. Proof. 1) Let [x] and [y] be any elements of Apr A) and [s] be any element of S/. Then, [x] A and [y] A. Hence, x Apr A) and y Apr A). By Theorem 11, Apr A) is an m, n) bi Γhyperideal of S. So, for every α, β Γ, we have x m αsβy n Apr A). Now, for every t x m αsβy n, we obtain [t] [x] m αs β[y] n. On the other hand, since t Apr A), we have [t] A. Thus, [x] m αs β[y] n Apr A). Therefore, Apr A) is an m, n) bi Γhyperideal of S/. 2) Let [x] and [y] be any elements of Apr A) and [s] be any element of S/. Then, [x] A and [y] A. Hence, x Apr A) and y Apr A). By Theorem 12, Apr A) is an m, n) bi Γhyperideal of S. So, for every α, β Γ, we have x m αsβy n Apr A). Then,
10 128 Naveed Yaqoob, Muhammad Aslam, Bijan Davvaz, Arsham Borumand Saeid for every t x m αsβy n, we obtain [t] [x] m αa β[y] n. On the other hand, since t Apr A), we have [t] A. So, [x] m αa β[y] n Apr A). Therefore, Apr A) is, if it is nonempty, an m, n) bi Γhyperideal of S/. This completes the proof. 7. Conclusion The relations between rough sets and algebraic systems have been already considered by many mathematicians. In this paper, the properties of m, n) biγhyperideal in Γsemihypergroup are investigated and hence the concept of rough set theory is applied to m, n) biγhyperideals. Acknowledgements. The authors are highly grateful to referees for their valuable comments and suggestions which were helpful in improving this paper. R E F E R E N C E S [1] S. Abdullah, M. Aslam and T. Anwar, A note on Mhypersystems and Nhypersystems in Γsemihypergroups, Quasigroups Relat. Syst. 192) 2011) [2] S.M. Anvariyeh, S. Mirvakili and B. Davvaz, On Γhyperideals in Γsemihypergroups, Carpathian J. Math. 261) 2010) [3] S.M. Anvariyeh, S. Mirvakili and B. Davvaz, Pawlak s approximations in Γsemihypergroups, Comput. Math. Applic ) [4] M. Aslam, M. Shabir and N. Yaqoob, Roughness in left almost semigroups, J. Adv. Res. Pure Math. 33) 2011) [5] M. Aslam, M. Shabir, N. Yaqoob and A. Shabir, On rough m, n)biideals and generalized rough m, n)biideals in semigroups, Ann. Fuzzy Math. Inform. 22) 2011) [6] M. Aslam, S. Abdullah, B. Davvaz and N. Yaqoob, Rough Mhypersystems and fuzzy Mhypersystems in Γsemihypergroups, Accepted in Neural Comput. Applic., doi: /s x. [7] S. Chattopadhyay, Right inverse Γsemigroup, Bull. Cal. Math. Soc ) [8] R. Chinram and C. Jirojkul, On biγideals in Γsemigroups, Songklanakarin J. Sci. Technol ) [9] R. Chinram and P. Siammai, On Green s relations for Γsemigroups and reductive Γ semigroups, Int. J. Algebra ) [10] D. Heidari, S.O. Dehkordi and B. Davvaz, Γsemihypergroups and their properties, U.P.B. Sci. Bull., Series A ) [11] K. Hila, On regular, semiprime and quasireflexive Γsemigroup and minimal quasiideals, Lobachevskian J. Math ) [12] N. Kuroki, Rough ideals in semigroups, Inform. Sci ) [13] S. Lajos, Generalized ideals in semigroups, Acta Sci. Math ) [14] S. Lajos, Notes on m, n)ideals I, Proc. Japan Acad ) [15] F. Marty, Sur une generalization de la notion de groupe, 8iem congres Math. Scandinaves, Stockholm, 1934, [16] Z. Pawlak, Rough sets, Int. J. Comput. Inform. Sci ) [17] M.K. Sen and N.K. Saha, On Γsemigroup I, Bull. Cal. Math. Soc ) [18] N. Yaqoob, Applications of rough sets to Γhyperideals in left almost Γsemihypergroups, Accepted in Neural Comp. Applic., doi: /s [19] N. Yaqoob, M. Aslam and R. Chinram, Rough prime biideals and rough fuzzy prime biideals in semigroups, Ann. Fuzzy Math. Inform. 32) 2012)
Degree Hypergroupoids Associated with Hypergraphs
Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated
More informationRough Semi Prime Ideals and Rough BiIdeals in Rings
Int Jr. of Mathematical Sciences & Applications Vol. 4, No.1, JanuaryJune 2014 Copyright Mind Reader Publications ISSN No: 22309888 www.journalshub.com Rough Semi Prime Ideals and Rough BiIdeals in
More informationFull and Complete Binary Trees
Full and Complete Binary Trees Binary Tree Theorems 1 Here are two important types of binary trees. Note that the definitions, while similar, are logically independent. Definition: a binary tree T is full
More informationACTA UNIVERSITATIS APULENSIS No 15/2008 PRODUCTS OF MULTIALGEBRAS AND THEIR FUNDAMENTAL ALGEBRAS. Cosmin Pelea
ACTA UNIVERSITATIS APULENSIS No 15/2008 PRODUCTS OF MULTIALGEBRAS AND THEIR FUNDAMENTAL ALGEBRAS Cosmin Pelea Abstract. An important tool in the hyperstructure theory is the fundamental relation. The factorization
More informationF. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)
Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p
More informationGROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.
Definition 1: GROUPS An operation on a set G is a function : G G G. Definition 2: A group is a set G which is equipped with an operation and a special element e G, called the identity, such that (i) the
More informationSeparation Properties for Locally Convex Cones
Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam
More informationADDITIVE GROUPS OF RINGS WITH IDENTITY
ADDITIVE GROUPS OF RINGS WITH IDENTITY SIMION BREAZ AND GRIGORE CĂLUGĂREANU Abstract. A ring with identity exists on a torsion Abelian group exactly when the group is bounded. The additive groups of torsionfree
More informationSOME RESULTS ON HYPERCYCLICITY OF TUPLE OF OPERATORS. Abdelaziz Tajmouati Mohammed El berrag. 1. Introduction
italian journal of pure and applied mathematics n. 35 2015 (487 492) 487 SOME RESULTS ON HYPERCYCLICITY OF TUPLE OF OPERATORS Abdelaziz Tajmouati Mohammed El berrag Sidi Mohamed Ben Abdellah University
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationAn example of a computable
An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept
More information26 Ideals and Quotient Rings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 26 Ideals and Quotient Rings In this section we develop some theory of rings that parallels the theory of groups discussed
More informationMATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers.
MATHEMATICAL INDUCTION MIGUEL A LERMA (Last updated: February 8, 003) Mathematical Induction This is a powerful method to prove properties of positive integers Principle of Mathematical Induction Let P
More informationPART I. THE REAL NUMBERS
PART I. THE REAL NUMBERS This material assumes that you are already familiar with the real number system and the representation of the real numbers as points on the real line. I.1. THE NATURAL NUMBERS
More informationSection 3 Sequences and Limits, Continued.
Section 3 Sequences and Limits, Continued. Lemma 3.6 Let {a n } n N be a convergent sequence for which a n 0 for all n N and it α 0. Then there exists N N such that for all n N. α a n 3 α In particular
More informationCONTRIBUTIONS TO ZERO SUM PROBLEMS
CONTRIBUTIONS TO ZERO SUM PROBLEMS S. D. ADHIKARI, Y. G. CHEN, J. B. FRIEDLANDER, S. V. KONYAGIN AND F. PAPPALARDI Abstract. A prototype of zero sum theorems, the well known theorem of Erdős, Ginzburg
More informationSign changes of Hecke eigenvalues of Siegel cusp forms of degree 2
Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2 Ameya Pitale, Ralf Schmidt 2 Abstract Let µ(n), n > 0, be the sequence of Hecke eigenvalues of a cuspidal Siegel eigenform F of degree
More informationFinite Sets. Theorem 5.1. Two nonempty finite sets have the same cardinality if and only if they are equivalent.
MATH 337 Cardinality Dr. Neal, WKU We now shall prove that the rational numbers are a countable set while R is uncountable. This result shows that there are two different magnitudes of infinity. But we
More informationOn the multiplicity of zeroes of polynomials with quaternionic coefficients
Milan j. math. 76 (2007), 1 10 DOI 10.1007/s000320030000 c 2007 Birkhäuser Verlag Basel/Switzerland Milan Journal of Mathematics On the multiplicity of zeroes of polynomials with quaternionic coefficients
More informationOn the Algebraic Structures of Soft Sets in Logic
Applied Mathematical Sciences, Vol. 8, 2014, no. 38, 18731881 HIKARI Ltd, www.mhikari.com http://dx.doi.org/10.12988/ams.2014.43127 On the Algebraic Structures of Soft Sets in Logic Burak Kurt Department
More informationAnalytic cohomology groups in top degrees of Zariski open sets in P n
Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction
More informationComputer Algebra for Computer Engineers
p.1/14 Computer Algebra for Computer Engineers Preliminaries Priyank Kalla Department of Electrical and Computer Engineering University of Utah, Salt Lake City p.2/14 Notation R: Real Numbers Q: Fractions
More informationAbout the inverse football pool problem for 9 games 1
Seventh International Workshop on Optimal Codes and Related Topics September 61, 013, Albena, Bulgaria pp. 15133 About the inverse football pool problem for 9 games 1 Emil Kolev Tsonka Baicheva Institute
More informationTenacity and rupture degree of permutation graphs of complete bipartite graphs
Tenacity and rupture degree of permutation graphs of complete bipartite graphs Fengwei Li, Qingfang Ye and Xueliang Li Department of mathematics, Shaoxing University, Shaoxing Zhejiang 312000, P.R. China
More informationSCORE SETS IN ORIENTED GRAPHS
Applicable Analysis and Discrete Mathematics, 2 (2008), 107 113. Available electronically at http://pefmath.etf.bg.ac.yu SCORE SETS IN ORIENTED GRAPHS S. Pirzada, T. A. Naikoo The score of a vertex v in
More informationCURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves
More information2. Notation, definitions and preliminary results
Novi Sad J. Math. Vol. 42, No. 2, 2012, 4348 ON GENERALISED INFLATIONS OF RIGHT MODULAR GROUPOIDS R. A. R. Monzo 1 Abstract. We prove that if a right modular groupoid U is cancellative or has a left identity,
More informationInvertible elements in associates and semigroups. 1
Quasigroups and Related Systems 5 (1998), 53 68 Invertible elements in associates and semigroups. 1 Fedir Sokhatsky Abstract Some invertibility criteria of an element in associates, in particular in nary
More informationON SOME CLASSES OF REGULAR ORDER SEMIGROUPS
Commun. Korean Math. Soc. 23 (2008), No. 1, pp. 29 40 ON SOME CLASSES OF REGULAR ORDER SEMIGROUPS Zhenlin Gao and Guijie Zhang Reprinted from the Communications of the Korean Mathematical Society Vol.
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationOn Integer Additive SetIndexers of Graphs
On Integer Additive SetIndexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A setindexer of a graph G is an injective setvalued function f : V (G) 2 X such that
More informationA simple criterion on degree sequences of graphs
Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree
More informationClassical Analysis I
Classical Analysis I 1 Sets, relations, functions A set is considered to be a collection of objects. The objects of a set A are called elements of A. If x is an element of a set A, we write x A, and if
More informationsconvexity, model sets and their relation
sconvexity, model sets and their relation Zuzana Masáková Jiří Patera Edita Pelantová CRM2639 November 1999 Department of Mathematics, Faculty of Nuclear Science and Physical Engineering, Czech Technical
More informationResearch Article Stability Analysis for HigherOrder Adjacent Derivative in Parametrized Vector Optimization
Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2010, Article ID 510838, 15 pages doi:10.1155/2010/510838 Research Article Stability Analysis for HigherOrder Adjacent Derivative
More informationImprecise probabilities, bets and functional analytic methods in Łukasiewicz logic.
Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic. Martina Fedel joint work with K.Keimel,F.Montagna,W.Roth Martina Fedel (UNISI) 1 / 32 Goal The goal of this talk is to
More informationMODULAR ARITHMETIC. a smallest member. It is equivalent to the Principle of Mathematical Induction.
MODULAR ARITHMETIC 1 Working With Integers The usual arithmetic operations of addition, subtraction and multiplication can be performed on integers, and the result is always another integer Division, on
More informationLocal periods and binary partial words: An algorithm
Local periods and binary partial words: An algorithm F. BlanchetSadri and Ajay Chriscoe Department of Mathematical Sciences University of North Carolina P.O. Box 26170 Greensboro, NC 27402 6170, USA Email:
More informationThe sum of digits of polynomial values in arithmetic progressions
The sum of digits of polynomial values in arithmetic progressions Thomas Stoll Institut de Mathématiques de Luminy, Université de la Méditerranée, 13288 Marseille Cedex 9, France Email: stoll@iml.univmrs.fr
More informationZERODIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS
ZERODIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS M. AXTELL, J. COYKENDALL, AND J. STICKLES Abstract. We recall several results of zero divisor graphs of commutative rings. We
More informationarxiv:1503.07011v1 [math.ac] 24 Mar 2015
A Note on Darboux Polynomials of Monomial Derivations arxiv:1503.07011v1 [math.ac] 24 Mar 2015 Abstract Jiantao Li School of Mathematics, Liaoning University, Shenyang, 110031, China We study a monomial
More informationA REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries
Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do
More informationSome Problems of SecondOrder Rational Difference Equations with Quadratic Terms
International Journal of Difference Equations ISSN 09736069, Volume 9, Number 1, pp. 11 21 (2014) http://campus.mst.edu/ijde Some Problems of SecondOrder Rational Difference Equations with Quadratic
More information3. Mathematical Induction
3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)
More informationPOWER SETS AND RELATIONS
POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty
More informationP. Jeyanthi and N. Angel Benseera
Opuscula Math. 34, no. 1 (014), 115 1 http://dx.doi.org/10.7494/opmath.014.34.1.115 Opuscula Mathematica A TOTALLY MAGIC CORDIAL LABELING OF ONEPOINT UNION OF n COPIES OF A GRAPH P. Jeyanthi and N. Angel
More informationElementary Number Theory We begin with a bit of elementary number theory, which is concerned
CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,
More informationSet theory as a foundation for mathematics
Set theory as a foundation for mathematics Waffle Mathcamp 2011 In school we are taught about numbers, but we never learn what numbers really are. We learn rules of arithmetic, but we never learn why these
More informationOn BPalgebras and QSalgebras
The Journal of Mathematics and Computer Science Available online at http://www.tjmcs.com The Journal of Mathematics and Computer Science Vol.5 No. 1 (2012) 1721 On BPalgebras and QSalgebras S.A. Nematoalah
More informationArkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 6 Permutation Groups Let S be a nonempty set and M(S be the collection of all mappings from S into S. In this section,
More informationSubsets of Euclidean domains possessing a unique division algorithm
Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness
More informationON SUPERCYCLICITY CRITERIA. Nuha H. Hamada Business Administration College Al Ain University of Science and Technology 5th st, Abu Dhabi, 112612, UAE
International Journal of Pure and Applied Mathematics Volume 101 No. 3 2015, 401405 ISSN: 13118080 (printed version); ISSN: 13143395 (online version) url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v101i3.7
More informationMinimal R 1, minimal regular and minimal presober topologies
Revista Notas de Matemática Vol.5(1), No. 275, 2009, pp.7384 http://www.saber.ula.ve/notasdematematica/ Comisión de Publicaciones Departamento de Matemáticas Facultad de Ciencias Universidad de Los Andes
More informationMathematical Induction
Mathematical Induction Victor Adamchik Fall of 2005 Lecture 2 (out of three) Plan 1. Strong Induction 2. Faulty Inductions 3. Induction and the Least Element Principal Strong Induction Fibonacci Numbers
More informationON THE EMBEDDING OF BIRKHOFFWITT RINGS IN QUOTIENT FIELDS
ON THE EMBEDDING OF BIRKHOFFWITT RINGS IN QUOTIENT FIELDS DOV TAMARI 1. Introduction and general idea. In this note a natural problem arising in connection with socalled BirkhoffWitt algebras of Lie
More informationSOLUTIONS TO ASSIGNMENT 1 MATH 576
SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts
More informationCharacterizing the Sum of Two Cubes
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 6 (003), Article 03.4.6 Characterizing the Sum of Two Cubes Kevin A. Broughan University of Waikato Hamilton 001 New Zealand kab@waikato.ac.nz Abstract
More informationINCIDENCEBETWEENNESS GEOMETRY
INCIDENCEBETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full
More informationCOMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS
Bull Austral Math Soc 77 (2008), 31 36 doi: 101017/S0004972708000038 COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V EROVENKO and B SURY (Received 12 April 2007) Abstract We compute
More informationMetric Spaces. Chapter 1
Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence
More informationTHE PRODUCT SPAN OF A FINITE SUBSET OF A COMPLETELY BOUNDED ARTEX SPACE OVER A BIMONOID
THE PRODUCT SPAN OF A FINITE SUBSET OF A COMPLETELY BOUNDED ARTEX SPACE OVER A BIMONOID ABSTRACT The product of subsets of an Artex space over a bimonoid is defined. Product Combination of elements of
More informationQuasi Contraction and Fixed Points
Available online at www.ispacs.com/jnaa Volume 2012, Year 2012 Article ID jnaa00168, 6 Pages doi:10.5899/2012/jnaa00168 Research Article Quasi Contraction and Fixed Points Mehdi Roohi 1, Mohsen Alimohammady
More informationAN ITERATIVE METHOD FOR THE HERMITIANGENERALIZED HAMILTONIAN SOLUTIONS TO THE INVERSE PROBLEM AX = B WITH A SUBMATRIX CONSTRAINT
Bulletin of the Iranian Mathematical Society Vol. 39 No. 6 (2013), pp 1291260. AN ITERATIVE METHOD FOR THE HERMITIANGENERALIZED HAMILTONIAN SOLUTIONS TO THE INVERSE PROBLEM AX = B WITH A SUBMATRIX CONSTRAINT
More informationUNIT 2 MATRICES  I 2.0 INTRODUCTION. Structure
UNIT 2 MATRICES  I Matrices  I Structure 2.0 Introduction 2.1 Objectives 2.2 Matrices 2.3 Operation on Matrices 2.4 Invertible Matrices 2.5 Systems of Linear Equations 2.6 Answers to Check Your Progress
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationBipan Hazarika ON ACCELERATION CONVERGENCE OF MULTIPLE SEQUENCES. 1. Introduction
F A S C I C U L I M A T H E M A T I C I Nr 51 2013 Bipan Hazarika ON ACCELERATION CONVERGENCE OF MULTIPLE SEQUENCES Abstract. In this article the notion of acceleration convergence of double sequences
More informationOn duality of modular GRiesz bases and GRiesz bases in Hilbert C*modules
Journal of Linear and Topological Algebra Vol. 04, No. 02, 2015, 5363 On duality of modular GRiesz bases and GRiesz bases in Hilbert C*modules M. RashidiKouchi Young Researchers and Elite Club Kahnooj
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More information(0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order 4; (1, 0) : order 2; (1, 1) : order 4; (1, 2) : order 2; (1, 3) : order 4.
11.01 List the elements of Z 2 Z 4. Find the order of each of the elements is this group cyclic? Solution: The elements of Z 2 Z 4 are: (0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order
More informationk, then n = p2α 1 1 pα k
Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square
More informationSECRET sharing schemes were introduced by Blakley [5]
206 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 1, JANUARY 2006 Secret Sharing Schemes From Three Classes of Linear Codes Jin Yuan Cunsheng Ding, Senior Member, IEEE Abstract Secret sharing has
More informationDEGREES OF ORDERS ON TORSIONFREE ABELIAN GROUPS
DEGREES OF ORDERS ON TORSIONFREE ABELIAN GROUPS ASHER M. KACH, KAREN LANGE, AND REED SOLOMON Abstract. We construct two computable presentations of computable torsionfree abelian groups, one of isomorphism
More informationA characterization of trace zero symmetric nonnegative 5x5 matrices
A characterization of trace zero symmetric nonnegative 5x5 matrices Oren Spector June 1, 009 Abstract The problem of determining necessary and sufficient conditions for a set of real numbers to be the
More informationFACTORING CERTAIN INFINITE ABELIAN GROUPS BY DISTORTED CYCLIC SUBSETS
International Electronic Journal of Algebra Volume 6 (2009) 95106 FACTORING CERTAIN INFINITE ABELIAN GROUPS BY DISTORTED CYCLIC SUBSETS Sándor Szabó Received: 11 November 2008; Revised: 13 March 2009
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationAPPLICATIONS OF THE ORDER FUNCTION
APPLICATIONS OF THE ORDER FUNCTION LECTURE NOTES: MATH 432, CSUSM, SPRING 2009. PROF. WAYNE AITKEN In this lecture we will explore several applications of order functions including formulas for GCDs and
More informationGENERATING SETS KEITH CONRAD
GENERATING SETS KEITH CONRAD 1 Introduction In R n, every vector can be written as a unique linear combination of the standard basis e 1,, e n A notion weaker than a basis is a spanning set: a set of vectors
More informationSEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov
Serdica Math. J. 30 (2004), 95 102 SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS Nickolay Khadzhiivanov, Nedyalko Nenov Communicated by V. Drensky Abstract. Let Γ(M) where M V (G) be the set of all vertices
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More informationIf n is odd, then 3n + 7 is even.
Proof: Proof: We suppose... that 3n + 7 is even. that 3n + 7 is even. Since n is odd, there exists an integer k so that n = 2k + 1. that 3n + 7 is even. Since n is odd, there exists an integer k so that
More informationON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath
International Electronic Journal of Algebra Volume 7 (2010) 140151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December
More informationSHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH
31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,
More informationNote on some explicit formulae for twin prime counting function
Notes on Number Theory and Discrete Mathematics Vol. 9, 03, No., 43 48 Note on some explicit formulae for twin prime counting function Mladen VassilevMissana 5 V. Hugo Str., 4 Sofia, Bulgaria email:
More informationit is easy to see that α = a
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore
More informationNONCANONICAL EXTENSIONS OF ERDŐSGINZBURGZIV THEOREM 1
NONCANONICAL EXTENSIONS OF ERDŐSGINZBURGZIV THEOREM 1 R. Thangadurai StatMath Division, Indian Statistical Institute, 203, B. T. Road, Kolkata 700035, INDIA thanga v@isical.ac.in Received: 11/28/01,
More informationPROBLEM SET 7: PIGEON HOLE PRINCIPLE
PROBLEM SET 7: PIGEON HOLE PRINCIPLE The pigeonhole principle is the following observation: Theorem. Suppose that > kn marbles are distributed over n jars, then one jar will contain at least k + marbles.
More informationLecture Notes on Topology for MAT3500/4500 following J. R. Munkres textbook. John Rognes
Lecture Notes on Topology for MAT3500/4500 following J. R. Munkres textbook John Rognes November 29th 2010 Contents Introduction v 1 Set Theory and Logic 1 1.1 ( 1) Fundamental Concepts..............................
More informationSOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties
SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces
More information3 0 + 4 + 3 1 + 1 + 3 9 + 6 + 3 0 + 1 + 3 0 + 1 + 3 2 mod 10 = 4 + 3 + 1 + 27 + 6 + 1 + 1 + 6 mod 10 = 49 mod 10 = 9.
SOLUTIONS TO HOMEWORK 2  MATH 170, SUMMER SESSION I (2012) (1) (Exercise 11, Page 107) Which of the following is the correct UPC for Progresso minestrone soup? Show why the other numbers are not valid
More informationABSTRACT ALGEBRA. Romyar Sharifi
ABSTRACT ALGEBRA Romyar Sharifi Contents Introduction 7 Part 1. A First Course 11 Chapter 1. Set theory 13 1.1. Sets and functions 13 1.2. Relations 15 1.3. Binary operations 19 Chapter 2. Group theory
More informationFIXED POINT SETS OF FIBERPRESERVING MAPS
FIXED POINT SETS OF FIBERPRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 email: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics
More informationChapter 13: Basic ring theory
Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring
More informationCHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.
CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,
More informationFactoring finite abelian groups
Journal of Algebra 275 (2004) 540 549 www.elsevier.com/locate/jalgebra Factoring finite abelian groups A.D. Sands Department of Mathematics, Dundee University, Dundee DD1 4HN, Scotland, UK Received 1 April
More informationSOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE
SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE CRISTINA FLAUT and DIANA SAVIN Communicated by the former editorial board In this paper, we study some properties of the matrix representations of the
More informationWHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
More informationALMOST COMMON PRIORS 1. INTRODUCTION
ALMOST COMMON PRIORS ZIV HELLMAN ABSTRACT. What happens when priors are not common? We introduce a measure for how far a type space is from having a common prior, which we term prior distance. If a type
More information6.2 Permutations continued
6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of
More informationThe fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit
The fundamental group of the Hawaiian earring is not free Bart de Smit The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992),
More information