Quotient and Homomorphism in Krasner Ternary Hyperrings
|
|
- Melina Bryan
- 5 years ago
- Views:
Transcription
1 International Journal of Mathematical Analysis Vol. 8, 2014, no. 58, HIKARI Ltd, Quotient and Homomorphism in Krasner Ternary Hyperrings Jovannie R. Castillo Mathematics Department College of Arts and Sciences La Salle University Ozamiz City, Philippines 5200 Jocelyn S. Paradero-Vilela Department of Mathematics and Statistics College of Science and Mathematics MSU-Iligan Institute of Technology Iligan City, Philippines 9200 Copyright c 2014 Jovannie R. Castillo and Jocelyn S. Paradero-Vilela. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract In 2010, Davvaz and Mirvakili [6] initiated the research on a new class of multivalued algebra which they called a Krasner (m, n)-hyperring and have been able to come up with some fundamental relations on the structure. In this paper, more characterizations and some properties of the Krasner (2, 3)-hyperring not explored in [6] which is called a Krasner ternary hyperring are presented. Moreover, the quotient Krasner ternary hyperring are constructed via another relation and the isomorphism theorems are proved without the normality condition. Keywords: Krasner Ternary Hyperring, Ternary Semihyperring, Krasner (m, n)-ary hyperring
2 2846 Jovannie R. Castillo and Jocelyn S. Paradero-Vilela 1 Introduction Hyperstructure theory was introduced in 1934 by the French Mathematician F. Marty [10] at the 8th Congress of Scandinavian Mathematicians where he defined the notion of hyperoperation on groups. In a classical algebraic structure, the binary operation of two elements of a set is again an element of the same set, while in an algebraic hyperstructure, the hyperoperation of two elements, is a subset of the same set. If this hyperoperation sends two elements to a singleton then the hyperoperation coincides with the classical binary operation. In literature, a number of different hyperstructure theories are widely studied since these represent a suitable and natural generalization of classical algebraic structures such as groups, rings and modules and for their applications to many areas of pure and applied mathematics and computer science. A canonical hypergroup is a nonempty set H endowed with a hyperoperation + which is associative and commutative and having a two sided neutral element zero, a two sided inverse element and the axiom of near subtraction is satisfied, that is, z x+y implies x z y and y z x for all x, y, z H. In this case the hyperoperation is called a canonical hyperoperation. Hyperrings are essentially rings with slightly modified operations. Rota [11] introduced a multiplicative hyperring, where the addition is a binary operation and the multiplication is a multiplicative canonical hyperoperation. If in (R, +, ), the + is the canonical hyperoperation and the is a binary operation, then the hyperring is called Krasner hyperring. De Salvo [7], Assokumar and Velrajan [2] studied hyperrings in which the addition and multiplication are both hyperoperations. In 2004, Davvaz [3] proved the isomorphism theorems in Krasner hyperrings provided that the hyper ideals considered in the isomorphism theorems are normal. At the same year, a book of Davvaz and Leoreanu [5] entitled Hyperring Theory and Applications, presented applications in applied and pure mathematics, computer science, probability, geometry, chemistry and physics. Ternary algebra on the other hand was introduced in 1932 when D. Lehmer [8] studied certain ternary system called triplexes which turns out to be a generalization of abelian groups and of the ternary ring investigated by W.G. Lister [9] in In 2009, Davvaz [4] introduces the concept of ternary semihyperring and investigate some properties of its fuzzy hyper ideals. In 2010, Davvaz and Mirvakili [6] defined a new class of n-ary multivalued algebra called an (m, n)-hyperring and defined a fundamental relation on the structure from which they obtained (m, n)-rings using the fundamental relation in [6]. Recently, Anvariyeh [1] carried out a research on (m, n)-ary hyper modules over (m, n)-hyperring and has been able to define a strongly compatible relation on the structure and determined a sufficient condition that the
3 Quotient and homomorphism in Krasner ternary hyperrings 2847 said relation is transitive. In this paper, the authors considered a particular case of the hyper structure defined in [6] by taking m = 2 and n = 3 and they called it a Krasner ternary hyperring. The structure defined in this paper can also be viewed as stronger compaired to the ternary semihyperring introduced by Davvaz [4] which also motivates the author to explore this particular case of (m, n)-krasner hyperring. 2 Preliminaries and Basic Definitions Definition 2.1. [3] Let H be a nonempty set and let (H) be the set of all nonempty subsets of H. A map : H H (H) is called a hyperoperation on the set H. The couple (H, ) is called a hypergroupoid. If A and B are nonempty subsets of H, we define i. A B = a b; a A,b B ii. x A = a A x a; iii. B x = b B b x. Example 2.2. Define a hyperoperation on N by x y = {x, y} for all x, y N. Then (N, ) is a hypergroupoid. Definition 2.3. [3] A nonempty set H with a hyperoperation + is said to be a canonical hypergroup if the following are satisfied: i. For every x, y H, x + y = y + x; ii. for every x, y, z H, x + (y + z) = (x + y) + z; iii. 0 H H (called the neutral element of H) such that x + 0 H = {x} and 0 H + x = {x} for all x H; iv. for each x H there exists a unique element denoted by x H such that 0 H [x + ( x)] [( x) + x]; v. for every x, y, z H, z x + y implies y x + z and x y + z. The pair (H, +) is called a canonical hypergroup. Example 2.4. Let H = [0, 1]. We define a hyperaddition + on H as follows:
4 2848 Jovannie R. Castillo and Jocelyn S. Paradero-Vilela x + y = { [0, x], if x = y, {max {x, y}}, if x y. Then (H, +) is a canonical hypergroup. The following lemma follows directly from Definition 2.3 Lemma 2.5. [3] If (H, +) is a canonical hypergroup, then the following hold: i. ( a) = a; ii. 0 is the unique element such that for every a H, there is an element a H with the property 0 a + ( a); iii. 0 = 0; iv. (a + b) = a b; for all a, b H. Lemma 2.6. [3] Let (H, +) be a canonical hypergroup and N H. Then N is a subcanonical hypergroup of H if and only if x y N for all x, y N. Definition 2.7. [3] A nonempty subset N of a canonical hypergroup H is called a subcanonical hypergroup of H if N is a canonical hypergroup under the hyperoperation of H. Definition 2.8. [3] A subcanonical hypergroup N of a canonical hypergroup H is said to be normal if x N + x N for all x H. Definition 2.9. [9] Let R be a nonempty set. A ternary operation on R is a map f : R R R R. Example Consider the set Z of negative integers and is the usual multiplication on Z. Then is a ternary operation in Z which is not binary, since Z is not closed under the binary product. The next definitions and results are equivalent to those found in [6] with m = 2 and n = 3. These results are stated explicitely for comparisson purposes and easy reference. Definition A Krasner ternary hyperring is an algebraic structure (R, +, ), consisting of a nonempty set R, a hyperoperation + and ternary multiplication satisfying the following: i. (R, +) is a canonical hypergroup; ii. (a b c) d e = a (b c d) e = a b (c d e);
5 Quotient and homomorphism in Krasner ternary hyperrings 2849 iii. (a + b) c d = a c d + b c d; iv. a (b + c) d = a b d + a c d; v. a b (c + d) = a b c + a b d; vi. a b 0 = a 0 b = 0 a b = 0. for every a, b, c, d, e R. If without ambiguity, a b c can be written as abc unless otherwise specified. Example Consider the canonical hypergroup ([0, 1], +) in Example 2.4. If we define x y z = xyz for all x, y, z [0, 1], where juxtaposition denotes ordinary multiplication in R, then ([0, 1], +, ) is a ternary hyperring and the set I = [ 0, 1 2] is a hyper ideal of [0, 1]. Definition Let (R, +, ) be a Krasner ternary hyperring. A subset S of R is called a subternary hyperring if (S, +, ) is itself a ternary hyperring. A subternary hyperring S of R such that S R and S {0} is called proper subternary hyperring of R. Definition A subternary hyperring I of a Krasner ternary hyperring R is called a i. right hyper ideal of R if abi I for all a, b R and i I; ii. left hyper ideal of R if iab I for all a, b R and i I; iii. lateral hyper ideal of R if aib I for all a, b R and i I; iv. two sided hyper ideal If I is both a right and left hyper ideal; v. hyper ideal if I is left, right and lateral hyper ideal. Definition Let (R, +, ) be a ternary hyperring and A, B and C are nonempty subsets of R. By ABC, we mean the set ABC = { } n a i b i c i a i A, b i B, c i C and n N. i=1 In particular, abc = {abc c C}, Cab = {cab c C} and acb = {acb c C}. Lemma Let R be a Krasner ternary hyperring. Then i. If I, J are hyper ideals of R, then I + J is a hyper ideal of R. ii. If I, J, and K are hyper ideals of R, then IJK is a hyper ideal of R. iii. The intersection of arbitrary hyper ideals of R is a hyper ideal of R. iv. If I is a hyper ideal of R and x, y R, then xyi = {xyi i I} = I.
6 2850 Jovannie R. Castillo and Jocelyn S. Paradero-Vilela 3 Main Results Lemma 3.1. Let (R, +, 0) be a canonical hypergroup and x, y, z R. z x + y, then z (x + y). If Proof : Let z x + y. Since (R, +) is a canonical hypergroup, by Definition 2.3(i) and (v), y x + z = z + ( x). Applying Definition 2.3(i) and (v) again, x z + y = y + ( z) and therefore, z y + ( x) = x y = (x + y). Lemma 3.2. (Hyper ideal Criterion) Let R be a Krasner ternary hyperring. A nonempty subset I of R is a right [resp. left and lateral] hyper ideal of R if and only if for all i, j I and a, b R i. i j I, ii. abi I [resp. iab I and aib I]. Proof : It directly follows from Lemma 2.6 that (I, +) is a canonical hypergroup if and only if condition(i) is satisfied. Thus, by Definition 2.14, I is a hyper ideal of R. Remark 3.3. Let R be a Krasner ternary hyperring and S a subternary hyperring of R. If I is a hyper ideal of R such that I S, then I is a hyper ideal of S. To see this, since S is a subternary hyperring of R, by Lemma 2.6, Theorem 3.2(i) is satisfied. On the other hand, since S R, Theorem 3.2(ii) hold. Accordingly, by Theorem 3.2, I is a hyper ideal of S. The next remark follows directly from Lemma 2.16(i) and Remark 3.3. Remark 3.4. Let R be a Krasner ternary hyperring and I, J be right[resp. left and lateral] hyper ideal of R. Then I J is a hyper ideal of I and J. Also, I and J are hyper ideals of I + J. Theorem 3.5. Let I, J be right [resp. left and lateral] hyper ideals of a Krasner ternary hyperring R. Then I + J is the smallest hyper ideal containing I and J. Proof : By Remark 3.4, I I + J and J I + J. Thus, I J I + J. Now, let K be a hyper ideal of R such that I J K and let x I + J. Then, there exists i I and j J such that x i + j. Since K is a hyper ideal, by Lemma 3.2(i), i + j K. Therefore, x K. Consequently, I + J K.
7 Quotient and homomorphism in Krasner ternary hyperrings 2851 The next result is the construction of the the quotient class of a Krasner ternary hyperring where the hyper ideal considered in the construction is not necessarily normal. Theorem 3.6. Let (R, +, ) be a Krasner ternary hyperring and I a hyper ideal of R. We define the relation by a b if and only if a b + I. Then is an equivalence relation on R. Proof : Let a, b, c R. Then 0 a a. Since I is a hyper ideal of R, 0 I. Therefore a {a} = a + 0 a + I. Hence a a. Therefore, is reflexive. Suppose a b R. Then a b + I. Thus, i I such that a b + i. By Lemmas 3.1 and 2.5, a (b + i) = b i. Thus, by Definition 2.3(iv), b a + i. Consequently, by Lemmas 3.1, and 2.5(iv), b = ( b) ( a + i) = a i. Since I is a hyper ideal, i I. Hence, b a + I. Therefore, b a. Accordingly, is symmetric. Finally, Suppose that a b and b c. Then a b + I and b c + I. Thus a b + i 1 and b c + i 2 for some i 1, i 2 I. Hence a b + i 1 x + i 1 = (c + i 2 ) + i 1 = c + (i 1 + i 2 ) c + I. x c+i 2 Therefore, a c. Accordingly, is transitive. Definition 3.7. Let R be a ternary hyperring. The equivalence class of a R under is defined as a = {x R x a}. The set R/I is the set of all equivalence classes of R. Remark 3.8. Let R be a ternary hyperring, I a hyper ideal of R, and x, y R. Then x + I = y + I if and only if x y + I. To see this, x = x + I and y = y + I. But x = y if and only if x y. Thus, x + I = y + I if and only if x y + I or y x + I. Theorem 3.9. Let (R, +, ) be a Krasner ternary hyperring and I a hyper ideal of R. Then R/I is a Krasner ternary hyperring with the canonical hyperoperation and ternary multiplication defined as follows. (a + I) (b + I) = {x + I x a + b} and (a 1 + I) (a 2 + I) (a 3 + I) = a 1 a 2 a 3 + I. Proof : Let a + I, b + I, c + I, d + I R/I. Then (a + I) (b + I) = {r + I r a + b} = {r + I r b + a} = (b + I) (a + I) Thus, is a commutative hyperoperation on R/I. Also
8 2852 Jovannie R. Castillo and Jocelyn S. Paradero-Vilela [(a + I) (b + I)] (c + I) = x+i (a+i) (b+i) = x a+b = x a+b = = x a+b (x + I) (c + I) {y + I y x + c} {y + I y (a + b) + c} {y + I y a + (b + c)} x+i (a+i) (b+i) = (a + I) [(b + I) (c + I)] Thus is an associative hyperoperation on R/I. a + I R/I, (a + I) {x + I x b + c} Now, for every (a + I) (0 + I) = {x + I x a + 0} = {x + I x {a}} = {a + I}. Hence, I is the neutral element in R/I. Also, for every a + I R/I, a + I R/I and (a + I) ( a + I) = {x + I x a a}. Since 0 a a, I (a + I) ( a + I). Therefore, every element of R/I has an inverse element in R/I. Finally, suppose that c + I (a + I) (b + I). Then c + I {x + I x a + b}. Thus c + I = r + I for some r a + b. By Definition 2.3(v), a r b. So by Remark 3.8, c r + I. It follows that there exist i I such that c r + i. By Definition 2.3(v), r c i. Hence a r b (c i) b = (c b) i (c b) + I. Thus, a x + I for some x c b. By Remark 3.8, a + I = x + I for some x c b. So a + I {r + I r c b} = (c + I) ( b + I). Similarly, b+i (c + I) ( a + I). Therefore, by Definition 2.3, (R/I, ) is a canonical hypergroup. Thus, condition(i) of Definition 2.11 is satisfied. Finally, [(a + I) (b + I)] (c + I) (d + I) = {x + I x a + b} (c + I) (d + I) = {xcd + I x a + b} = {r + I r (a + b) cd} = {r + I r acd + bcd} = (acd + I) (bcd + I) = (a + I) (c + I) (d + I) (b + I) (c + I) (d + I). Hence, condition(ii) of Definition 2.11 is satisfied. Conditions (iii),(iv), and (v) are proved similarly. Therefore, (R/I,, ) is a Krasner ternary hyperring.
9 Quotient and homomorphism in Krasner ternary hyperrings 2853 Definition Let I be a hyper ideal of a Krasner ternary hyperring R. The Krasner ternary hyperring R/I is called the factor or quotient Krasner ternary hyperring. Theorem Let I and J be hyper ideals of a Krasner ternary hyperring R such that I J. Then J/I is a hyper ideal of R/I. Proof : Immediately follows from Remark 3.3 since J/I R/I. Definition Let (R 1, +, ) and (R 2,, ) be two ternary hyperrings. A mapping φ : R 1 R 2 is called a homomorphism if the following are satisfied: i. φ (a + b) = φ (a) φ (b) for all a, b R 1 ; ii. φ (a 1 a 2 a 3 ) = φ (a 1 ) φ (a 2 ) φ (a 3 ) for all a 1, a 2, a 3 R 1 ; iii. φ (0 R1 ) = 0 R2. Definition Let φ be a homomorphism from a Krasner ternary hyperring R 1 into a Krasner ternary hyperring R 2. Then i. the set {x R φ (x) = 0} is called the kernel of φ and is denoted by Ker φ, ii. the set {φ (x) x R 1 } is called the Image of φ and is denoted by Im φ. Lemma If φ : R 1 R 2 is a homomorphism, then φ ( x) = φ (x) for all x R 1. Proof: Let x R 1. Since φ is a homomorphism φ (x x) = φ (x) + φ ( x). Since 0 x x, it follows that φ (0) = 0 φ (x) + φ ( x). Therefore, by Definition 2.3 (iv), φ ( x) = φ (x). Theorem Let φ be a homomorphism from a Krasner ternary hyperring (R 1, +, ) into a Krasner ternary hyperring (R 2,, ). Then i. Ker φ is a hyper ideal of R 1. ii. If φ is an epimorphism and I is a hyper ideal of R 1, then φ (I) is a hyper ideal of R 2. iii. If B is a hyper ideal of R 2, then f 1 (B) = {a R 1 f (a) B} is a hyper ideal of R 1 containing Ker f. Proof :
10 2854 Jovannie R. Castillo and Jocelyn S. Paradero-Vilela i. Let a, b Ker φ. Then φ (a b) = φ (a) φ (b) = 0 0 = {0}. Therefore, a b Ker φ. On the otherhand, let a 1, a 2 R and i Ker φ. Then φ (a 1 a 2 i) = φ (a 1 ) φ (a 2 ) φ (i) = φ (a 1 ) φ (a 2 ) 0 = 0. Thus, a 1 a 2 i Ker φ. Therefore by Lemma 3.2, Ker φ is a hyper ideal of R 1. ii. Let y 1, y 2 φ (I). Then there exist x 1, x 2 I such that φ (x 1 ) = y 1 and φ (x 2 ) = y 2. Thus, by Lemma 3.14, y 1 y 2 = φ (x 1 ) φ (x 2 ) = φ (x 1 x 2 ) φ (I). On the otherhand, let y 1, y 2 R 2 and i Im φ. Since φ is an epimorphism, there exist x 1, x 2, x R 1 such that φ (x 1 ) = y 1, φ (x 2 ) = y 2, and φ (x) = i. Thus, y 1 y 2 i = φ (x 1 ) φ (x 2 ) φ (x) = φ (x 1 x 2 x) φ (I). Therefore, by Lemma 3.2 φ (I) is a hyper ideal of R 2. iii. Let a, b f 1 (B). Then f (a), f (b) B. Since f is a homomorphism and B is a hyper ideal, f (a b) = f (a) f (b) B. Hence, a b f 1 (B). Also, for all i f 1 (B) and x, y R 1, f (xyi) = f (x) f (y) f (i) B. Thus, xyi f 1 (B). Similarly, xiy, ixy f 1 (B). Therefore, by Theorem 3.2, f 1 (B) is a hyper ideal of R 1. Finally, if x Ker f, then f (x) = 0 B. Hence, x f 1 (B). Therefore, Ker f f 1 (B). Theorem Let R be a Krasner ternary hyperring and I a hyper ideal of R. Then the map π : R R/I defined by π (r) = r + I for every r R is an epimorphism with kernel I. Proof: Let a, b R 1 such that a = b. Then a + I = b + I. Thus π (a) = π (b), which means that π is a well defined map. Now, and π (a + b) = {π (x) x a + b} π (abc) = abc + I = {x + I x a + b} = (a + I) (b + I) = π (a) π (b) = (a + I) (b + I) (c + I) = π (a) π (b) π (c).
11 Quotient and homomorphism in Krasner ternary hyperrings 2855 Hence, π is a homomorphism. Also, let x + I R/I. Then x R and φ (x) = x + I. Thus π is an epimorphism. Finally, by Remark 3.8, Ker π = {r R 1 π (r) = I} = {r R 1 r + I = I} = {r R 1 r I} = I The function π in Theorem 3.16 is called the canonical ternary hyperring epimorphism. Theorem Let f : R 1 R 2 be a homomorphism of Krasner ternary hyperrings and I be a hyper ideal of R 1 contained in the kernel of f. Then i. there exists a unique homomorphism φ : R 1 /I R 2 defined by φ (r + I) = f (r); ii. Im f = Im φ; iii. φ is an isomorphism if and only if f is an epimorphism and Ker f = I. Proof : Let x + I, y + I, z + I R 1 /I and f : R 1 R 2 be a homomorphism. i. Suppose that x + I = y + I. Then, by Remark 3.8 x y + I. Thus, x y + i for some i I. Hence, f (x) f (y + i) = f (y) + f (i) = f (y) + 0 = {f (y)}. Therefore, f (x) = f (y) and so φ (x + I) = φ (y + I). Thus, φ is a well defined map. Now, and φ ((x + I) (y + I)) = φ ({c + I c x + y}) = {f (c) c x + y} = f (x + y) = f (x) + f (y) = φ (x + I) φ (y + I) φ ((x + I) (y + I) (z + I)) = φ (xyz + I) = f (xyz) = f (x) f (y) f (z) = φ (x + I) φ (y + I) φ (z + I) Hence, φ is a Krasner ternary hyperring homomorphism and φ is unique since it is uniquely determined by f.
12 2856 Jovannie R. Castillo and Jocelyn S. Paradero-Vilela ii. Observe that Im φ = {y R 2 φ (x + I) = y, x + I R/I} = {y R 2 f (x) = y} = Im f and Ker φ = {x + I φ (x + I) = 0} = {x + I f (x) = 0} = {x + I x Ker f} = (Ker f) /I. iii. Suppose that φ is an isomorphism. Then, by (ii), Im f = Im φ = R 2. Thus, f is an epimorphism. On the other hand, let x Ker f. Then f (x) = 0 = f (0). Hence, φ (x + I) = φ (0 + I). Since φ is injective, x + I = I. Thus, by Remark 3.8, x I. Therefore, Ker f I. By hypothesis, I Ker f. So I = Ker f. Conversely, by (i), φ is a homomorphism. Let x + I, y + I R/I such that φ (x + I) = φ (y + I). Then f (x) = f (y). Thus, 0 f (x) f (y) = f (x y) by Definition 2.3(iv). Since f (0) = 0, there exists t x y such that f (t) = 0. Hence t Ker f = I. By Definition 2.3(v), x ( y) + t = y+t y+i. By Remark 3.8, x+i = y+i. Therefore φ is injective. Now, let y R 2. Since f is an epimorphism, x R 1 such that f (x) = y. Thus, φ (x + I) = f (x) = y. Hence φ is surjective. Therefore, φ is an isomorphism. Theorem (First Isomorphism Theorem) Let (R 1, +, ) and (R 2,, ) be Krasner ternary hyperrings and let φ : R 1 R 2 be a homomorphism. Then φ induces an isomorphism of Krasner ternary hyperrings R 1 /Ker φ = Im φ. Proof : Let φ : R 1 Im φ. Then φ is an epimorphism. Let I = Ker φ, By Theorem 3.17, R 1 /Ker φ = Im φ. Theorem (Second Isomorphism Theorem) Let R be a Krasner ternary hyperring and I,J be hyper ideals of R, then I/ (I J) = (I + J) /J. Proof : Let I and J be hyper ideals of R. By Remark 3.4 and Corollary 3.5, I J is a hyper ideal of I and J is a hyper ideal of I + J respectively. Thus, by Theorem 3.9, (I + J) /I and I/ (I J) are quotient ternary hyperrings. Define a map φ : J (I + J) /I by φ (j) = j +I. Let a, b J such that a = b.
13 Quotient and homomorphism in Krasner ternary hyperrings 2857 Then a + I = b + I. Therefore, φ (a) = φ (b) and φ is a well defined map. Let a, b, c J. Then φ (a + b) = {φ (x) x a + b} = {x + I x a + b} = (a + I) (b + I) = φ (a) + φ (b) and φ (abc) = abc + I = (a + I) (b + I) (c + I) = φ (a) φ (b) φ (c) Therefore, φ is a homomorphism. Also Ker φ = {x J φ (j) = 0} = {x J x + I = I} = {x J x I} = I J and Im φ = {φ (x) (J + I) /I x J} = {x + I (J + I) /I x J} = (I + J) /I Therefore, by Theorem 3.18, I/ (I J) = (I + J) /J. Theorem (Third Isomorphism Theorem) Let I and J be hyper ideals of a Krasner ternary hyperring R. If I J, then R/I/J/I = R/J. Proof : By Theorem 3.9, J/I is a hyper ideal of R/I. Thus by Theorem 3.11 R/I/J/I is a quotient ternary hyperring. Define a map φ : R/I R/J by φ (x + I) = x + J and let x + I, y + I R/I such that x + I = y + I. By Remark 3.8, x y + I. Thus, x y + i, i I. Since I J, i J. Therefore, x y + i y + J. It follows that x y + J. Hence, by Remark 3.8, x + J = y + J, which means that φ (x) = φ (y). Therefore, φ is well-defined. Let a, b, c R. Then φ [(a + I) (b + I)] = φ {x + I x a + b} = {φ (x + I) x a + b} = {x + J x a + b} = (a + J) (b + J) = φ (a + I) (b + I)
14 2858 Jovannie R. Castillo and Jocelyn S. Paradero-Vilela and and φ [(a + I) (b + I) (c + I)] = φ (abc + I) = abc + J Therefore, φ is a homomorphism. Finally, = (a + J) (b + J) (c + J) = φ (a + I) φ (b + I) φ (c + I) Ker φ = {x + I R/I φ (x + I) = J} = {x + I R/I x + J = J} = {x + I x J} = J/I Im φ = {φ (x + I) x + I R/I} = {x + J x R} = R/J Therefore, by Theorem 3.18, (R/I) / (J/I) = R/J. Theorem (Correspondence Theorem) If I and J are hyper ideals of a Krasner ternary hyperring R, then there is a one-to-one correspondence between the set of hyper ideals of R which contains I and the set of all hyper ideals of R/I, given by J J/I. Hence, every hyper ideal in R/I is of the form J/I, where J is a hyper ideal of R containing I. Proof : Let I be a hyper ideal of R. Then, by Theorem 3.16, f : R R/I is an epimorphism with kernel I. Now, if J is a hyper ideal of R, then by Theorem 3.11, f (J) = J/I is a hyper ideal of R/I and if K is a hyper ideal of R/I, then by Theorem 3.15(iii), f 1 (K) is a hyper ideal of R. Thus, the map φ from the set of hyper ideals of R which contains I to the set of hyper ideals of R/I is a well defined map. Now, if K is a hyper ideal of R/I, then {0 + I} = {I} K. Thus I = Ker f = f 1 (I) f 1 (K). Hence, φ (f 1 (K)) = f (f 1 (K)) = K and φ is surjective. Next, claim that if J is a hyper ideal of R containing I, then f 1 (f (J)) = J. Clearly, J f 1 (f (J)). Let x f 1 (f (J)). Then, f (x) f (J), hence f (x) = f (j) for some j J. Hence, x + I = j + I. By Remark 3.8, x k + I. Since I J, x k + I J. Thus, x J. This proves the claim. Now, Let M and N be hyper ideals of R containing I such that φ (M) = φ (N). Then f (M) = f (N) and f 1 (f (M)) = f 1 (f (N)) which imply that M = N by the claim. Hence, φ is injective. Finally, observe that f (J) = J/I.
15 Quotient and homomorphism in Krasner ternary hyperrings 2859 References [1] Anvariyeh S.M., and Mirkavili S., Canonical (m, n) Hypermodules over Krasner (m, n) ary Hyperrings. Iranian Journal of Mathematical Sciences and Informatics. Vol.7, No.2 (2012). [2] Asokkumar A. and Velrajan M., Hyperring of Matrices Over a Regular Hyperring. Italian Journal of Pure and Applied Mathematics. No. 23, (2008). [3] Davvaz B., Isomorphism Theorems of Hyperrings. Indian Journal of Pure and Applied Mathematics. Vol.35, No. 3, (2004). [4] Davvaz B., Fuzzy hyperideals in Ternary Semihyperrings. Iranian Journal of Fuzzy Systems. Vol. 6, No. 4, (2009). [5] Davvaz B. and Leoreanu-Fotea V., Hyperring Theory and Applications. International Academic Press. Palm Harbor, Florida, USA. (2007). [6] Davvaz B and Mirvakili S, Relations on Krasner (m, n)- hyperrings, European Journal of Combinatorics, Vol. 31, (2010). [7] De Salvo M., Hyperrings and Hyperfields. Annales Scientifiques de Universite de Clermont-Ferrand II. No. 22, (1984). [8] Lehmer D. H., A Ternary Analogue of Abelian Groups. American Journal of Mathematics. Vol. 54, No. 2., (1932). [9] Lister W. G., Ternary Rings. Transactions of the American Mathematical Society. Vol. 154, (1971). [10] Marty F., Sur une Generalization de la Notion de Groupe. 8th Congres Math. Scandinaves, Stockholm. pp , (1934). [11] Rota R., Strongly Distributive Multiplicative Hyperrings. Journal of Geometry. Vol.39, No. 1, (1990). Received: October 15, 2014; Published: December 15, 2014
Prime Hyperideal in Multiplicative Ternary Hyperrings
International Journal of Algebra, Vol. 10, 2016, no. 5, 207-219 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.6320 Prime Hyperideal in Multiplicative Ternary Hyperrings Md. Salim Department
More informationDirect Product of BF-Algebras
International Journal of Algebra, Vol. 10, 2016, no. 3, 125-132 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.614 Direct Product of BF-Algebras Randy C. Teves and Joemar C. Endam Department
More informationZARISKI TOPOLOGY FOR SECOND SUBHYPERMODULES
ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (554 568) 554 ZARISKI TOPOLOGY FOR SECOND SUBHYPERMODULES Razieh Mahjoob Vahid Ghaffari Department of Mathematics Faculty of Mathematics Statistics
More informationSOME STRUCTURAL PROPERTIES OF HYPER KS-SEMIGROUPS
italian journal of pure and applied mathematics n. 33 2014 (319 332) 319 SOME STRUCTURAL PROPERTIES OF HYPER KS-SEMIGROUPS Bijan Davvaz Department of Mathematics Yazd University Yazd Iran e-mail: davvaz@yazduni.ac.ir
More informationOn the Hypergroups Associated with
Journal of Informatics and Mathematical Sciences Vol. 6, No. 2, pp. 61 76, 2014 ISSN 0975-5748 (online); 0974-875X (print) Published by RGN Publications http://www.rgnpublications.com On the Hypergroups
More informationMappings of the Direct Product of B-algebras
International Journal of Algebra, Vol. 10, 2016, no. 3, 133-140 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.615 Mappings of the Direct Product of B-algebras Jacel Angeline V. Lingcong
More informationFUZZY HYPERIDEALS IN TERNARY SEMIHYPERRINGS
Iranian Journal of Fuzzy Systems Vol. 6, No. 4, (2009) pp. 21-36 21 FUZZY HYPERIDEALS IN TERNARY SEMIHYPERRINGS B. DAVVAZ Abstract. In a ternary semihyperring, addition is a hyperoperation and multiplication
More informationTWIST PRODUCT DERIVED FROM Γ-SEMIHYPERGROUP
Kragujevac Journal of Mathematics Volume 42(4) (2018), Pages 607 617. TWIST PRODUCT DERIVED FROM Γ-SEMIHYPERGROUP S. OSTADHADI-DEHKORDI Abstract. The aim of this research work is to define a new class
More informationKyung Ho Kim, B. Davvaz and Eun Hwan Roh. Received March 5, 2007
Scientiae Mathematicae Japonicae Online, e-2007, 649 656 649 ON HYPER R-SUBGROUPS OF HYPERNEAR-RINGS Kyung Ho Kim, B. Davvaz and Eun Hwan Roh Received March 5, 2007 Abstract. The study of hypernear-rings
More informationEuropean Journal of Combinatorics
European Journal of Combinatorics 31 (2010) 780 789 Contents lists available at ScienceDirect European Journal of Combinatorics journal homepage: www.elsevier.com/locate/ejc Hypergroups and n-ary relations
More informationAPPROXIMATIONS IN H v -MODULES. B. Davvaz 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 6, No. 4, pp. 499-505, December 2002 This paper is available online at http://www.math.nthu.edu.tw/tjm/ APPROXIMATIONS IN H v -MODULES B. Davvaz Abstract. In this
More informationPROPERTIES OF HYPERIDEALS IN ORDERED SEMIHYPERGROUPS. Thawhat Changphas. Bijan Davvaz
italian journal of pure and applied mathematics n. 33 2014 (425 432) 425 PROPERTIES OF HYPERIDEALS IN ORDERED SEMIHYPERGROUPS Thawhat Changphas Department of Mathematics Faculty of Science Khon Kaen University
More informationInternational Journal of Algebra, Vol. 7, 2013, no. 3, HIKARI Ltd, On KUS-Algebras. and Areej T.
International Journal of Algebra, Vol. 7, 2013, no. 3, 131-144 HIKARI Ltd, www.m-hikari.com On KUS-Algebras Samy M. Mostafa a, Mokhtar A. Abdel Naby a, Fayza Abdel Halim b and Areej T. Hameed b a Department
More informationΓ-Semihyperrings: Approximations and Rough Ideals
BULLETIN of the MALAYSIAN MATHEMATICAL SCIENCES SOCIETY http:/math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 35(4) (2012), 1035 1047 Γ-Semihyperrings: Approximations and Rough Ideals S. O. DEHKORDI
More informationHyperideals and hypersystems in LA-hyperrings
Songklanakarin J. Sci. Technol. 39 (5), 651-657, Sep. - Oct. 017 http://www.sjst.psu.ac.th Original Article Hyperideals and hypersystems in LA-hyperrings Inayatur Rehman 1, Naveed Yaqoob *, and Shah Nawaz
More informationOn KS-Semigroup Homomorphism
International Mathematical Forum, 4, 2009, no. 23, 1129-1138 On KS-Semigroup Homomorphism Jocelyn S. Paradero-Vilela and Mila Cawi Department of Mathematics, College of Science and Mathematics MSU-Iligan
More informationMore on Tree Cover of Graphs
International Journal of Mathematical Analysis Vol. 9, 2015, no. 12, 575-579 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2015.410320 More on Tree Cover of Graphs Rosalio G. Artes, Jr.
More informationWhen is the Ring of 2x2 Matrices over a Ring Galois?
International Journal of Algebra, Vol. 7, 2013, no. 9, 439-444 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2013.3445 When is the Ring of 2x2 Matrices over a Ring Galois? Audrey Nelson Department
More informationCompletely Simple and Regular Semi Hypergroups
BULLETIN of the MALAYSIAN MATHEMATICAL SCIENCES SOCIETY http:/math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 35(2) (2012), 335 343 Completely Simple and Regular Semi Hypergroups 1 HOSSEIN MOUSA
More informationFuzzy congruence relations on nd-groupoids
Proceedings of the International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2008 13 17 June 2008. Fuzzy congruence relations on nd-groupoids P. Cordero 1, I.
More informationSongklanakarin Journal of Science and Technology SJST R1 Yaqoob. Hyperideals and Hypersystems in LA-hyperrings
Songklanakarin Journal of Science and Technology SJST-0-0.R Yaqoob Hyperideals and Hypersystems in LA-hyperrings Journal: Songklanakarin Journal of Science and Technology Manuscript ID SJST-0-0.R Manuscript
More informationON THE HYPERBANACH SPACES. P. Raja. S.M. Vaezpour. 1. Introduction
italian journal of pure and applied mathematics n. 28 2011 (261 272) 261 ON THE HYPERBANACH SPACES P. Raja Department O Mathematics Shahid Beheshti University P.O. Box 1983963113, Tehran Iran e-mail: pandoora
More informationOn weak Γ-(semi)hypergroups
PURE MATHEMATICS RESEARCH ARTICLE On weak Γ-(semi)hypergroups T Zare 1, M Jafarpour 1 * and H Aghabozorgi 1 Received: 29 September 2016 Accepted: 28 December 2016 First Published: 14 February 2017 *Corresponding
More informationOn generalized fuzzy sets in ordered LA-semihypergroups
Proceedings of the Estonian Academy of Sciences, 2019, 68, 1, 43 54 https://doi.org/10.3176/proc.2019.1.06 Available online at www.eap.ee/proceedings On generalized fuzzy sets in ordered LA-semihypergroups
More informationResearch Article Introduction to Neutrosophic BCI/BCK-Algebras
International Mathematics and Mathematical Sciences Volume 2015, Article ID 370267, 6 pages http://dx.doi.org/10.1155/2015/370267 Research Article Introduction to Neutrosophic BCI/BCK-Algebras A. A. A.
More informationSome Properties of D-sets of a Group 1
International Mathematical Forum, Vol. 9, 2014, no. 21, 1035-1040 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2014.45104 Some Properties of D-sets of a Group 1 Joris N. Buloron, Cristopher
More informationRings and Fields Theorems
Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)
More informationRegular Weakly Star Closed Sets in Generalized Topological Spaces 1
Applied Mathematical Sciences, Vol. 9, 2015, no. 79, 3917-3929 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2015.53237 Regular Weakly Star Closed Sets in Generalized Topological Spaces 1
More informationSome remarks on hyper MV -algebras
Journal of Intelligent & Fuzzy Systems 27 (2014) 2997 3005 DOI:10.3233/IFS-141258 IOS Press 2997 Some remarks on hyper MV -algebras R.A. Borzooei a, W.A. Dudek b,, A. Radfar c and O. Zahiri a a Department
More informationr-ideals of Commutative Semigroups
International Journal of Algebra, Vol. 10, 2016, no. 11, 525-533 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2016.61276 r-ideals of Commutative Semigroups Muhammet Ali Erbay Department of
More informationMathematical prediction of Ying s twin universes
American Journal of Modern Physics 2015; 4(1-1): 5-9 Published online November 11, 2014 (http://www.sciencepublishinggroup.com/j/ajmp) doi: 10.11648/j.ajmp.s.2015040101.12 ISSN: 2326-8867 (Print); ISSN:
More information1 Introduction and preliminaries
Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Filomat 6:1 (01), 55 65 DOI: 10.98/FIL101055K Algebraic hyper-structures associated to convex
More informationPrime filters of hyperlattices
DOI: 10.1515/auom-2016-0025 An. Şt. Univ. Ovidius Constanţa Vol. 24(2),2016, 15 26 Prime filters of hyperlattices R. Ameri, M. Amiri-Bideshki, A. B. Saeid and S. Hoskova-Mayerova Abstract The purpose of
More informationEuropean Journal of Combinatorics. Enumeration of Rosenberg-type hypercompositional structures defined by binary relations
European Journal of Combinatorics 33 (2012) 1777 1786 Contents lists available at SciVerse ScienceDirect European Journal of Combinatorics journal homepage: www.elsevier.com/locate/ejc Enumeration of Rosenberg-type
More informationIntuitionistic Fuzzy Hyperideals in Intuitionistic Fuzzy Semi-Hypergroups
International Journal of Algebra, Vol. 6, 2012, no. 13, 617-636 Intuitionistic Fuzzy Hyperideals in Intuitionistic Fuzzy Semi-Hypergroups K. S. Abdulmula and A. R. Salleh School of Mathematical Sciences,
More informationThe Lie-Santilli admissible hyperalgebras of type D n
The Lie-Santilli admissible hyperalgebras of type D n Pipina Nikolaidou, Thomas Vougiouklis Democritus University of Thrace, School of Education, 68 100 Alexandroupolis, Greece pnikolai@eled.duth.gr, tvougiou@eled.duth.gr
More informationCanonical Commutative Ternary Groupoids
International Journal of Algebra, Vol. 11, 2017, no. 1, 35-42 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2017.714 Canonical Commutative Ternary Groupoids Vesna Celakoska-Jordanova Faculty
More informationRINGS: SUMMARY OF MATERIAL
RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered
More informationOn Geometric Hyper-Structures 1
International Mathematical Forum, Vol. 9, 2014, no. 14, 651-659 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2014.312232 On Geometric Hyper-Structures 1 Mashhour I.M. Al Ali Bani-Ata, Fethi
More informationOn Symmetric Bi-Multipliers of Lattice Implication Algebras
International Mathematical Forum, Vol. 13, 2018, no. 7, 343-350 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/imf.2018.8423 On Symmetric Bi-Multipliers of Lattice Implication Algebras Kyung Ho
More informationResearch Article r-costar Pair of Contravariant Functors
International Mathematics and Mathematical Sciences Volume 2012, Article ID 481909, 8 pages doi:10.1155/2012/481909 Research Article r-costar Pair of Contravariant Functors S. Al-Nofayee Department of
More informationUni-soft hyper BCK-ideals in hyper BCK-algebras.
Research Article http://wwwalliedacademiesorg/journal-applied-mathematics-statistical-applications/ Uni-soft hyper BCK-ideals in hyper BCK-algebras Xiao Long Xin 1*, Jianming Zhan 2, Young Bae Jun 3 1
More informationCongruences in Hypersemilattices
International Mathematical Forum, Vol. 7, 2012, no. 55, 2735-2742 Congruences in Hypersemilattices A. D. Lokhande Yashwantrao Chavan Warna College Warna nagar, Kolhapur, Maharashtra, India e-mail:aroonlokhande@gmail.com
More informationALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.
ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. KEVIN MCGERTY. 1. RINGS The central characters of this course are algebraic objects known as rings. A ring is any mathematical structure where you can add
More informationAxioms of Countability in Generalized Topological Spaces
International Mathematical Forum, Vol. 8, 2013, no. 31, 1523-1530 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2013.37142 Axioms of Countability in Generalized Topological Spaces John Benedict
More informationIntroduction to Neutrosophic BCI/BCK-Algebras
Introduction to Neutrosophic BCI/BCK-Algebras A.A.A. Agboola 1 and B. Davvaz 2 1 Department of Mathematics, Federal University of Agriculture, Abeokuta, Nigeria aaaola2003@yahoo.com 2 Department of Mathematics,
More informationA Generalization of p-rings
International Journal of Algebra, Vol. 9, 2015, no. 8, 395-401 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2015.5848 A Generalization of p-rings Adil Yaqub Department of Mathematics University
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationScientiae Mathematicae Japonicae Online, Vol. 4(2001), FUZZY HYPERBCK IDEALS OF HYPERBCK ALGEBRAS Young Bae Jun and Xiao LongXin Received
Scientiae Mathematicae Japonicae Online, Vol. 4(2001), 415 422 415 FUZZY HYPERBCK IDEALS OF HYPERBCK ALGEBRAS Young Bae Jun and Xiao LongXin Received August 7, 2000 Abstract. The fuzzification of the notion
More informationµs p -Sets and µs p -Functions
International Journal of Mathematical Analysis Vol. 9, 2015, no. 11, 499-508 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2015.412401 µs p -Sets and µs p -Functions Philip Lester Pillo
More informationRight Derivations on Semirings
International Mathematical Forum, Vol. 8, 2013, no. 32, 1569-1576 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2013.38150 Right Derivations on Semirings S. P. Nirmala Devi Department of
More informationComplete and Fuzzy Complete d s -Filter
International Journal of Mathematical Analysis Vol. 11, 2017, no. 14, 657-665 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ijma.2017.7684 Complete and Fuzzy Complete d s -Filter Habeeb Kareem
More informationRatio Mathematica, 21, 2011, pp Technological Institute of Chalkis, GR34400, Evia, Greece b. 54, Klious st., GR15561, Cholargos-Athens, Greece
Ratio Mathematica, 21, 2011, pp. 75-90 THE TRANSPOSITION AXIOM IN HYPERCOMPOSITIONAL STRUCTURES Ch. G. Massouros a,b and G. G. Massouros a,b a Technological Institute of Chalkis, GR34400, Evia, Greece
More informationAn Investigation on Ordered Algebraic Hyperstructures
Acta Mathematica Sinica, English Series Aug., 2017, Vol. 33, No. 8, pp. 1107 1124 Published online: April 24, 2017 DOI: 10.1007/s10114-017-6093-7 Http://www.ActaMath.com Acta Mathematica Sinica, English
More informationMP-Dimension of a Meta-Projective Duo-Ring
Applied Mathematical Sciences, Vol. 7, 2013, no. 31, 1537-1543 HIKARI Ltd, www.m-hikari.com MP-Dimension of a Meta-Projective Duo-Ring Mohamed Ould Abdelkader Ecole Normale Supérieure de Nouakchott B.P.
More informationCharacterizations of Prime and Weakly Prime Subhypermodules
International Mathematical Forum, Vol. 7, 2012, no. 58, 2853-2870 Characterizations of Prime and Weakly Prime Subhypermodules A. Siraworakun and S. Pianskool 1 Department of Mathematics and Computer Science
More informationGeneralized Derivation on TM Algebras
International Journal of Algebra, Vol. 7, 2013, no. 6, 251-258 HIKARI Ltd, www.m-hikari.com Generalized Derivation on TM Algebras T. Ganeshkumar Department of Mathematics M.S.S. Wakf Board College Madurai-625020,
More informationOn J(R) of the Semilocal Rings
International Journal of Algebra, Vol. 11, 2017, no. 7, 311-320 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2017.61169 On J(R) of the Semilocal Rings Giovanni Di Gregorio Dipartimento di
More informationIntegration over Radius-Decreasing Circles
International Journal of Mathematical Analysis Vol. 9, 2015, no. 12, 569-574 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2015.47206 Integration over Radius-Decreasing Circles Aniceto B.
More informationInduced Cycle Decomposition of Graphs
Applied Mathematical Sciences, Vol. 9, 2015, no. 84, 4165-4169 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2015.5269 Induced Cycle Decomposition of Graphs Rosalio G. Artes, Jr. Department
More informationLecture 7.3: Ring homomorphisms
Lecture 7.3: Ring homomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson) Lecture 7.3:
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationSérie Mathématiques. Annales scientifiques de l Université de Clermont-Ferrand 2, tome 95, série Mathématiques, n o 26 (1990), p.
ANNALES SCIENTIFIQUES DE L UNIVERSITÉ DE CLERMONT-FERRAND 2 Série Mathématiques THOMAS VOUGIOUKLIS On some representations of hypergroups Annales scientifiques de l Université de Clermont-Ferrand 2, tome
More informationCharacterization of Weakly Primary Ideals over Non-commutative Rings
International Mathematical Forum, Vol. 9, 2014, no. 34, 1659-1667 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2014.49155 Characterization of Weakly Primary Ideals over Non-commutative Rings
More informationQuasi-Bigraduations of Modules, Slow Analytic Independence
International Mathematical Forum, Vol 13, 2018, no 12, 547-563 HIKRI Ltd, wwwm-hikaricom https://doiorg/1012988/imf201881060 Quasi-Bigraduations of Modules, Slow nalytic Independence Youssouf M Diagana
More informationMATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.
MATH 101: ALGEBRA I WORKSHEET, DAY #1 We review the prerequisites for the course in set theory and beginning a first pass on group theory. Fill in the blanks as we go along. 1. Sets A set is a collection
More informationRegular Generalized Star b-continuous Functions in a Bigeneralized Topological Space
International Journal of Mathematical Analysis Vol. 9, 2015, no. 16, 805-815 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2015.5230 Regular Generalized Star b-continuous Functions in a
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationφ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),
16. Ring Homomorphisms and Ideals efinition 16.1. Let φ: R S be a function between two rings. We say that φ is a ring homomorphism if for every a and b R, and in addition φ(1) = 1. φ(a + b) = φ(a) + φ(b)
More informationLocating-Dominating Sets in Graphs
Applied Mathematical Sciences, Vol. 8, 2014, no. 88, 4381-4388 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2014.46400 Locating-Dominating Sets in Graphs Sergio R. Canoy, Jr. 1, Gina A.
More informationAn Isomorphism Theorem for Bornological Groups
International Mathematical Form, Vol. 12, 2017, no. 6, 271-275 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/imf.2017.612175 An Isomorphism Theorem for Bornological rops Dinamérico P. Pombo Jr.
More informationOn (m,n)-ideals in LA-Semigroups
Applied Mathematical Sciences, Vol. 7, 2013, no. 44, 2187-2191 HIKARI Ltd, www.m-hikari.com On (m,n)-ideals in LA-Semigroups Muhammad Akram University of Gujrat Gujrat, Pakistan makram 69@yahoo.com Naveed
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationSolving Homogeneous Systems with Sub-matrices
Pure Mathematical Sciences, Vol 7, 218, no 1, 11-18 HIKARI Ltd, wwwm-hikaricom https://doiorg/112988/pms218843 Solving Homogeneous Systems with Sub-matrices Massoud Malek Mathematics, California State
More informationFUZZY SOFT Γ-HYPERMODULES
U.P.B. Sci. Bull., Series A, Vol. 73, Iss. 3, 2011 ISSN 1223-7027 FUZZY SOFT Γ-HYPERMODULES Jianming Zhan 1, V. Leoreanu-Fotea 2, Thomas Vougiouklis 3 Soft set theory, introduced by Molodtsov, has been
More informationHyper Algebraic Structure Associated to Convex Function and Chemical Equilibrium
Global Journal of Pure and Applied Mathematics. ISSN 0973-1768 Volume 13, Number 9 (2017), pp. 6209-6220 Research India Publications http://www.ripublication.com Hyper Algebraic Structure Associated to
More informationand this makes M into an R-module by (1.2). 2
1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together
More informationMorphisms Between the Groups of Semi Magic Squares and Real Numbers
International Journal of Algebra, Vol. 8, 2014, no. 19, 903-907 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2014.212137 Morphisms Between the Groups of Semi Magic Squares and Real Numbers
More informationRestrained Independent 2-Domination in the Join and Corona of Graphs
Applied Mathematical Sciences, Vol. 11, 2017, no. 64, 3171-3176 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ams.2017.711343 Restrained Independent 2-Domination in the Join and Corona of Graphs
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationA Little Beyond: Linear Algebra
A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two
More informationTHE formal definition of a ternary algebraic structure was
A Study on Rough, Fuzzy and Rough Fuzzy Bi-ideals of Ternary Semigroups Sompob Saelee and Ronnason Chinram Abstract A ternary semigroup is a nonempty set together with a ternary multiplication which is
More informationIranian Journal of Mathematical Sciences and Informatics Vol. 7, No. 2 (2012), pp 9-16
Iranian Journal of Mathematical Sciences and Informatics Vol. 7, No. 2 (2012), pp 9-16 Uniform Boundedness Principle for Operators on Hypervector Spaces Ali Taghavi and Roja Hosseinzadeh Department of
More informationWritten Homework # 2 Solution
Math 517 Spring 2007 Radford Written Homework # 2 Solution 02/23/07 Throughout R and S are rings with unity; Z denotes the ring of integers and Q, R, and C denote the rings of rational, real, and complex
More informationCompleteness of Star-Continuity
Introduction to Kleene Algebra Lecture 5 CS786 Spring 2004 February 9, 2004 Completeness of Star-Continuity We argued in the previous lecture that the equational theory of each of the following classes
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
More informationACG M and ACG H Functions
International Journal of Mathematical Analysis Vol. 8, 2014, no. 51, 2539-2545 HIKARI Ltd, www.m-hiari.com http://dx.doi.org/10.12988/ijma.2014.410302 ACG M and ACG H Functions Julius V. Benitez Department
More informationReview of Linear Algebra
Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space
More information@FMI c Kyung Moon Sa Co.
Annals of Fuzzy Mathematics and Informatics Volume 4, No. 2, October 2012), pp. 365 375 ISSN 2093 9310 http://www.afmi.or.kr @FMI c Kyung Moon Sa Co. http://www.kyungmoon.com On soft int-groups Kenan Kaygisiz
More informationOn Annihilator Small Intersection Graph
International Journal of Contemporary Mathematical Sciences Vol. 12, 2017, no. 7, 283-289 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ijcms.2017.7931 On Annihilator Small Intersection Graph Mehdi
More information(Rgs) Rings Math 683L (Summer 2003)
(Rgs) Rings Math 683L (Summer 2003) We will first summarise the general results that we will need from the theory of rings. A unital ring, R, is a set equipped with two binary operations + and such that
More informationContra θ-c-continuous Functions
International Journal of Contemporary Mathematical Sciences Vol. 12, 2017, no. 1, 43-50 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ijcms.2017.714 Contra θ-c-continuous Functions C. W. Baker
More informationScientiae Mathematicae Japonicae Online, Vol. 4, (2001), SOME CLASSIFICATIONS OF HYPERK-ALGEBRAS OF ORDER 3 M.M.Zahedi, R.A. Borzoei, H. Reza
Scientiae Mathematicae Japonicae Online, Vol. 4, (2001), 75 84 75 SOME CLASSIFICATIONS OF HYPERK-ALGEBRAS OF ORDER 3 M.M.Zahedi, R.A. Borzoei, H. Rezaei Received May 11,2000 Abstract. In this paper first
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationRestrained Weakly Connected Independent Domination in the Corona and Composition of Graphs
Applied Mathematical Sciences, Vol. 9, 2015, no. 20, 973-978 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2015.4121046 Restrained Weakly Connected Independent Domination in the Corona and
More informationTensor Product of modules. MA499 Project II
Tensor Product of modules A Project Report Submitted for the Course MA499 Project II by Subhash Atal (Roll No. 07012321) to the DEPARTMENT OF MATHEMATICS INDIAN INSTITUTE OF TECHNOLOGY GUWAHATI GUWAHATI
More information