Scribd
Upload
9 views2 pages

Inverses in Additively Cancellative Hemirings

The document presents Lemma 3.1.2, which states that for a hemiring H with two identity pairs (e1,e2) and (f1,f2), an element a in H has an inverse with respect to (e1,e2) if and only if it has an inverse with respect to (f1,f2). It proves this by showing that if a has an inverse with respect to (e1,e2), then it satisfies the conditions to have an inverse with respect to (f1,f2) as well, and vice versa. It then states Theorem 3.1.3, which provides that in a division hemiring H, there are no zero divisors and

Uploaded by

Jayachandran Paulraj
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
9 views2 pages

Inverses in Additively Cancellative Hemirings

The document presents Lemma 3.1.2, which states that for a hemiring H with two identity pairs (e1,e2) and (f1,f2), an element a in H has an inverse with respect to (e1,e2) if and only if it has an inverse with respect to (f1,f2). It proves this by showing that if a has an inverse with respect to (e1,e2), then it satisfies the conditions to have an inverse with respect to (f1,f2) as well, and vice versa. It then states Theorem 3.1.3, which provides that in a division hemiring H, there are no zero divisors and

Uploaded by

Jayachandran Paulraj
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd

Lemma 3.1.2: Let H be an additively cancellative hemiring and (e1,e2) and (f1,f2) be two identity pair of H.

Then V
e2 f a V 2 a e1 f1

()

()

In otherwords, the element 0aH has an inverse with respect to (e1,e2) if and only if a has also an inverse with respect (f1, f2). Proof : Let Ve1 (a) . Then there exists a pair (c,d) Ve1(a). Hence by the definition of inverse relative to the identity pair (e1,e2) is e1+ca = e2+da Since (f1, f2) is an identity pair, x+x1f1 = xf2 and x+f1x = f2x for all xH. Then e1+e1f1 = e1f2 and e2+e2f1 = e2f2. Also, since (e1, e2) is an identity pair, then f1+f1e1 = f1e2 and f2+f2e1=f2e2. implies f1e1 + f1(ca) = f1e2 +f1 (da) f1 ca = f1 + f1 da also f2e1 + f2 (ca) = f2 e2 + f2 (da) f2ca = f2 + f2 da From and , f1 + f1 da + f2 ca = f1 ca + f2 + f2 da = f2 + f1ca + f2 da f1+(f1d+f2c) a = f2 + (f1c+f2d) a Hence, f1+xa = f2 + ya, for some x, yH. Similarly, we can show that f1+ar = f2+as for some r,sH. Hence from the lemma 3.1.1, it follows that V f1(a) This converse part follows similarly. Hence the result. Theorem 3.1.3: (a) (b) A division hemiring H has no zero divisors. A division hemiring H is multiplicatively cancellative.
f2 e2 e2

IDEALS IN SEMIRING
Dissertation submitted to [Link] University in Partial fulfillment for the award of

MASTER OF PHILOSOPHY IN MATHEMATICS


By [Link] [Link]: SP11MALA30 Under the Guidance of Mrs. [Link] STEPHA [Link]., [Link]., [Link], Department of Mathematics

[Link] UNIVERSITY ST. PETERS INSTITUTE OF HIGHER EDUCATION AND RESEARCH (Declared Under section 3 of the UGC Act.1956) AVADI, CHENNAI-600 054. TAMILNADU, INDIA. MAY-2012

You might also like