SlideShare a Scribd company logo
1 of 8
Download to read offline
Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com 
ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 
www.ijera.com 123 | P a g e 
Special Elements of a Ternary Semiring 
1Dr. D. Madhusudana Rao. 2 Goli Srinivasa Rao 
1Lecturer and Head, Department of Mathematics, VSR & NVR College, Tenali, A.P. 
2Asst. Professor, Department of Mathematics, Tirumala Engineering College, Narasarao Pet, A.P. 
ABSTRACT 
In this paper we study the notion of some special elements such as identity, zero, absorbing, additive 
idempotent, idempotent, multiplicatively sub-idempotent, regular, Intra regular, completely regular, g–regular, 
invertible and the ternary semirings such as zero sum free ternary semiring, zero ternary semiring, zero divisor 
free ternary semiring, ternary semi-integral domain, semi-subtractive ternary semiring, multiplicative 
cancellative ternary semiring, Viterbi ternary semiring, regular ternary semiring, completely ternary semiring 
and characterize these ternary semirings. 
Mathematics Subject Classification : 16Y30, 16Y99. 
Key Words : Multiplicatively sub-idempotent, regular, Intra regular, completely regular, 
g–regular, zero sum free ternary semiring, zero ternary semiring, zero divisor free ternary semiring, ternary 
semi-integral domain, semi-subtractive ternary semiring, Viterbi ternary semiring, 
I. INTRODUCTION 
Algebraic structures play a prominent role in mathematics with wide ranging applications in many 
disciplines such as theoretical physics, computer sciences, control engineering, information sciences, coding 
theory, topological spaces and the like. This provides sufficient motivation to researchers to review various 
concepts and results. 
The theory of ternary algebraic systems was studied by LEHMER [9] in 1932, but earlier such structures 
were investigated and studied by PRUFER in 1924, BAER in 1929. 
Generalizing the notion of ternary ring introduced by Lister [10], Dutta and Kar [6] 
introduced the notion of ternary semiring. Ternary semiring arises naturally as follows, consider the ring of 
integers Z which plays a vital role in the theory of ring. The subset Z+ of all positive 
integers of Z is an additive semigroup which is closed under the ring product, i.e. Z+is a semiring. Now, if we 
consider the subset Z− of all negative integers of Z, then we see that Z− is an additive semigroup which is 
closed under the triple ring product (however, Z− is not closed under the binary ring product), i.e. Z− forms a 
ternary semiring. Thus, we see that in the ring of integers Z, Z+ forms a semiring whereas Z− forms a ternary 
semiring. 
II. PRELIMINARIES : 
DEFINITION 1.1 : A nonempty set T together with a binary operation called addition and a ternary 
multiplication denoted by [ ] is said to be a ternary semiring if T is an additive commutative semigroup 
satisfying the following conditions : 
i) [[abc]de] = [a[bcd]e] = [ab[cde]], 
ii) [(a + b)cd] = [acd] + [bcd], 
iii) [a(b + c)d] = [abd] + [acd], 
iv) [ab(c + d)] = [abc] + [abd] for all a; b; c; d; e ∈ T. 
Throughout T will denote a ternary semiring unless otherwise stated. 
NOTE 1.2 : For the convenience we write 1 2 3 x x x instead of   1 2 3 x x x 
NOTE 1.3 : Let T be a ternary semiring. If A,B and C are three subsets of T , we shall denote the set ABC = 
abc : aA,bB,cC. 
NOTE 1.4 : Let T be a ternary semiring. If A,B are two subsets of T , we shall denote the set A + B = 
a b: aA,bB. 
NOTE 1.5 : Any semiring can be reduced to a ternary semiring. 
EXAMPLE 1.6 : Let T be an semigroup of all m × n matrices over the set of all non negative rational numbers. 
Then T is a ternary semiring with matrix multiplication as the ternary operation. 
RESEARCH ARTICLE OPEN ACCESS
Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com 
ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 
www.ijera.com 124 | P a g e 
EXAMPLE 1.7 : Let S = {. . . ,−2i, −i, 0, i, 2i, . . . } be a ternary semiring withrespect to addition and complex 
triple multiplication. 
EXAMPLE 1.8 : The set T consisting of a single element 0 with binary operation defined by 0 + 0 = 0 and 
ternary operation defined by 0.0.0 = 0 is a ternary semiring. This ternary semiring is called the null ternary 
semiring or the zero ternary semiring. 
EXAMPLE 1.9 : The set T = { 0, 1, 2, 3, 4 } is a ternary semiring with respect to addition modulo 5 and 
multiplication modulo 5 as ternary operation is defined as follows : 
EXAMPLE 1.10 : The set C of all real valued continuous functions defined in the closed interval [0, 1] is a 
ternary semiring with respect to the addition and ternary multiplication of functions defined as follows : 
( f + g)(x) = f (x) + g (x) and (fgh) (x) = f (x)g(x)h(x), where f, g, h are any three members of C. 
DEFINITION 1.11 : A ternary semiring T is said to be commutative ternary semiring provided abc = bca = 
cab = bac = cba = acb for all a,b,c T. 
DEFINITION 1.12 : A ternary semiring T is said to be quasi commutative provided for each a, b, c ∈ T, there 
exists a odd natural number n such that 
abc = n b ac = bca = n c ba = cab = n a cb. 
THEOREM 1.13 : If T is a commutative ternary semiring then T is a quasi commutative ternary 
semiring. 
DEFINITION 1.14 : A ternary semiring T is said to be normal provided abT = Tab 
 a,b  T. 
THEOREM 1.15 : If T is a quasi commutative ternary semiring then T is a normal ternary semiring. 
DEFINITION 1.16 : A ternary semiring T is said to be left pseudo commutative provided 
abcde = bcade = cabde = bacde = cbade = acbde  a,b,c,d,e  T. 
DEFINITION 1.17 : A ternary semiring T is said to be a lateral pseudo commutative ternary semiring provide 
abcde = acdbe = adbce = acbde = adcbe = abdce for all a,b,c,d,eT. 
DEFINITION 1.18 : A ternary semiring T is said to be right pseudo commutative provided abcde = abdec = 
abecd = abdce = abedc = abced  a,b,c,d,e T. 
DEFINITION 1.19 : A ternary semiring T is said to be pseudo commutative, provided T is a left pseudo 
commutative, right pseudo commutative and lateral pseudo commutative ternary semiring. 
III. SPECIAL ELEMENTS IN A TERNARY SEMIRING: 
DEFINITION 2.1 : An element a in a ternary semiring T is said to be an additive identity provided a + x = x + 
a = x for every x ∈ T. 
DEFINITION 2.2 : An element a of ternary semiring T is said to be left identity of T provided aat = t for all t 
T. 
NOTE 2.3 : Left identity element a of a ternary semiring T is also called as left unital element. 
DEFINITION 2.4 : An element a of a ternary semiring T is said to be a lateral identity of T provided ata = t 
for all t T. 
NOTE 2.5 : Lateral identity element a of a ternary semiring T is also called as lateral unital element. 
DEFINITION 2.6: An element a of a ternary semiring T is said to be a right identity of T provided taa = t  t 
 T. 
NOTE 2.7 : Right identity element a of a ternary semiring T is also called as right unital element. 
DEFINITION 2.8 : An element a of a ternary semiring T is said to be a two sided identity of T provided aat = 
taa = t  tT. 
+5 0 1 2 3 4 
0 0 1 2 3 5 
1 1 2 3 4 0 
2 2 3 4 0 1 
3 3 4 0 1 2 
4 4 0 1 2 3 
×5 0 1 2 3 4 
0 0 0 0 0 0 
1 0 1 2 3 4 
2 0 2 4 1 3 
3 0 3 1 4 2 
4 0 4 3 2 1
Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com 
ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 
www.ijera.com 125 | P a g e 
NOTE 2.9 : Two-sided identity element of a ternary semiring T is also called as 
bi-unital element. 
EXAMPLE 2.10 : In the ternary semiring 0 Z  
, the element (-1) is a bi-unital element. 
DEFINITION 2.11 : An element a of a ternary semiring T is said to be an identity provided 
aat = taa = ata = t  tT. 
NOTE 2.12 : An identity element of a ternary semiring T is also called as unital element. 
NOTE 2.13 : An element a of a ternary semiring T is an identity of T iff a is left identity , lateral identity and 
right identity of T. 
EXAMPLE 2.14: Let 0 Z  
be the set of all non-positive integers. Then with the usual addition and ternary 
multiplication, 0 Z  
forms a ternary semiring with identity element -1. 
EXAMPLE 2.15: Let 
0 
2 2 / , , , 
a b 
M a b c d z 
c d  
   
     
   
. Then ( M2×2, +, .) is a ternary semiring under the 
addition and matrix ternary multiplication. M2×2 is a non-commutative ternary semiring with identity element 
1 0 
0 1 
  
  
  
and is of infinite order. 
EXAMPLE 2.16: nZ0 = { 0 , n , 2n , ……} is a ternary subsemiring of Z0 
Proof : Let kn , mn ln be three elements in nZ0, then kn + mn = (k + m)n ∈ nZ0. 
(kn)(mn)(ln) = (klmn)n ∈ nZ0. Hence, nZ0 is a ternary subsemiring of Z0 without identity. 
NOTE 2.17 : The identity ( if exists ) of a ternary semiring is usually denoted by e. 
NOTATION 2.18 : Let T be a ternary semiring. If T has an identity, let 
e T = T and if T does not have an 
identity , let 
e T be the ternary semigroup T with an identity adjoined usually denoted by the symbol e. 
In the following we introducing left zero, lateral zero, right zero, two sided zero and zero of ternary 
semiring. 
DEFINITION 2.19: An element a in a ternary simiring T is said to be an additive zero provided a + x = x + a = 
x for all x ∈ T. 
DEFINITION 2.20 : An element a of a ternary semiring T is said to be a left zero of T provided a + x = x and 
abc = a  b, c, x T. 
DEFINITION 2.21 : An element a of a ternary semiring T is said to be a lateral zero of T provided a + x = x 
and bac = a  b, c, x T. 
DEFINITION 2.22 : An element a of a ternary semiring T is said to be a right zero of T provided a + x = x and 
bca = a  b, c, x  T. 
DEFINITION 2.23 : An element a of a ternary semiring T is said to be a two sided zero of T provided a + x = x 
and abc = bca = a  b, c, x  T. 
NOTE 2.24 : If a is a two sided zero of a ternary semiring T, then a is both left zero and right zero of T. 
DEFINITION 2.25 : An element a of a ternary semiring T is said to be zero of T provided 
a + x = x and abc = bac = bca = a  b, c, x  T. 
EXAMPLE 2.26 : Let 0 Z  
be the set of all negative integers with zero. Then with the usual binary addition 
and ternary multiplication, 0 Z  
forms a ternary semiring with zero. 
NOTE 2.27 : If a is a zero of T, then a is a left zero, lateral zero and right zero of T. 
NOTE 2.28: If a is a zero element of ternary semiring T. Then a is also called an absorbing element of T. 
THEOREM 2.29 : If a is a left zero, b is a lateral zero and c is a right zero of a ternary semiring T , then a 
= b = c. 
Proof : Since a is a left zero of T, a + x = x, abc = a for all a, b, c, x T. 
Since b is a lateral zero of T, b + x = x, abc = b for all a, b, c, x T.
Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com 
ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 
www.ijera.com 126 | P a g e 
Since c is a right zero of T, x + c = x, abc = c for all a, b, c, x T. 
Therefore a + x = b + x = c + x = x and abc = a = b = c and hence a = b = c. 
THEOREM 2.30 : Any ternary semiring has at most one zero element. 
Proof : Let a,b,c be three zeros of a ternary semiring T. Now a can be considered as a left zero , b can be 
considered as a lateral zero and c can be considered as a right zero of T. By theorem 1.4.30, a = b = c. Then T 
has at most one zero. 
NOTE 2.31 : The zero ( if exists ) of a ternary semiring is usually denoted by 0. 
NOTATION 2.32 : Let T be a ternary semiring. if T has a zero, let 
0 T = T and if T does not have a zero , let 
0 T be the ternary semigroup T with zero adjoined usually denoted by the symbol 0. 
DEFINITION 2.33 : A ternary semiring T is said to be a strict ternary semiring or zero sum free provided a + 
b = 0 implies a = 0 and b = 0. 
EXAMPLE 2.34 : Let Z0 be the set of positive integers. Then Z0 is a strict ternary semiring. 
DEFINITION 2.35: An element a in a ternary semiring T is said to be an absorbing w.r.t addition provided a + 
x = x + a = a for all x ∈ T. 
DEFINITION 2.36 : A ternary semiring in which every element is a left zero is called a left zero ternary 
semiring. 
DEFINITION 2.37 : A ternary semiring in which every element is a lateral zero is called a lateral zero ternary 
semiring. 
DEFINITION 2.38 : A ternary semiring in which every element is a right zero is called a right zero ternary 
semiring. 
DEFINITION 2.39 : A ternary semiring with 0 in which the product of any three elements equal to 0 is called a 
zero ternary semiring (or) null ternary semiring. 
DEFINITION 2.40 : A ternary semiring T is said to be zero divisor free (ZDF) if for 
a, b, c ∈ T, [abc] = 0 implies that a = 0 or b = 0 or c = 0. 
DEFINITION 2.41 : A commutative ternary semiring (ring) is called a ternary semi-integral (integral, resp.) 
domain if it is zero divisor free. 
DEFINITION 2.42 : A ternary semiring T is said to be semi-subtractive if for any elements a; b ∈ T; there is 
always some x ∈ T or some y ∈ T such that a + y = b or b + x = a. 
NOTE 2.43: Each ternary ring is a semi-subtractive ternary semiring. 
DEFINITION 2.44 : A ternary semiring T is said to be multiplicatively left cancellative (MLC) if abx = aby 
implies that x = y for all a, b, x, y ∈ T. 
DEFINITION 2.45: A ternary semiring T is said to be multiplicatively laterally cancellative (MLLC) if axb = 
ayb implies that x = y for all a, b, x, y ∈ T. 
DEFINITION 2.46 : A ternary semiring T is said to be multiplicatively right cancellative (MRC) if xab = yab 
implies that x = y for all a, b, x, y ∈ T. 
DEFINITION 2.47 : A ternary semiring T is said to be multiplicatively cancellative (MC) if it is multiplicative 
left cancellative (MLC), multiplicative right cancellative (MRC) and multiplicative laterally cancellative 
(MLLC). 
THEOREM 2.48: An multiplicative cancellative ternary semiring T is zero divisor free. 
Proof: Let T be an multiplicative cancellative ternary semiring and abc = 0 for a; b; c ∈ T. 
Suppose b ≠ 0 and c ≠ 0. Then by right cancellativity, abc = 0 = 0bc implies that a = 0. Similarly, we can show 
that b = 0 if a ≠ 0 and c ≠ 0 or c = 0 if a ≠ 0 and b ≠ 0. Consequently, T is zero divisor free. 
For the converse part we have the following result: 
THEOREM 2.49: A zero divisor free (ZDF) ternary semiring T is multiplicative cancellative (MC) 
whenever it is additive cancellative (AC) and semi-subtractive. 
Proof: Let T be a ZDF, AC and semi-subtractive ternary semiring. Let a; b ∈ T  0 be such that abx = aby for x; 
y ∈ T. Since T is semi-subtractive, for x; y ∈ T there is always some 
c ∈ T or some d ∈ T such that y + c = x or x + d = y. Let y + c = x. Then aby + abc = abx implies abc = 0 (by 
AC) which again implies that c = 0 (since S is ZDF). Similarly, we can show that d = 0 when x + d = y. 
Consequently, we have x = y and hence T is multiplicatively left cancelletive (MLC, for short). Similarly, it can
Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com 
ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 
www.ijera.com 127 | P a g e 
be proved that T is multiplicatively right cancelletive (MRC) and multiplicatively leterally cancelletive 
(MLLC). Thus T is MC. 
In the following we are introducing the notion of idempotent element of a ternary semiring. 
DEFINITION 2.50 : An element a of a ternary semiring T is said to be additive idempotent element provided a 
+ a = a. 
DEFINITION 2.51 : An element a of a ternary semiring T is said to be an idempotent element provided 
3 a  a . 
EXAMPLE 2.52 : Let Z6 = {0 , 1 , 2 , 3 , 4 , 5 } be the commutative ternary semiring under addition and 
multiplication module 6 as ternary compositions. Since 4 ∈ Z6 is an idempotent , since 4 . 4 . 4 = 4(mod6). 
NOTE 2.53 : The set of all idempotent elements in a ternary semiring T is denoted by E(T). 
NOTE 2.54 : Every identity, zero elements are idempotent elements. 
In the following we introduce proper idempotent element and idempotent ternary semiring. 
DEFINITION 2.55 : An element a of a ternary semiring T is said to be a proper idempotent element provided 
a is an idempotent which is not the identity of T if identity exists. 
DEFINITION 2.56 : A ternary semiring T is said to be an idempotent ternary semiring or ternary band 
provided every element of T is an idempotent. 
DEFINITION 2.57 : An element a of a ternary semiring T is said to be multiplicatively sub-idempotent 
provided a + a3 = a . 
DEFINITION 2.58 : A ternary semiring T is said to be a sub-idempotent ternary semiring provided each of its 
element is sub-idempotent. 
DEFINITION 2.59 : A ternary semiring T is said to be Viterbi ternary semiring provided T is additively 
idempotent and multiplicatively sub-idempotent. 
NOTE 2.60 : A Viterbi ternary semiring is a ternary semiring if a + a = a and a + a3 = a for all a ∈ T. 
NOTE 2.61 : The concept of Viterbi ternary semiring is taken from the book of Jonathan S. Golan [7], entitled 
“Semirings and Affine Equations over them: Theory and Applications”. 
THEOREM 2.62 : Every ternary semiring T in which T is left singular semigroup w.r.t addition and left 
singular ternary semigroup w.r.t ternary multiplication, then T is a Viterbi ternary semiring. 
Proof : By the hypothesis T is left singular semigroup w.r.t addition and left singular ternary semigroup w.r.t 
ternary multiplication. i.e., a + b = a and ab2 = a  a, b ∈ T. 
Consider a + b = a. Taking a = b ⇒ a + a = a → (1) and 
ab2 = a. Taking a = b ⇒ a. a2 = a ⇒ a3 = a ⇒ a + a3 = a + a = a ⇒ a + a3 = a ⟶ (2) 
Therefore from (1) and (2), T is a Viterbi ternary semiring. 
NOTE 2.63 : The converse of the theorem 1.4.62, is not necessarily true. This is evident from the following 
example. 
EXAMPLE 2.64 : 
THEOREM 2.65: Let T be a ternary semiring satisfying the identity a + aba + a = a for all a, b ∈ T. If T 
contains the ternary multiplicative identity which is also an additive identity, then T is a multiplicatively 
sub-idempotent ternary semiring. 
Proof : Since a + aba + a = a for all a, b ∈ T. Let e be the multiplicative identity in T is also an additive 
identity. i.e., aee = eae = eea = a and a + e = e + a = a. Given a + aba + a = a for all a, b ∈ T. Taking a = b. 
Then a + a3 + a = a ⇒ a + a(a2 + e) = a ⇒ a + a3 = a + 0 
⇒ a + a3 = a for all a ∈ T. Therefore T is multiplicatively sub-idempotent ternary semiring. 
+ a b 
a a a 
b a b 
. a b 
a a a 
b b b
Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com 
ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 
www.ijera.com 128 | P a g e 
THEOREM 2.66 : Let T be a multiplicatively idempotent ternary semiring. If T satisfying the identity a + aba + a = a for all a, b ∈ T. Then T is additively idempotent. Proof : Let a ∈ T. Consider a + a = (a + a)3 for all a ∈ T. a + a = (a + a)3 = (a + a)(a + a)(a + a) = a3 + a3+ a3 + a3 + a3 + a3 + a3 + a3 = (a + a3 + a) + (a + a3 + a) + a + a = a + a + a + a = a + a3 + a3 + a = a + a(a + a)a + a = a. Therefore T is additively idempotent. In the following we are introducing regular element and regular ternary semiring. DEFINITION 2.67 : An element a of a ternary semiring. T is said to be regular if there exist x, y ∈ T such that axaya = a. DEFINITION 2.68 : A ternary semigroup T is said to be regular ternary semiring provided every element is regular. THEOREM 2.69 : Every idempotent element in a ternary semiring is regular. Proof : Let a be an idempotent element in a ternary semiring T. Then a = a3 = a.a2 = a3.a2 = a.a.a.a.a. Therefore a is regular element. In the following we are introducing the notion of left regular, lateral regular right regular, intra regular and completely regular elements of a ternary semiring and completely regular ternary semiring. DEFINITION 2.70 : An element a of a ternary semiring T is said to be left regular if there exist x, y ∈ T such that a = a3xy. DEFINITION 2.71 : An element a of a ternary semiring T is said to be lateral regular if there exist x, y ∈ T such that a = xa3y. DEFINITION 2.72 : An element a of a ternary semiring T is said to be right regular if there exist x, y ∈ T such that a = xya3. DEFINITION 2.73 : An element a of a ternary semiring T is said to be intra regular if there exist x, y ∈ T such that a = xa5y. DEFINITION 2.74 : An element a of a ternary semring T is said to be completely regular if there exist x, y ∈ T such that 
(i) axaya = a 
(ii) axa = xaa = aax = aya = yaa = aay = axy = yxa = xay = yax. 
(iii) a = a + x + a 
(iv) [aa(a + x)] = a + x. 
DEFINITION 2.75 : A ternary semigroup T is said to be a completely regular ternary semiring provided every element in T is completely regular. THEOREM 2.76 : Let T be a ternary semiring and a ∈ T. If a is a completely regular element, then a is regular, left regular, lateral regular and right regular. Proof : Suppose that a is completely regular. Then there exist x, y ∈ T such that axaya = a and axa = xaa = aax = aya = yaa = aay = axy = yxa = xay = yax. Clearly A is regular. Now a = axaya = axaay = aaaxy = a3xy. Therefore a is left regular. Also a = axaya = xaaya = xaaay = xa3y. Therefore a is lateral regular. and a = axaya = xaaya = xyaaa = xya3. Therefore a is right regular. THEOREM 2.77 : A cancellative left regular ternary semiring is commutative. Proof : Let T be a cancellative left regular ternary semiring. Let a, b, c ∈ T ⇒ (abc)3 = abcabcabc ⇒ a3b3c3 = abcabcabc ⇒ a2b3c2 = bcabcab ⇒ a2b2c2 = bcacab ⇒ (abc)(abc) = (bca)(cab) ⇒ abc = bca = cab. Hence T is commutative. Therefore a cancellative left regular ternary semiring is commutative. The following theorems 2.78, 2.79 and 2.80 are due to V. R. Daddi and Y. S. Pawar [3].
Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com 
ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 
www.ijera.com 129 | P a g e 
THEOREM 2.78 : Let T is a completely regular ternary semiring iff for any a ∈ T, there exist x ∈ T such 
that the following conditions are satisfied. 
i) a = a + x + a ii) [(a + x)aa] = a + x 
THEOREM 2.79 : Let T is a completely regular ternary semiring iff for any a ∈ T, there exist x ∈ T such 
that the following conditions are satisfied. 
i) a = a + x + a ii) [a(a + x)a] = a + x 
THEOREM 2.80 : Let T is a completely regular ternary semiring iff for any a ∈ T, there exist x ∈ T such 
that the following conditions are satisfied. 
i) a = a + x + a 
ii) [aa(a + x)] = a + x 
iii) [a(a + x)a] = a + x 
iv) [(a + x)aa] = a + x 
v) a + [(a + x)aa] = a 
vi) a + [a(a + x)a] = a 
vii) a + [aa(a + x)] = a 
viii) [aa(a + x)] = [a(a + x)a] = [(a + x)aa]. 
DEFINITION 2.81: An element a of a ternary semiring T is said to be g-regular if there exist x, y ∈ T such 
that x = xayax or y = yaxay. 
EXAMPLE 2.82 : Every cancellative regular ternary semiring is g-regular. 
THEOREM 2.83 : A cancellative ternary semiring is regular if and only if it is 
g-regular. 
Proof : Let T be a cancellative ternary semiring. Assume that T is a regular ternary semiring. For any a ∈ T 
there exist x, y ∈ T such that a = axaya ⇒ axa = axayaxa. Since T is cancellative, a(x)a = a(xayax)a ⇒ x = 
xayax ⇒ a is g-regular for every a ∈ T. Therefore T is g-regular ternary semiring. 
Conversely, Assume that T is g-regular ternary semiring. For any a ∈ T there exist 
x, y ∈ T such that x = xayax ⇒ xax = xayaxax. Since T is cancellative, 
x(a)x = x(ayaxa)x ⇒ a = ayaxa ⇒ a is regular, for all a in T. Therefore, T is a regular ternary semiring. 
In the following we are introducing the notion of mid unit of a ternary semiring. 
DEFINITION 2.84 : An element a of a ternary semiring T is said to be a mid-unit provided xayaz = xyz for all 
x, y, z ∈ T. 
DEFINITION 2.85 :. An element a of a ternary semiring T is said to be invertible in T if there exists an 
element b in T (called the ternary semiring-inverse of a) such that 
abt = bat = tab = tba = t for all t ∈ T. 
DEFINITION 2.86 :. A ternary semiring (ring) T with S  2 is said to be a ternary division semiring (ring, 
resp.) if every non-zero element of T is invertible. 
THEOREM 2.87 : Every ternary division semiring is regular ternary semiring. 
Proof : From the definition 2.81, it follows that a bi-unital element of T is invertible and any invertible element 
is regular. Hence every ternary division semiring is a regular ternary semiring. 
DEFINITION 2.88 : A commutative ternary division semiring (ring) is said to be a ternary semifield (field, 
resp.), i.e. a commutative ternary semiring (ring) T with T  2 , is a ternary semifield (field) if for every non-zero 
element a of T, there exists an element b in T such that 
abx = x for all x ∈ T. 
NOTE 2.89 : A ternary semifield T has always an identity. 
EXAMPLE 2.90 : Denote by 0 R  
, 0 Q  
and 0 Z  
the sets of all non-positive real numbers, non-positive 
rational numbers and non-positive integers, respectively. Then 0 R  
and 0 Q  
form ternary semifields with usual 
binary addition and ternary multiplication and 0 Z  
forms only a ternary semi-integral domain but not a ternary 
semifield.
Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com 
ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 
www.ijera.com 130 | P a g e 
IV. CONCLUSION 
In this paper mainly we studied about some special elements in ternary semirings and some special type of ternary semirings. 
V. ACKNOWLEDGEMENT 
The authors wish to express their deep gratitude to the learned referee for his valuable comments and suggestions. REFERENCES [1] Arif Kaya and Satyanarayana M. Semirings satisfying properties of distributive type, Proceeding of the American Mathematical Society, Volume 82, Number 3, July 1981. [2] Chinaram, R., A note on quasi-ideal in ¡¡semirings, Int. Math. Forum, 3 (2008), 1253{1259. [3] Daddi. V. R and Pawar. Y. S. Ideal Theory in Commutative Ternary A-semirings, International Mathematical Forum, Vol. 7, 2012, no. 42, 2085 – 2091. [4] Dixit, V.N. and Dewan, S., A note on quasi and bi-ideals in ternary semigroups, Int. J. Math. Math. Sci. 18, no. 3 (1995), 501{508. [5] Dutta, T.K. and Kar, S., On regular ternary semirings, Advances in Algebra, Proceedings of the ICM Satellite Conference in Algebra and Related Topics, World Scienti¯c, New Jersey, 2003, 343{355. [6] Dutta, T.K. and Kar, S., A note on regular ternary semirings, Kyung-pook Math. J., 46 (2006), 357{365. [7] Jonathan S. Golan. Semirings and Affine Equations over Them: Theory and Applications, Kluwer Academic. [8] Kar, S., On quasi-ideals and bi-ideals in ternary semirings, Int. J. Math. Math. Sc., 18 (2005), 3015{3023. [9] Lehmer. D. H., A ternary analogue of abelian groups, Amer. J. Math., 59(1932), 329-338. [10] Lister, W.G., Ternary rings, Trans Amer. Math.Soc., 154 (1971), 37{55. [11] Madhusudhana Rao. D., Primary Ideals in Quasi-Commutative Ternary Semigroups International Research Journal of Pure Algebra – 3(7), 2013, 254-258.

More Related Content

What's hot

Nbhm m. a. and m.sc. scholarship test 2005
Nbhm m. a. and m.sc. scholarship test 2005Nbhm m. a. and m.sc. scholarship test 2005
Nbhm m. a. and m.sc. scholarship test 2005MD Kutubuddin Sardar
 
Set theory and relation
Set theory and relationSet theory and relation
Set theory and relationankush_kumar
 
Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...
Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...
Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...Amr Rashed
 
CMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of FunctionsCMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of Functionsallyn joy calcaben
 
Introduction to Set Theory
Introduction to Set TheoryIntroduction to Set Theory
Introduction to Set TheoryUsama ahmad
 
Existence of Extremal Solutions of Second Order Initial Value Problems
Existence of Extremal Solutions of Second Order Initial Value ProblemsExistence of Extremal Solutions of Second Order Initial Value Problems
Existence of Extremal Solutions of Second Order Initial Value Problemsijtsrd
 
IITJEE - 2009 ii - mathematics
IITJEE - 2009    ii - mathematicsIITJEE - 2009    ii - mathematics
IITJEE - 2009 ii - mathematicsVasista Vinuthan
 
IITJEE - Mathematics 2010-i
IITJEE - Mathematics  2010-iIITJEE - Mathematics  2010-i
IITJEE - Mathematics 2010-iVasista Vinuthan
 
Complex Number I - Presentation
Complex Number I - PresentationComplex Number I - Presentation
Complex Number I - Presentationyhchung
 
Chapter 12 vectors and the geometry of space merged
Chapter 12 vectors and the geometry of space mergedChapter 12 vectors and the geometry of space merged
Chapter 12 vectors and the geometry of space mergedEasyStudy3
 

What's hot (20)

Nbhm m. a. and m.sc. scholarship test 2005
Nbhm m. a. and m.sc. scholarship test 2005Nbhm m. a. and m.sc. scholarship test 2005
Nbhm m. a. and m.sc. scholarship test 2005
 
Mtk3013 chapter 2-3
Mtk3013   chapter 2-3Mtk3013   chapter 2-3
Mtk3013 chapter 2-3
 
Calculus Homework Help
Calculus Homework HelpCalculus Homework Help
Calculus Homework Help
 
Calculus Homework Help
Calculus Homework HelpCalculus Homework Help
Calculus Homework Help
 
Set theory and relation
Set theory and relationSet theory and relation
Set theory and relation
 
Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...
Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...
Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...
 
Week 6
Week 6Week 6
Week 6
 
Set in discrete mathematics
Set in discrete mathematicsSet in discrete mathematics
Set in discrete mathematics
 
CMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of FunctionsCMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of Functions
 
Calculus Homework Help
Calculus Homework HelpCalculus Homework Help
Calculus Homework Help
 
Sets
SetsSets
Sets
 
Introduction to Set Theory
Introduction to Set TheoryIntroduction to Set Theory
Introduction to Set Theory
 
Existence of Extremal Solutions of Second Order Initial Value Problems
Existence of Extremal Solutions of Second Order Initial Value ProblemsExistence of Extremal Solutions of Second Order Initial Value Problems
Existence of Extremal Solutions of Second Order Initial Value Problems
 
Recursion DM
Recursion DMRecursion DM
Recursion DM
 
IITJEE - 2009 ii - mathematics
IITJEE - 2009    ii - mathematicsIITJEE - 2009    ii - mathematics
IITJEE - 2009 ii - mathematics
 
A
AA
A
 
IITJEE - Mathematics 2010-i
IITJEE - Mathematics  2010-iIITJEE - Mathematics  2010-i
IITJEE - Mathematics 2010-i
 
Function
Function Function
Function
 
Complex Number I - Presentation
Complex Number I - PresentationComplex Number I - Presentation
Complex Number I - Presentation
 
Chapter 12 vectors and the geometry of space merged
Chapter 12 vectors and the geometry of space mergedChapter 12 vectors and the geometry of space merged
Chapter 12 vectors and the geometry of space merged
 

Viewers also liked

001 persia ณรงค์ศักดิ์
001 persia ณรงค์ศักดิ์001 persia ณรงค์ศักดิ์
001 persia ณรงค์ศักดิ์Aniwat Suyata
 
поети шістдесятники
поети шістдесятникипоети шістдесятники
поети шістдесятникиmetod_1
 
Контроль операторами сотовой связи наличия согласий абонентов на получение SM...
Контроль операторами сотовой связи наличия согласий абонентов на получение SM...Контроль операторами сотовой связи наличия согласий абонентов на получение SM...
Контроль операторами сотовой связи наличия согласий абонентов на получение SM...Devino Telecom
 
Management of postmenopausal symptoms after breast cancer
Management of postmenopausal symptoms after breast cancerManagement of postmenopausal symptoms after breast cancer
Management of postmenopausal symptoms after breast cancerTevfik Yoldemir
 
Территориальные системы аварийного реагирования и радиационного мониторинга
Территориальные системы аварийного реагирования и радиационного мониторингаТерриториальные системы аварийного реагирования и радиационного мониторинга
Территориальные системы аварийного реагирования и радиационного мониторингаrorbic
 
Securedsms a protocol for sms security
Securedsms a protocol for sms securitySecuredsms a protocol for sms security
Securedsms a protocol for sms securityIAEME Publication
 
Tehilim vbm course 3
Tehilim vbm course 3Tehilim vbm course 3
Tehilim vbm course 3Akiva Berger
 
Design Thinking: Native Hawaiian Plants
Design Thinking: Native Hawaiian PlantsDesign Thinking: Native Hawaiian Plants
Design Thinking: Native Hawaiian Plantsdwee90034
 
Havenlabs Prosthetics Presentation
Havenlabs Prosthetics PresentationHavenlabs Prosthetics Presentation
Havenlabs Prosthetics PresentationRiver Castelonia
 
Controlling and Reducing of Speed for Vehicles Automatically By Using Rf Tech...
Controlling and Reducing of Speed for Vehicles Automatically By Using Rf Tech...Controlling and Reducing of Speed for Vehicles Automatically By Using Rf Tech...
Controlling and Reducing of Speed for Vehicles Automatically By Using Rf Tech...IJERA Editor
 
Capital Projects Request Management System
Capital Projects Request Management SystemCapital Projects Request Management System
Capital Projects Request Management SystemRolta
 
De ce sa apreciem craciunul traditional
De ce sa apreciem craciunul traditionalDe ce sa apreciem craciunul traditional
De ce sa apreciem craciunul traditionalPavel Cristian Ionita
 
Array facebook
Array facebookArray facebook
Array facebookJun Chiba
 
Mathematical Model for Hemodynamicand Hormonal Effects of Human Ghrelin in He...
Mathematical Model for Hemodynamicand Hormonal Effects of Human Ghrelin in He...Mathematical Model for Hemodynamicand Hormonal Effects of Human Ghrelin in He...
Mathematical Model for Hemodynamicand Hormonal Effects of Human Ghrelin in He...IJERA Editor
 

Viewers also liked (15)

001 persia ณรงค์ศักดิ์
001 persia ณรงค์ศักดิ์001 persia ณรงค์ศักดิ์
001 persia ณรงค์ศักดิ์
 
M Phil Economics Degree
M Phil Economics DegreeM Phil Economics Degree
M Phil Economics Degree
 
поети шістдесятники
поети шістдесятникипоети шістдесятники
поети шістдесятники
 
Контроль операторами сотовой связи наличия согласий абонентов на получение SM...
Контроль операторами сотовой связи наличия согласий абонентов на получение SM...Контроль операторами сотовой связи наличия согласий абонентов на получение SM...
Контроль операторами сотовой связи наличия согласий абонентов на получение SM...
 
Management of postmenopausal symptoms after breast cancer
Management of postmenopausal symptoms after breast cancerManagement of postmenopausal symptoms after breast cancer
Management of postmenopausal symptoms after breast cancer
 
Территориальные системы аварийного реагирования и радиационного мониторинга
Территориальные системы аварийного реагирования и радиационного мониторингаТерриториальные системы аварийного реагирования и радиационного мониторинга
Территориальные системы аварийного реагирования и радиационного мониторинга
 
Securedsms a protocol for sms security
Securedsms a protocol for sms securitySecuredsms a protocol for sms security
Securedsms a protocol for sms security
 
Tehilim vbm course 3
Tehilim vbm course 3Tehilim vbm course 3
Tehilim vbm course 3
 
Design Thinking: Native Hawaiian Plants
Design Thinking: Native Hawaiian PlantsDesign Thinking: Native Hawaiian Plants
Design Thinking: Native Hawaiian Plants
 
Havenlabs Prosthetics Presentation
Havenlabs Prosthetics PresentationHavenlabs Prosthetics Presentation
Havenlabs Prosthetics Presentation
 
Controlling and Reducing of Speed for Vehicles Automatically By Using Rf Tech...
Controlling and Reducing of Speed for Vehicles Automatically By Using Rf Tech...Controlling and Reducing of Speed for Vehicles Automatically By Using Rf Tech...
Controlling and Reducing of Speed for Vehicles Automatically By Using Rf Tech...
 
Capital Projects Request Management System
Capital Projects Request Management SystemCapital Projects Request Management System
Capital Projects Request Management System
 
De ce sa apreciem craciunul traditional
De ce sa apreciem craciunul traditionalDe ce sa apreciem craciunul traditional
De ce sa apreciem craciunul traditional
 
Array facebook
Array facebookArray facebook
Array facebook
 
Mathematical Model for Hemodynamicand Hormonal Effects of Human Ghrelin in He...
Mathematical Model for Hemodynamicand Hormonal Effects of Human Ghrelin in He...Mathematical Model for Hemodynamicand Hormonal Effects of Human Ghrelin in He...
Mathematical Model for Hemodynamicand Hormonal Effects of Human Ghrelin in He...
 

Similar to Special Elements of a Ternary Semiring

The International Journal of Engineering and Science (The IJES)
The International Journal of Engineering and Science (The IJES)The International Journal of Engineering and Science (The IJES)
The International Journal of Engineering and Science (The IJES)theijes
 
Chained Commutative Ternary Semigroups
Chained Commutative Ternary SemigroupsChained Commutative Ternary Semigroups
Chained Commutative Ternary SemigroupsIOSR Journals
 
On Simple Ternary 횪-Semiring
On Simple Ternary 횪-SemiringOn Simple Ternary 횪-Semiring
On Simple Ternary 횪-SemiringIJERA Editor
 
P-Pseudo Symmetric Ideals in Ternary Semiring
P-Pseudo Symmetric Ideals in Ternary SemiringP-Pseudo Symmetric Ideals in Ternary Semiring
P-Pseudo Symmetric Ideals in Ternary Semiringiosrjce
 
Ch1 sets and_logic(1)
Ch1 sets and_logic(1)Ch1 sets and_logic(1)
Ch1 sets and_logic(1)Kwonpyo Ko
 
torsionbinormalnotes
torsionbinormalnotestorsionbinormalnotes
torsionbinormalnotesJeremy Lane
 
03 Cap 2 - fourier-analysis-2015.pdf
03 Cap 2 - fourier-analysis-2015.pdf03 Cap 2 - fourier-analysis-2015.pdf
03 Cap 2 - fourier-analysis-2015.pdfROCIOMAMANIALATA1
 
Weyl's Theorem for Algebraically Totally K - Quasi – Paranormal Operators
Weyl's Theorem for Algebraically Totally K - Quasi – Paranormal OperatorsWeyl's Theorem for Algebraically Totally K - Quasi – Paranormal Operators
Weyl's Theorem for Algebraically Totally K - Quasi – Paranormal OperatorsIOSR Journals
 
PaperNo14-Habibi-IJMA-n-Tuples and Chaoticity
PaperNo14-Habibi-IJMA-n-Tuples and ChaoticityPaperNo14-Habibi-IJMA-n-Tuples and Chaoticity
PaperNo14-Habibi-IJMA-n-Tuples and ChaoticityMezban Habibi
 
Analysis of coupled inset dielectric guide structure
Analysis of coupled inset dielectric guide structureAnalysis of coupled inset dielectric guide structure
Analysis of coupled inset dielectric guide structureYong Heui Cho
 
A Note on Hessen berg of Trapezoidal Fuzzy Number Matrices
A Note on Hessen berg of Trapezoidal Fuzzy Number MatricesA Note on Hessen berg of Trapezoidal Fuzzy Number Matrices
A Note on Hessen berg of Trapezoidal Fuzzy Number MatricesIOSRJM
 
PaperNo15-HoseiniHabibiSafariGhezelbash-IJMA
PaperNo15-HoseiniHabibiSafariGhezelbash-IJMAPaperNo15-HoseiniHabibiSafariGhezelbash-IJMA
PaperNo15-HoseiniHabibiSafariGhezelbash-IJMAMezban Habibi
 
Lecture 01 reals number system
Lecture 01 reals number systemLecture 01 reals number system
Lecture 01 reals number systemHazel Joy Chong
 
Nbhm m. a. and m.sc. scholarship test 2006
Nbhm m. a. and m.sc. scholarship test 2006Nbhm m. a. and m.sc. scholarship test 2006
Nbhm m. a. and m.sc. scholarship test 2006MD Kutubuddin Sardar
 
02-Basic Structures .ppt
02-Basic Structures .ppt02-Basic Structures .ppt
02-Basic Structures .pptAcct4
 
Note on Co Ideals in Ternary Semigroups
Note on Co Ideals in Ternary SemigroupsNote on Co Ideals in Ternary Semigroups
Note on Co Ideals in Ternary SemigroupsIJMTST Journal
 

Similar to Special Elements of a Ternary Semiring (20)

The International Journal of Engineering and Science (The IJES)
The International Journal of Engineering and Science (The IJES)The International Journal of Engineering and Science (The IJES)
The International Journal of Engineering and Science (The IJES)
 
Chained Commutative Ternary Semigroups
Chained Commutative Ternary SemigroupsChained Commutative Ternary Semigroups
Chained Commutative Ternary Semigroups
 
On Simple Ternary 횪-Semiring
On Simple Ternary 횪-SemiringOn Simple Ternary 횪-Semiring
On Simple Ternary 횪-Semiring
 
P-Pseudo Symmetric Ideals in Ternary Semiring
P-Pseudo Symmetric Ideals in Ternary SemiringP-Pseudo Symmetric Ideals in Ternary Semiring
P-Pseudo Symmetric Ideals in Ternary Semiring
 
Structure of unital 3-fields, by S.Duplij, W.Werner
Structure of unital 3-fields, by S.Duplij, W.WernerStructure of unital 3-fields, by S.Duplij, W.Werner
Structure of unital 3-fields, by S.Duplij, W.Werner
 
Ch1 sets and_logic(1)
Ch1 sets and_logic(1)Ch1 sets and_logic(1)
Ch1 sets and_logic(1)
 
torsionbinormalnotes
torsionbinormalnotestorsionbinormalnotes
torsionbinormalnotes
 
03 Cap 2 - fourier-analysis-2015.pdf
03 Cap 2 - fourier-analysis-2015.pdf03 Cap 2 - fourier-analysis-2015.pdf
03 Cap 2 - fourier-analysis-2015.pdf
 
Weyl's Theorem for Algebraically Totally K - Quasi – Paranormal Operators
Weyl's Theorem for Algebraically Totally K - Quasi – Paranormal OperatorsWeyl's Theorem for Algebraically Totally K - Quasi – Paranormal Operators
Weyl's Theorem for Algebraically Totally K - Quasi – Paranormal Operators
 
PaperNo14-Habibi-IJMA-n-Tuples and Chaoticity
PaperNo14-Habibi-IJMA-n-Tuples and ChaoticityPaperNo14-Habibi-IJMA-n-Tuples and Chaoticity
PaperNo14-Habibi-IJMA-n-Tuples and Chaoticity
 
Analysis of coupled inset dielectric guide structure
Analysis of coupled inset dielectric guide structureAnalysis of coupled inset dielectric guide structure
Analysis of coupled inset dielectric guide structure
 
Thara
TharaThara
Thara
 
A Note on Hessen berg of Trapezoidal Fuzzy Number Matrices
A Note on Hessen berg of Trapezoidal Fuzzy Number MatricesA Note on Hessen berg of Trapezoidal Fuzzy Number Matrices
A Note on Hessen berg of Trapezoidal Fuzzy Number Matrices
 
PaperNo15-HoseiniHabibiSafariGhezelbash-IJMA
PaperNo15-HoseiniHabibiSafariGhezelbash-IJMAPaperNo15-HoseiniHabibiSafariGhezelbash-IJMA
PaperNo15-HoseiniHabibiSafariGhezelbash-IJMA
 
module_theory (13).pdf
module_theory (13).pdfmodule_theory (13).pdf
module_theory (13).pdf
 
Lecture 01 reals number system
Lecture 01 reals number systemLecture 01 reals number system
Lecture 01 reals number system
 
01_AJMS_277_20_20210128_V1.pdf
01_AJMS_277_20_20210128_V1.pdf01_AJMS_277_20_20210128_V1.pdf
01_AJMS_277_20_20210128_V1.pdf
 
Nbhm m. a. and m.sc. scholarship test 2006
Nbhm m. a. and m.sc. scholarship test 2006Nbhm m. a. and m.sc. scholarship test 2006
Nbhm m. a. and m.sc. scholarship test 2006
 
02-Basic Structures .ppt
02-Basic Structures .ppt02-Basic Structures .ppt
02-Basic Structures .ppt
 
Note on Co Ideals in Ternary Semigroups
Note on Co Ideals in Ternary SemigroupsNote on Co Ideals in Ternary Semigroups
Note on Co Ideals in Ternary Semigroups
 

Recently uploaded

High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur EscortsHigh Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escortsranjana rawat
 
The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...
The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...
The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...ranjana rawat
 
GDSC ASEB Gen AI study jams presentation
GDSC ASEB Gen AI study jams presentationGDSC ASEB Gen AI study jams presentation
GDSC ASEB Gen AI study jams presentationGDSCAESB
 
Microscopic Analysis of Ceramic Materials.pptx
Microscopic Analysis of Ceramic Materials.pptxMicroscopic Analysis of Ceramic Materials.pptx
Microscopic Analysis of Ceramic Materials.pptxpurnimasatapathy1234
 
main PPT.pptx of girls hostel security using rfid
main PPT.pptx of girls hostel security using rfidmain PPT.pptx of girls hostel security using rfid
main PPT.pptx of girls hostel security using rfidNikhilNagaraju
 
Processing & Properties of Floor and Wall Tiles.pptx
Processing & Properties of Floor and Wall Tiles.pptxProcessing & Properties of Floor and Wall Tiles.pptx
Processing & Properties of Floor and Wall Tiles.pptxpranjaldaimarysona
 
Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝
Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝
Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝soniya singh
 
Introduction to Multiple Access Protocol.pptx
Introduction to Multiple Access Protocol.pptxIntroduction to Multiple Access Protocol.pptx
Introduction to Multiple Access Protocol.pptxupamatechverse
 
chaitra-1.pptx fake news detection using machine learning
chaitra-1.pptx  fake news detection using machine learningchaitra-1.pptx  fake news detection using machine learning
chaitra-1.pptx fake news detection using machine learningmisbanausheenparvam
 
HARMONY IN THE NATURE AND EXISTENCE - Unit-IV
HARMONY IN THE NATURE AND EXISTENCE - Unit-IVHARMONY IN THE NATURE AND EXISTENCE - Unit-IV
HARMONY IN THE NATURE AND EXISTENCE - Unit-IVRajaP95
 
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...Christo Ananth
 
Coefficient of Thermal Expansion and their Importance.pptx
Coefficient of Thermal Expansion and their Importance.pptxCoefficient of Thermal Expansion and their Importance.pptx
Coefficient of Thermal Expansion and their Importance.pptxAsutosh Ranjan
 
Call Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile serviceCall Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile servicerehmti665
 
Porous Ceramics seminar and technical writing
Porous Ceramics seminar and technical writingPorous Ceramics seminar and technical writing
Porous Ceramics seminar and technical writingrakeshbaidya232001
 
(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...ranjana rawat
 
the ladakh protest in leh ladakh 2024 sonam wangchuk.pptx
the ladakh protest in leh ladakh 2024 sonam wangchuk.pptxthe ladakh protest in leh ladakh 2024 sonam wangchuk.pptx
the ladakh protest in leh ladakh 2024 sonam wangchuk.pptxhumanexperienceaaa
 

Recently uploaded (20)

High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur EscortsHigh Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escorts
 
The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...
The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...
The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...
 
GDSC ASEB Gen AI study jams presentation
GDSC ASEB Gen AI study jams presentationGDSC ASEB Gen AI study jams presentation
GDSC ASEB Gen AI study jams presentation
 
Microscopic Analysis of Ceramic Materials.pptx
Microscopic Analysis of Ceramic Materials.pptxMicroscopic Analysis of Ceramic Materials.pptx
Microscopic Analysis of Ceramic Materials.pptx
 
Exploring_Network_Security_with_JA3_by_Rakesh Seal.pptx
Exploring_Network_Security_with_JA3_by_Rakesh Seal.pptxExploring_Network_Security_with_JA3_by_Rakesh Seal.pptx
Exploring_Network_Security_with_JA3_by_Rakesh Seal.pptx
 
main PPT.pptx of girls hostel security using rfid
main PPT.pptx of girls hostel security using rfidmain PPT.pptx of girls hostel security using rfid
main PPT.pptx of girls hostel security using rfid
 
Call Us -/9953056974- Call Girls In Vikaspuri-/- Delhi NCR
Call Us -/9953056974- Call Girls In Vikaspuri-/- Delhi NCRCall Us -/9953056974- Call Girls In Vikaspuri-/- Delhi NCR
Call Us -/9953056974- Call Girls In Vikaspuri-/- Delhi NCR
 
Processing & Properties of Floor and Wall Tiles.pptx
Processing & Properties of Floor and Wall Tiles.pptxProcessing & Properties of Floor and Wall Tiles.pptx
Processing & Properties of Floor and Wall Tiles.pptx
 
Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝
Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝
Model Call Girl in Narela Delhi reach out to us at 🔝8264348440🔝
 
Introduction to Multiple Access Protocol.pptx
Introduction to Multiple Access Protocol.pptxIntroduction to Multiple Access Protocol.pptx
Introduction to Multiple Access Protocol.pptx
 
chaitra-1.pptx fake news detection using machine learning
chaitra-1.pptx  fake news detection using machine learningchaitra-1.pptx  fake news detection using machine learning
chaitra-1.pptx fake news detection using machine learning
 
HARMONY IN THE NATURE AND EXISTENCE - Unit-IV
HARMONY IN THE NATURE AND EXISTENCE - Unit-IVHARMONY IN THE NATURE AND EXISTENCE - Unit-IV
HARMONY IN THE NATURE AND EXISTENCE - Unit-IV
 
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
 
Coefficient of Thermal Expansion and their Importance.pptx
Coefficient of Thermal Expansion and their Importance.pptxCoefficient of Thermal Expansion and their Importance.pptx
Coefficient of Thermal Expansion and their Importance.pptx
 
Call Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile serviceCall Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile service
 
9953056974 Call Girls In South Ex, Escorts (Delhi) NCR.pdf
9953056974 Call Girls In South Ex, Escorts (Delhi) NCR.pdf9953056974 Call Girls In South Ex, Escorts (Delhi) NCR.pdf
9953056974 Call Girls In South Ex, Escorts (Delhi) NCR.pdf
 
Porous Ceramics seminar and technical writing
Porous Ceramics seminar and technical writingPorous Ceramics seminar and technical writing
Porous Ceramics seminar and technical writing
 
(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(ANVI) Koregaon Park Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
 
the ladakh protest in leh ladakh 2024 sonam wangchuk.pptx
the ladakh protest in leh ladakh 2024 sonam wangchuk.pptxthe ladakh protest in leh ladakh 2024 sonam wangchuk.pptx
the ladakh protest in leh ladakh 2024 sonam wangchuk.pptx
 
Roadmap to Membership of RICS - Pathways and Routes
Roadmap to Membership of RICS - Pathways and RoutesRoadmap to Membership of RICS - Pathways and Routes
Roadmap to Membership of RICS - Pathways and Routes
 

Special Elements of a Ternary Semiring

  • 1. Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 www.ijera.com 123 | P a g e Special Elements of a Ternary Semiring 1Dr. D. Madhusudana Rao. 2 Goli Srinivasa Rao 1Lecturer and Head, Department of Mathematics, VSR & NVR College, Tenali, A.P. 2Asst. Professor, Department of Mathematics, Tirumala Engineering College, Narasarao Pet, A.P. ABSTRACT In this paper we study the notion of some special elements such as identity, zero, absorbing, additive idempotent, idempotent, multiplicatively sub-idempotent, regular, Intra regular, completely regular, g–regular, invertible and the ternary semirings such as zero sum free ternary semiring, zero ternary semiring, zero divisor free ternary semiring, ternary semi-integral domain, semi-subtractive ternary semiring, multiplicative cancellative ternary semiring, Viterbi ternary semiring, regular ternary semiring, completely ternary semiring and characterize these ternary semirings. Mathematics Subject Classification : 16Y30, 16Y99. Key Words : Multiplicatively sub-idempotent, regular, Intra regular, completely regular, g–regular, zero sum free ternary semiring, zero ternary semiring, zero divisor free ternary semiring, ternary semi-integral domain, semi-subtractive ternary semiring, Viterbi ternary semiring, I. INTRODUCTION Algebraic structures play a prominent role in mathematics with wide ranging applications in many disciplines such as theoretical physics, computer sciences, control engineering, information sciences, coding theory, topological spaces and the like. This provides sufficient motivation to researchers to review various concepts and results. The theory of ternary algebraic systems was studied by LEHMER [9] in 1932, but earlier such structures were investigated and studied by PRUFER in 1924, BAER in 1929. Generalizing the notion of ternary ring introduced by Lister [10], Dutta and Kar [6] introduced the notion of ternary semiring. Ternary semiring arises naturally as follows, consider the ring of integers Z which plays a vital role in the theory of ring. The subset Z+ of all positive integers of Z is an additive semigroup which is closed under the ring product, i.e. Z+is a semiring. Now, if we consider the subset Z− of all negative integers of Z, then we see that Z− is an additive semigroup which is closed under the triple ring product (however, Z− is not closed under the binary ring product), i.e. Z− forms a ternary semiring. Thus, we see that in the ring of integers Z, Z+ forms a semiring whereas Z− forms a ternary semiring. II. PRELIMINARIES : DEFINITION 1.1 : A nonempty set T together with a binary operation called addition and a ternary multiplication denoted by [ ] is said to be a ternary semiring if T is an additive commutative semigroup satisfying the following conditions : i) [[abc]de] = [a[bcd]e] = [ab[cde]], ii) [(a + b)cd] = [acd] + [bcd], iii) [a(b + c)d] = [abd] + [acd], iv) [ab(c + d)] = [abc] + [abd] for all a; b; c; d; e ∈ T. Throughout T will denote a ternary semiring unless otherwise stated. NOTE 1.2 : For the convenience we write 1 2 3 x x x instead of   1 2 3 x x x NOTE 1.3 : Let T be a ternary semiring. If A,B and C are three subsets of T , we shall denote the set ABC = abc : aA,bB,cC. NOTE 1.4 : Let T be a ternary semiring. If A,B are two subsets of T , we shall denote the set A + B = a b: aA,bB. NOTE 1.5 : Any semiring can be reduced to a ternary semiring. EXAMPLE 1.6 : Let T be an semigroup of all m × n matrices over the set of all non negative rational numbers. Then T is a ternary semiring with matrix multiplication as the ternary operation. RESEARCH ARTICLE OPEN ACCESS
  • 2. Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 www.ijera.com 124 | P a g e EXAMPLE 1.7 : Let S = {. . . ,−2i, −i, 0, i, 2i, . . . } be a ternary semiring withrespect to addition and complex triple multiplication. EXAMPLE 1.8 : The set T consisting of a single element 0 with binary operation defined by 0 + 0 = 0 and ternary operation defined by 0.0.0 = 0 is a ternary semiring. This ternary semiring is called the null ternary semiring or the zero ternary semiring. EXAMPLE 1.9 : The set T = { 0, 1, 2, 3, 4 } is a ternary semiring with respect to addition modulo 5 and multiplication modulo 5 as ternary operation is defined as follows : EXAMPLE 1.10 : The set C of all real valued continuous functions defined in the closed interval [0, 1] is a ternary semiring with respect to the addition and ternary multiplication of functions defined as follows : ( f + g)(x) = f (x) + g (x) and (fgh) (x) = f (x)g(x)h(x), where f, g, h are any three members of C. DEFINITION 1.11 : A ternary semiring T is said to be commutative ternary semiring provided abc = bca = cab = bac = cba = acb for all a,b,c T. DEFINITION 1.12 : A ternary semiring T is said to be quasi commutative provided for each a, b, c ∈ T, there exists a odd natural number n such that abc = n b ac = bca = n c ba = cab = n a cb. THEOREM 1.13 : If T is a commutative ternary semiring then T is a quasi commutative ternary semiring. DEFINITION 1.14 : A ternary semiring T is said to be normal provided abT = Tab  a,b  T. THEOREM 1.15 : If T is a quasi commutative ternary semiring then T is a normal ternary semiring. DEFINITION 1.16 : A ternary semiring T is said to be left pseudo commutative provided abcde = bcade = cabde = bacde = cbade = acbde  a,b,c,d,e  T. DEFINITION 1.17 : A ternary semiring T is said to be a lateral pseudo commutative ternary semiring provide abcde = acdbe = adbce = acbde = adcbe = abdce for all a,b,c,d,eT. DEFINITION 1.18 : A ternary semiring T is said to be right pseudo commutative provided abcde = abdec = abecd = abdce = abedc = abced  a,b,c,d,e T. DEFINITION 1.19 : A ternary semiring T is said to be pseudo commutative, provided T is a left pseudo commutative, right pseudo commutative and lateral pseudo commutative ternary semiring. III. SPECIAL ELEMENTS IN A TERNARY SEMIRING: DEFINITION 2.1 : An element a in a ternary semiring T is said to be an additive identity provided a + x = x + a = x for every x ∈ T. DEFINITION 2.2 : An element a of ternary semiring T is said to be left identity of T provided aat = t for all t T. NOTE 2.3 : Left identity element a of a ternary semiring T is also called as left unital element. DEFINITION 2.4 : An element a of a ternary semiring T is said to be a lateral identity of T provided ata = t for all t T. NOTE 2.5 : Lateral identity element a of a ternary semiring T is also called as lateral unital element. DEFINITION 2.6: An element a of a ternary semiring T is said to be a right identity of T provided taa = t  t  T. NOTE 2.7 : Right identity element a of a ternary semiring T is also called as right unital element. DEFINITION 2.8 : An element a of a ternary semiring T is said to be a two sided identity of T provided aat = taa = t  tT. +5 0 1 2 3 4 0 0 1 2 3 5 1 1 2 3 4 0 2 2 3 4 0 1 3 3 4 0 1 2 4 4 0 1 2 3 ×5 0 1 2 3 4 0 0 0 0 0 0 1 0 1 2 3 4 2 0 2 4 1 3 3 0 3 1 4 2 4 0 4 3 2 1
  • 3. Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 www.ijera.com 125 | P a g e NOTE 2.9 : Two-sided identity element of a ternary semiring T is also called as bi-unital element. EXAMPLE 2.10 : In the ternary semiring 0 Z  , the element (-1) is a bi-unital element. DEFINITION 2.11 : An element a of a ternary semiring T is said to be an identity provided aat = taa = ata = t  tT. NOTE 2.12 : An identity element of a ternary semiring T is also called as unital element. NOTE 2.13 : An element a of a ternary semiring T is an identity of T iff a is left identity , lateral identity and right identity of T. EXAMPLE 2.14: Let 0 Z  be the set of all non-positive integers. Then with the usual addition and ternary multiplication, 0 Z  forms a ternary semiring with identity element -1. EXAMPLE 2.15: Let 0 2 2 / , , , a b M a b c d z c d             . Then ( M2×2, +, .) is a ternary semiring under the addition and matrix ternary multiplication. M2×2 is a non-commutative ternary semiring with identity element 1 0 0 1       and is of infinite order. EXAMPLE 2.16: nZ0 = { 0 , n , 2n , ……} is a ternary subsemiring of Z0 Proof : Let kn , mn ln be three elements in nZ0, then kn + mn = (k + m)n ∈ nZ0. (kn)(mn)(ln) = (klmn)n ∈ nZ0. Hence, nZ0 is a ternary subsemiring of Z0 without identity. NOTE 2.17 : The identity ( if exists ) of a ternary semiring is usually denoted by e. NOTATION 2.18 : Let T be a ternary semiring. If T has an identity, let e T = T and if T does not have an identity , let e T be the ternary semigroup T with an identity adjoined usually denoted by the symbol e. In the following we introducing left zero, lateral zero, right zero, two sided zero and zero of ternary semiring. DEFINITION 2.19: An element a in a ternary simiring T is said to be an additive zero provided a + x = x + a = x for all x ∈ T. DEFINITION 2.20 : An element a of a ternary semiring T is said to be a left zero of T provided a + x = x and abc = a  b, c, x T. DEFINITION 2.21 : An element a of a ternary semiring T is said to be a lateral zero of T provided a + x = x and bac = a  b, c, x T. DEFINITION 2.22 : An element a of a ternary semiring T is said to be a right zero of T provided a + x = x and bca = a  b, c, x  T. DEFINITION 2.23 : An element a of a ternary semiring T is said to be a two sided zero of T provided a + x = x and abc = bca = a  b, c, x  T. NOTE 2.24 : If a is a two sided zero of a ternary semiring T, then a is both left zero and right zero of T. DEFINITION 2.25 : An element a of a ternary semiring T is said to be zero of T provided a + x = x and abc = bac = bca = a  b, c, x  T. EXAMPLE 2.26 : Let 0 Z  be the set of all negative integers with zero. Then with the usual binary addition and ternary multiplication, 0 Z  forms a ternary semiring with zero. NOTE 2.27 : If a is a zero of T, then a is a left zero, lateral zero and right zero of T. NOTE 2.28: If a is a zero element of ternary semiring T. Then a is also called an absorbing element of T. THEOREM 2.29 : If a is a left zero, b is a lateral zero and c is a right zero of a ternary semiring T , then a = b = c. Proof : Since a is a left zero of T, a + x = x, abc = a for all a, b, c, x T. Since b is a lateral zero of T, b + x = x, abc = b for all a, b, c, x T.
  • 4. Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 www.ijera.com 126 | P a g e Since c is a right zero of T, x + c = x, abc = c for all a, b, c, x T. Therefore a + x = b + x = c + x = x and abc = a = b = c and hence a = b = c. THEOREM 2.30 : Any ternary semiring has at most one zero element. Proof : Let a,b,c be three zeros of a ternary semiring T. Now a can be considered as a left zero , b can be considered as a lateral zero and c can be considered as a right zero of T. By theorem 1.4.30, a = b = c. Then T has at most one zero. NOTE 2.31 : The zero ( if exists ) of a ternary semiring is usually denoted by 0. NOTATION 2.32 : Let T be a ternary semiring. if T has a zero, let 0 T = T and if T does not have a zero , let 0 T be the ternary semigroup T with zero adjoined usually denoted by the symbol 0. DEFINITION 2.33 : A ternary semiring T is said to be a strict ternary semiring or zero sum free provided a + b = 0 implies a = 0 and b = 0. EXAMPLE 2.34 : Let Z0 be the set of positive integers. Then Z0 is a strict ternary semiring. DEFINITION 2.35: An element a in a ternary semiring T is said to be an absorbing w.r.t addition provided a + x = x + a = a for all x ∈ T. DEFINITION 2.36 : A ternary semiring in which every element is a left zero is called a left zero ternary semiring. DEFINITION 2.37 : A ternary semiring in which every element is a lateral zero is called a lateral zero ternary semiring. DEFINITION 2.38 : A ternary semiring in which every element is a right zero is called a right zero ternary semiring. DEFINITION 2.39 : A ternary semiring with 0 in which the product of any three elements equal to 0 is called a zero ternary semiring (or) null ternary semiring. DEFINITION 2.40 : A ternary semiring T is said to be zero divisor free (ZDF) if for a, b, c ∈ T, [abc] = 0 implies that a = 0 or b = 0 or c = 0. DEFINITION 2.41 : A commutative ternary semiring (ring) is called a ternary semi-integral (integral, resp.) domain if it is zero divisor free. DEFINITION 2.42 : A ternary semiring T is said to be semi-subtractive if for any elements a; b ∈ T; there is always some x ∈ T or some y ∈ T such that a + y = b or b + x = a. NOTE 2.43: Each ternary ring is a semi-subtractive ternary semiring. DEFINITION 2.44 : A ternary semiring T is said to be multiplicatively left cancellative (MLC) if abx = aby implies that x = y for all a, b, x, y ∈ T. DEFINITION 2.45: A ternary semiring T is said to be multiplicatively laterally cancellative (MLLC) if axb = ayb implies that x = y for all a, b, x, y ∈ T. DEFINITION 2.46 : A ternary semiring T is said to be multiplicatively right cancellative (MRC) if xab = yab implies that x = y for all a, b, x, y ∈ T. DEFINITION 2.47 : A ternary semiring T is said to be multiplicatively cancellative (MC) if it is multiplicative left cancellative (MLC), multiplicative right cancellative (MRC) and multiplicative laterally cancellative (MLLC). THEOREM 2.48: An multiplicative cancellative ternary semiring T is zero divisor free. Proof: Let T be an multiplicative cancellative ternary semiring and abc = 0 for a; b; c ∈ T. Suppose b ≠ 0 and c ≠ 0. Then by right cancellativity, abc = 0 = 0bc implies that a = 0. Similarly, we can show that b = 0 if a ≠ 0 and c ≠ 0 or c = 0 if a ≠ 0 and b ≠ 0. Consequently, T is zero divisor free. For the converse part we have the following result: THEOREM 2.49: A zero divisor free (ZDF) ternary semiring T is multiplicative cancellative (MC) whenever it is additive cancellative (AC) and semi-subtractive. Proof: Let T be a ZDF, AC and semi-subtractive ternary semiring. Let a; b ∈ T 0 be such that abx = aby for x; y ∈ T. Since T is semi-subtractive, for x; y ∈ T there is always some c ∈ T or some d ∈ T such that y + c = x or x + d = y. Let y + c = x. Then aby + abc = abx implies abc = 0 (by AC) which again implies that c = 0 (since S is ZDF). Similarly, we can show that d = 0 when x + d = y. Consequently, we have x = y and hence T is multiplicatively left cancelletive (MLC, for short). Similarly, it can
  • 5. Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 www.ijera.com 127 | P a g e be proved that T is multiplicatively right cancelletive (MRC) and multiplicatively leterally cancelletive (MLLC). Thus T is MC. In the following we are introducing the notion of idempotent element of a ternary semiring. DEFINITION 2.50 : An element a of a ternary semiring T is said to be additive idempotent element provided a + a = a. DEFINITION 2.51 : An element a of a ternary semiring T is said to be an idempotent element provided 3 a  a . EXAMPLE 2.52 : Let Z6 = {0 , 1 , 2 , 3 , 4 , 5 } be the commutative ternary semiring under addition and multiplication module 6 as ternary compositions. Since 4 ∈ Z6 is an idempotent , since 4 . 4 . 4 = 4(mod6). NOTE 2.53 : The set of all idempotent elements in a ternary semiring T is denoted by E(T). NOTE 2.54 : Every identity, zero elements are idempotent elements. In the following we introduce proper idempotent element and idempotent ternary semiring. DEFINITION 2.55 : An element a of a ternary semiring T is said to be a proper idempotent element provided a is an idempotent which is not the identity of T if identity exists. DEFINITION 2.56 : A ternary semiring T is said to be an idempotent ternary semiring or ternary band provided every element of T is an idempotent. DEFINITION 2.57 : An element a of a ternary semiring T is said to be multiplicatively sub-idempotent provided a + a3 = a . DEFINITION 2.58 : A ternary semiring T is said to be a sub-idempotent ternary semiring provided each of its element is sub-idempotent. DEFINITION 2.59 : A ternary semiring T is said to be Viterbi ternary semiring provided T is additively idempotent and multiplicatively sub-idempotent. NOTE 2.60 : A Viterbi ternary semiring is a ternary semiring if a + a = a and a + a3 = a for all a ∈ T. NOTE 2.61 : The concept of Viterbi ternary semiring is taken from the book of Jonathan S. Golan [7], entitled “Semirings and Affine Equations over them: Theory and Applications”. THEOREM 2.62 : Every ternary semiring T in which T is left singular semigroup w.r.t addition and left singular ternary semigroup w.r.t ternary multiplication, then T is a Viterbi ternary semiring. Proof : By the hypothesis T is left singular semigroup w.r.t addition and left singular ternary semigroup w.r.t ternary multiplication. i.e., a + b = a and ab2 = a  a, b ∈ T. Consider a + b = a. Taking a = b ⇒ a + a = a → (1) and ab2 = a. Taking a = b ⇒ a. a2 = a ⇒ a3 = a ⇒ a + a3 = a + a = a ⇒ a + a3 = a ⟶ (2) Therefore from (1) and (2), T is a Viterbi ternary semiring. NOTE 2.63 : The converse of the theorem 1.4.62, is not necessarily true. This is evident from the following example. EXAMPLE 2.64 : THEOREM 2.65: Let T be a ternary semiring satisfying the identity a + aba + a = a for all a, b ∈ T. If T contains the ternary multiplicative identity which is also an additive identity, then T is a multiplicatively sub-idempotent ternary semiring. Proof : Since a + aba + a = a for all a, b ∈ T. Let e be the multiplicative identity in T is also an additive identity. i.e., aee = eae = eea = a and a + e = e + a = a. Given a + aba + a = a for all a, b ∈ T. Taking a = b. Then a + a3 + a = a ⇒ a + a(a2 + e) = a ⇒ a + a3 = a + 0 ⇒ a + a3 = a for all a ∈ T. Therefore T is multiplicatively sub-idempotent ternary semiring. + a b a a a b a b . a b a a a b b b
  • 6. Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 www.ijera.com 128 | P a g e THEOREM 2.66 : Let T be a multiplicatively idempotent ternary semiring. If T satisfying the identity a + aba + a = a for all a, b ∈ T. Then T is additively idempotent. Proof : Let a ∈ T. Consider a + a = (a + a)3 for all a ∈ T. a + a = (a + a)3 = (a + a)(a + a)(a + a) = a3 + a3+ a3 + a3 + a3 + a3 + a3 + a3 = (a + a3 + a) + (a + a3 + a) + a + a = a + a + a + a = a + a3 + a3 + a = a + a(a + a)a + a = a. Therefore T is additively idempotent. In the following we are introducing regular element and regular ternary semiring. DEFINITION 2.67 : An element a of a ternary semiring. T is said to be regular if there exist x, y ∈ T such that axaya = a. DEFINITION 2.68 : A ternary semigroup T is said to be regular ternary semiring provided every element is regular. THEOREM 2.69 : Every idempotent element in a ternary semiring is regular. Proof : Let a be an idempotent element in a ternary semiring T. Then a = a3 = a.a2 = a3.a2 = a.a.a.a.a. Therefore a is regular element. In the following we are introducing the notion of left regular, lateral regular right regular, intra regular and completely regular elements of a ternary semiring and completely regular ternary semiring. DEFINITION 2.70 : An element a of a ternary semiring T is said to be left regular if there exist x, y ∈ T such that a = a3xy. DEFINITION 2.71 : An element a of a ternary semiring T is said to be lateral regular if there exist x, y ∈ T such that a = xa3y. DEFINITION 2.72 : An element a of a ternary semiring T is said to be right regular if there exist x, y ∈ T such that a = xya3. DEFINITION 2.73 : An element a of a ternary semiring T is said to be intra regular if there exist x, y ∈ T such that a = xa5y. DEFINITION 2.74 : An element a of a ternary semring T is said to be completely regular if there exist x, y ∈ T such that (i) axaya = a (ii) axa = xaa = aax = aya = yaa = aay = axy = yxa = xay = yax. (iii) a = a + x + a (iv) [aa(a + x)] = a + x. DEFINITION 2.75 : A ternary semigroup T is said to be a completely regular ternary semiring provided every element in T is completely regular. THEOREM 2.76 : Let T be a ternary semiring and a ∈ T. If a is a completely regular element, then a is regular, left regular, lateral regular and right regular. Proof : Suppose that a is completely regular. Then there exist x, y ∈ T such that axaya = a and axa = xaa = aax = aya = yaa = aay = axy = yxa = xay = yax. Clearly A is regular. Now a = axaya = axaay = aaaxy = a3xy. Therefore a is left regular. Also a = axaya = xaaya = xaaay = xa3y. Therefore a is lateral regular. and a = axaya = xaaya = xyaaa = xya3. Therefore a is right regular. THEOREM 2.77 : A cancellative left regular ternary semiring is commutative. Proof : Let T be a cancellative left regular ternary semiring. Let a, b, c ∈ T ⇒ (abc)3 = abcabcabc ⇒ a3b3c3 = abcabcabc ⇒ a2b3c2 = bcabcab ⇒ a2b2c2 = bcacab ⇒ (abc)(abc) = (bca)(cab) ⇒ abc = bca = cab. Hence T is commutative. Therefore a cancellative left regular ternary semiring is commutative. The following theorems 2.78, 2.79 and 2.80 are due to V. R. Daddi and Y. S. Pawar [3].
  • 7. Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 www.ijera.com 129 | P a g e THEOREM 2.78 : Let T is a completely regular ternary semiring iff for any a ∈ T, there exist x ∈ T such that the following conditions are satisfied. i) a = a + x + a ii) [(a + x)aa] = a + x THEOREM 2.79 : Let T is a completely regular ternary semiring iff for any a ∈ T, there exist x ∈ T such that the following conditions are satisfied. i) a = a + x + a ii) [a(a + x)a] = a + x THEOREM 2.80 : Let T is a completely regular ternary semiring iff for any a ∈ T, there exist x ∈ T such that the following conditions are satisfied. i) a = a + x + a ii) [aa(a + x)] = a + x iii) [a(a + x)a] = a + x iv) [(a + x)aa] = a + x v) a + [(a + x)aa] = a vi) a + [a(a + x)a] = a vii) a + [aa(a + x)] = a viii) [aa(a + x)] = [a(a + x)a] = [(a + x)aa]. DEFINITION 2.81: An element a of a ternary semiring T is said to be g-regular if there exist x, y ∈ T such that x = xayax or y = yaxay. EXAMPLE 2.82 : Every cancellative regular ternary semiring is g-regular. THEOREM 2.83 : A cancellative ternary semiring is regular if and only if it is g-regular. Proof : Let T be a cancellative ternary semiring. Assume that T is a regular ternary semiring. For any a ∈ T there exist x, y ∈ T such that a = axaya ⇒ axa = axayaxa. Since T is cancellative, a(x)a = a(xayax)a ⇒ x = xayax ⇒ a is g-regular for every a ∈ T. Therefore T is g-regular ternary semiring. Conversely, Assume that T is g-regular ternary semiring. For any a ∈ T there exist x, y ∈ T such that x = xayax ⇒ xax = xayaxax. Since T is cancellative, x(a)x = x(ayaxa)x ⇒ a = ayaxa ⇒ a is regular, for all a in T. Therefore, T is a regular ternary semiring. In the following we are introducing the notion of mid unit of a ternary semiring. DEFINITION 2.84 : An element a of a ternary semiring T is said to be a mid-unit provided xayaz = xyz for all x, y, z ∈ T. DEFINITION 2.85 :. An element a of a ternary semiring T is said to be invertible in T if there exists an element b in T (called the ternary semiring-inverse of a) such that abt = bat = tab = tba = t for all t ∈ T. DEFINITION 2.86 :. A ternary semiring (ring) T with S  2 is said to be a ternary division semiring (ring, resp.) if every non-zero element of T is invertible. THEOREM 2.87 : Every ternary division semiring is regular ternary semiring. Proof : From the definition 2.81, it follows that a bi-unital element of T is invertible and any invertible element is regular. Hence every ternary division semiring is a regular ternary semiring. DEFINITION 2.88 : A commutative ternary division semiring (ring) is said to be a ternary semifield (field, resp.), i.e. a commutative ternary semiring (ring) T with T  2 , is a ternary semifield (field) if for every non-zero element a of T, there exists an element b in T such that abx = x for all x ∈ T. NOTE 2.89 : A ternary semifield T has always an identity. EXAMPLE 2.90 : Denote by 0 R  , 0 Q  and 0 Z  the sets of all non-positive real numbers, non-positive rational numbers and non-positive integers, respectively. Then 0 R  and 0 Q  form ternary semifields with usual binary addition and ternary multiplication and 0 Z  forms only a ternary semi-integral domain but not a ternary semifield.
  • 8. Dr.D. Madhusudana Rao Int. Journal of Engineering Research and Applications www.ijera.com ISSN : 2248-9622, Vol. 4, Issue 11(Version - 5), November 2014, pp.123-130 www.ijera.com 130 | P a g e IV. CONCLUSION In this paper mainly we studied about some special elements in ternary semirings and some special type of ternary semirings. V. ACKNOWLEDGEMENT The authors wish to express their deep gratitude to the learned referee for his valuable comments and suggestions. REFERENCES [1] Arif Kaya and Satyanarayana M. Semirings satisfying properties of distributive type, Proceeding of the American Mathematical Society, Volume 82, Number 3, July 1981. [2] Chinaram, R., A note on quasi-ideal in ¡¡semirings, Int. Math. Forum, 3 (2008), 1253{1259. [3] Daddi. V. R and Pawar. Y. S. Ideal Theory in Commutative Ternary A-semirings, International Mathematical Forum, Vol. 7, 2012, no. 42, 2085 – 2091. [4] Dixit, V.N. and Dewan, S., A note on quasi and bi-ideals in ternary semigroups, Int. J. Math. Math. Sci. 18, no. 3 (1995), 501{508. [5] Dutta, T.K. and Kar, S., On regular ternary semirings, Advances in Algebra, Proceedings of the ICM Satellite Conference in Algebra and Related Topics, World Scienti¯c, New Jersey, 2003, 343{355. [6] Dutta, T.K. and Kar, S., A note on regular ternary semirings, Kyung-pook Math. J., 46 (2006), 357{365. [7] Jonathan S. Golan. Semirings and Affine Equations over Them: Theory and Applications, Kluwer Academic. [8] Kar, S., On quasi-ideals and bi-ideals in ternary semirings, Int. J. Math. Math. Sc., 18 (2005), 3015{3023. [9] Lehmer. D. H., A ternary analogue of abelian groups, Amer. J. Math., 59(1932), 329-338. [10] Lister, W.G., Ternary rings, Trans Amer. Math.Soc., 154 (1971), 37{55. [11] Madhusudhana Rao. D., Primary Ideals in Quasi-Commutative Ternary Semigroups International Research Journal of Pure Algebra – 3(7), 2013, 254-258.