Research Article
Groupoids in Involution Rings
Department of Mathematics, Cochin University of Science and Technology, Kerala, India
LiveDNA: 91.14576
K.K. Sneha
Department of Mathematics, Cochin University of Science and Technology, Kerala, India
In the following we briefly recall some definitions needed in the sequel as reported by MacLane1 for a detailed exposition. A partial binary operation on a set E is a function from a subset D of E×E to E, the set D is called the domain of the partial binary operation. A partial algebra on a set E is a subset of E on which a partial binary operation is defined. We shall denote the partial binary operation on E by juxtaposition and its domain by DE. An element u∈E is an identity if ug = g whenever (u, g)∈D and hu = h whenever, (h, u)∈D. Thus, we have the following definition1,2:
Definition 1: A category C is a partial algebra satisfying the following axioms:
• | The composite (xy)z is defined if and only if the composite x(yz) is defined. When either is defined they are equal. The common value of the triple composite is denoted by xyz |
• | If the composite xy and yz are defined then the triple composite xyz is defined; xyz = (xy)z |
• | For all x∈C, there exists identities e, f∈C such that; xe and fx are defined |
Clearly, the identities e and f are uniquely determined by x, we write e = d(x) and f = r(x), where, d(x) is the domain identity and r(x) is the range identity. Observe that xy is defined if and only if d(x) = r(y).
Definition 2: A category C is said to be a groupoid if for each x∈C there is an element x1 such that; x1 x = d(x) and xx1 = r(x).
Groupoid generalizes the notion of group, all groups are groupoid with only one vertex. A groupoid can be seen as a group with partial binary operation replacing the binary operation (2010 Mathematics subject classification 06F25).
Definition 3: Let (G,·) be a groupoid and let < be a partial order defined on G. Then (G,·,<) is an ordered groupoid if the following axioms hold:
• | x<y implies x1<y1 for all x, y∈G |
• | For all x, y, u, v∈G if x<y and u<v, xu and yv are defined then xu<yv |
• | Let x∈G and e be an identity such that e<d(x).Then there exists a unique element (x|e), called the restriction of x to e, such that (x|e)<x and d(x|e) = e |
• | Let x∈G and let e be an identity such that e<r(x). Then there exists a unique element (e|x), called the co-restriction of x to e, such that (e|x)<x and r(e|x) = e |
A ring R is an additive abelian group together with an associative multiplication such that; the multiplication distributes over addition in R.A ring R is called an involution ring. If R is a ring with an operation *called involution such that it satisfies the conditions (a*)* = a (a+b)* = a*+b*, (ab)* = b*a*. An element α∈R is called a symmetric element if a* = a. Let R be an involution ring with unity 1, then by Rsym, Rproj we denote the set of all symmetric and projections (simultaneously symmetric and idempotent elements), respectively. It is easy to observe that if e is an idempotent then e* is also idempotent.
Partial isometries in an involution ring: Let R be an involution ring. A partial isometry in an involution ring is an element r such that r = rr* r, where r* is the image of r under involution and we pronounce it as r star. We denote the set of all partial isometries of an involution ring R by PI(R). A projection in an involution ring is an element e such that e2 = e and e* = e. Every projection is a partial isometry, since ee* e = e.
Lemma 1: Let R be an involution ring:
• | r be a partial isometry in R, then r*r and rr* are projections |
• | e and f be projections in R, then e = ef if and only if e = fe3,4 |
Next, we define a relation < on PI(R) by:
Clearly, < is a partial order on PI(R). For r, t∈PI(R), we define r·t by:
It is easy to see that · is a partial binary operation on PI(R). For r, t∈PI(R) with rt is defined then:
Thus, rt∈PI (R).
Theorem 1: Let R be an involution ring. Then, the (PI(R), <) is an ordered groupoid4.
Example 1: Consider M2 the ring of all 2×2 matrices over the ring M2 is an involution ring with * as transpose. An element A∈M2 is said to be a partial isometry if A = AA*A. Let A∈M2 be a projection then:
solving the matrix equation we obtain projections on M2 are:
Let, A∈M2 be a unitary matrix, that is, AA* = A*A = I:
Let:
and:
On solving we obtain all possible unitary matrices in A∈M2 as follows:
Since, a matrix is a partial isometry if and only if it is of the form A = UP where, U is a unitary matrix and P is a projection we have partial isometries in M2 as follows:
Now, it is easy to see that PI (M2 (Z)) is an ordered groupoid.
Moore-penrose invertible elements in an involution ring: Let R be an involution ring. An element a∈R is Moore-penrose invertible, if there exists b∈R such that the following hold:
(1) |
Any b satisfies the above condition is called a Moore-penrose inverse of a. Note that there is at most one b such that above conditions hold and such a b is denoted by a† and we call it as a dagger. The set of all Moore-penrose invertible elements of R will be denoted by R† and call it as R dagger. If a is invertible, then a† coincides with the inverse of a.
Moore-penrose inverse is unique when it exists, suppose x and y be Moore-penrose inverses of a, then:
Now:
Similarly, we can show that xa = ya, Thus:
Lemma 2: An element r in an involution ring R is a partial isometry if and only if it admits Moore-penrose inverse and r† = r*.
Proof: Suppose r∈R is a partial isometry then:
so, r* r and rr* are projections hence, r* satisfies all the conditions of Moore-penrose inverse given in the Eq. 1 and r† = r*. Conversely assume that r is Moore-penrose invertible and r† = r*, then:
and r* r,rr* are symmetric. Hence, r is a partial isometry.
Lemma 3: Let, R be an involution ring and r∈R is Moore-penrose invertible then rr† and r† r are projections.
Proof: Given that r is Moore-penrose invertible then:
Now, it is enough to show that rr† and r†r are idempotents. For:
Let, R† denote the set of all elements in R which have Moore-penrose inverses. Define * on R† by, for r, t∈(R)†:
(2) |
Clearly * is a partial binary operation on R†, for r, t∈R† such that the product r*t is defined, then r*t = rt and r† r = tt†. So, r*t is Moore-penrose invertible and its Moore-penrose inverse is given by:
Theorem 2: Let, R be an involution ring. Then (R†,*) is a groupoid.
Proof: Suppose that (r*t)*u is defined, then:
i.e., t† r† rt = uu†, but r† r = tt† and so t†t = uu†. Hence, (t*u) is defined.
Now:
Thus, r*(t*u) is defined and:
Similarly, the converse follows.
Suppose, that r*t and t*u are defined, then:
so:
thus, s*(t*u) is defined.
Let, e be a projection and suppose that r*e is defined, then:
and:
Similarly, if e*s is defined then e*s = s.
Let, e be an identity and the product e*(e†*e) is defined, then e*(e† e) = e, thus e = e† e and e† e is a projection.
Observe that r = (rr†) r = r (r† r), so it follows that R† is a groupoid where r1 = r†.
Theorem 3: The ordered groupoid of partial isometries PI(R) in an involution ring R is a sub-groupoid of the groupoid of Moore-penrose invertible elements in R.
Proof: From Lemma 2 partial isometries are Moore-penrose invertible, hence:
To prove that (PI(R),·, <) is a sub-groupoid of (R†, *) it is enough to show that · is the restriction of * to the set of partial isometries. For, let r,t∈PI(R) then r† = r* and t† = t*:
Thus, ordered groupoid of partial isometries is a sub-groupoid of groupoid of Moore-penrose invertible elements.
This is an attempt to extend the groupoid techniques in the study of structure of semigroups to the study of the structure of rings. Here, it is shown that Moore-penrose invertible elements in an involution ring is a groupoid and the ordered groupoid of partial isometries is sub-groupoid of thi groupoid of Moore-penrose invertible elements. Also, this study provide an example of ordered groupoid of partial ismetries in the involution ring M2 (Z) of all 2×2 matrices of integer entries.
This study discovered that set of all Moore-penrose elements in an involution ring forms a groupoid and the ordered groupoid of prtial isometries is sub-groupoid of this gropouid which is beneficial for the study of structure of involution rings.