Table of Contents
Chinese Journal of Mathematics
Volume 2013, Article ID 167037, 4 pages
http://dx.doi.org/10.1155/2013/167037
Research Article

Regularity in terms of Hyperideals

1Department of Mathematics and Computer Science, Faculty of Natural Sciences, University of Gjirokastra, Gjirokastra 6001, Albania
2Department of Mathematics, Yazd University, Yazd, Iran

Received 9 August 2013; Accepted 9 October 2013

Academic Editors: L. Denis and G. Toth

Copyright © 2013 Kostaq Hila et al. 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

This paper deals with the algebraic hypersystems. The notion of regularity of different type of algebraic systems has been introduced and characterized by different authors such as Iseki, Kovacs, and Lajos. We generalize this notion to algebraic hypersystems giving a unified generalization of the characterizations of Kovacs, Iseki, and Lajos. We generalize also the concept of ideal introducing the notion of -hyperideal and hyperideal of an algebraic hypersystem. It turns out that the description of regularity in terms of hyperideals is intrinsic to associative hyperoperations in general. The main theorem generalizes to algebraic hypersystems some results on regular semigroups and regular rings and expresses a necessary and sufficient condition by means of principal hyperideals. Furthermore, two more theorems are obtained: one is concerned with a necessary and sufficient condition for an associative, commutative algebraic hypersystem to be regular and the other is concerned with nilpotent elements in the algebraic hypersystem.

1. 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, and coding theory.

Hyperstructure theory was introduced in 1934, when Marty [1] defined hypergroups based on the notion of hyperoperation, began to analyze their properties, and applied them to groups. In the following decades and nowadays, a number of different hyperstructures are widely studied from the theoretical point of view and for their applications to many subjects of pure and applied mathematics by many mathematicians. In a classical algebraic structure, the composition of two elements is an element, while in an algebraic hyperstructure, the composition of two elements is a set. Several books have been written on hyperstructure theory; see [25]. A recent book on hyperstructures [3] points out their applications in rough set theory, cryptography, codes, automata, probability, geometry, lattices, binary relations, graphs, and hypergraphs. Another book [4] is devoted especially to the study of hyperring theory. Several kinds of hyperrings are introduced and analyzed. The volume ends with an outline of applications in chemistry and physics, analyzing several special kinds of hyperstructures: -hyperstructures and transposition hypergroups. The theory of suitable modified hyperstructures can serve as a mathematical background in the field of quantum communication systems.

-ary generalizations of algebraic structures are the most natural way for further development and deeper understanding of their fundamental properties [6, 7]. In [8], Davvaz and Vougiouklis introduced the concept of -ary hypergroups as a generalization of hypergroups in the sense of Marty. Also, we can consider -ary hypergroups as a nice generalization of -ary groups. Leoreanu-Fotea and Davvaz in [9] introduced and studied the notion of a partial -ary hypergroupoid, associated with a binary relation. Some important results, concerning Rosenberg partial hypergroupoids, induced by relations, are generalized to the case of -ary hypergroupoids. Davvaz et al. in [10, 11] considered a class of algebraic hypersystems which represent a generalization of semigroups, hypersemigroups, and -ary semigroups. In this paper we deal with the algebraic hypersystems. The notion of regularity of different type of algebraic systems has been introduced and characterized by different authors such as Iseki [12], Kovacs [13], and Lajos [14]. We generalize this notion to algebraic hypersystems giving a unified generalization of the characterizations of Kovacs, Iseki, and Lajos. We generalize also the concept of ideal introducing the notion of -hyperideal and hyperideal of an algebraic hypersystem. It turns out that the description of regularity in terms of hyperideals is intrinsic to associative hyperoperations in general. The main theorem generalizes to algebraic hypersystems some results on regular semigroups and regular rings and expresses a necessary and sufficient condition by means of principal hyperideals. Furthermore, two more theorems are obtained: one is concerned with a necessary and sufficient condition for an associative, commutative algebraic hypersystem to be regular; another is concerned with nilpotent elements in the algebraic hypersystem.

2. Algebraic Hypersystems and -Ary Hyperstructures

In this section we recall some known notions on what is meant by an algebraic hypersystem and-ary hyperstructure.

Let be a nonempty set anda mapping , where denotes the set of all nonempty subsets of . Thenis called a binary (algebraic) hyperoperation on. In general, a mapping , where appears times, is called an -ary (algebraic) hyperoperation, and is called the arity of this hyperoperation. An algebraic system , whereis an -ary hyperoperation defined on , is called an -ary hypergroupoid or an -ary hypersystem. Since we identify the set with the element , any -ary (binary) groupoid is an -ary (binary) hypergroupoid.

Letan -ary hyperoperation on and nonempty subsets of . We define

We will use the following abbreviated notation: the sequence will be denoted by . For , is the empty symbol. In this convention, will be written as . In the case when , the last expression will be written in the form .

Similarly, for subsets of we define

An -ary hyperoperation is called -associative if holds for fixed and all .

Note that -associativity follows from- and-associativity.

If the above condition is satisfied for all , then we say that is associative.

The -ary hyperoperation is called commutative if and only if for all and for all , .

By an algebraic hypersystem or simply is meant a set closed under a collection of -ary hyperoperation and often also satisfying a fixed set of laws, for instance, the associative law.

3. Regular Algebraic Hypersystems

Let be an algebraic hypersystem. is said to be regular with respect to the hyperoperation if and only if for each there exist such that

A subset of constitutes a subhypersystem if and only if is closed under the same hyperoperations and satisfies the same fixed laws in .

Let be an algebraic hypersystem. A -hyperideal relative to the -ary hyperoperation is defined to be a subhypersystem such that, for any , if , then . The -hyperideal relative to generated by an element (usually called a principal -hyperideal) is denoted by

A subhypersystem which is a -hyperideal for each is simply called a hyperideal.

Theorem 1. Let be an algebraic hypersystem which is associative relative to an -ary hyperoperation . Then the following conditions are equivalent.(1) is regular relative to the hyperoperation .(2) for any set of -hyperideals relative to the hyperoperation.(3) for any set of elements .(4)  for each element .

Proof. Let be regular relative to the -ary hyperoperation and let for any set of -hyperideals relative to the hyperoperation. Then by regularity there exists such that With being a -hyperideal for each , we thus obtain , , and and hence .
Conversely, if , then for , , and therefore for each . Hence, (2) is proved.
are obvious.
Let for each . Since for each , , then , where either or with . Thus, we have in any case the following: for some . This shows that is regular with respect to the hyperoperation.

Theorem 2. An algebraic hypersystem which is associative and commutative relative to an -ary hyperoperation is regular with respect to the same hyperoperation if and only if every hyperideal of is idempotent; that is, .

Proof. If is commutative relative to , then and hence every -hyperideal is also a -hyperideal for all . Hence, by regularity
Conversely, suppose that every hyperideal inis idempotent. If are hyperideals of , then is also an hyperideal and therefore inasmuch ascontains the intersection for each. Furthermore, since each , is also a-hyperideal, then . Hence, the conclusion follows.
By what we mentioned in the beginning of the section, note that in case the -ary hyperoperation is an associative -ary hyperoperation in one may conveniently abbreviate Thus, the admissible exponents of compositions of rank at most 2 are each of the form for some integer. Proceeding inductively, suppose that are previously known admissible exponents; then the exponent of is evidently also of the same form. Hence, every admissible exponent of an-ary hyperoperation is of the form .
An elementsuch that for all , is called zero element. The zero element is denoted by 0. A nilpotent element is one which satisfies for some integer greater than 0.

Theorem 3. An algebraic hypersystem which is commutative, associative, regular, and has a 0 with respect to an -ary hyperoperationpossesses no nilpotent element other than 0.

Proof. For all , let denote the subhypersystem of generated by , which may be inductively defined as follows: (1)(2)(3)whenever , then also .In order to prove the theorem it suffices to show that . We proceed inductively as follows.(1) by assumption.(2)Consider . For, if , then by virtue of the associativity, commutativity, and regularity of the given hyperoperation, there exist such that ,, contrary to (1).(3)We now show that if are all nonzero elements of , then . Suppose . Then by the above remark, we have Since is commutative, it may be assumed without loss of generality that . Then where is an admissible exponent. Hence, by associativity, commutativity, and regularity of the hyperoperation , there exist such that a contradiction. Thus, every element of is nonzero and the conclusion follows.

Acknowledgments

Kostaq Hila wishes to express his warmest thanks to Professor Apostolos Thoma and the Department of Mathematics, University of Ioannina (Greece) for their hospitality during the author’s postdoctoral scholarship supported by the State Scholarships Foundation of Hellenic Republic.

References

  1. F. Marty, “Sur une generalization de la notion de group,” in Proceedings of the 8th Congress des Mathematiciens Scandinaves, pp. 45–49, Stockholm, Sweden, 1934.
  2. P. Corsini, Prolegomena of Hypergroup Theory, Aviani, 2nd edition, 1993.
  3. P. Corsini and V. Leoreanu, Applications of Hyperstructure Theory, Advances in Mathematics, Kluwer Academic, Dodrecht, The Netherlands, 2003.
  4. B. Davvaz and V. Leoreanu-Fotea, Hyperring Theory and Applications, International Academic Press, Palm Harbor, Fla, USA, 2007.
  5. T. Vougiouklis, Hyperstructures and Their Representations, Hadronic Press, Palm Harbor, Fla, USA, 1994.
  6. W. A. Dudek and I. Grozdzinska, “On ideals in regular n-semigroups,” Matematicki Bilten, vol. 3, no. 4, pp. 29–30, 1980. View at Google Scholar
  7. L. Vainerman and R. Kerner, “On special classes of n-algebras,” Journal of Mathematical Physics, vol. 37, no. 5, pp. 2553–2565, 1996. View at Publisher · View at Google Scholar · View at Scopus
  8. B. Davvaz and T. Vougiouklis, “N-ary hypergroups,” Iranian Journal of Science and Technology, Transaction A, vol. 30, no. 2, pp. 165–174, 2006. View at Google Scholar · View at Scopus
  9. V. Leoreanu-Fotea and B. Davvaz, “n-hypergroups and binary relations,” European Journal of Combinatorics, vol. 29, no. 5, pp. 1207–1218, 2008. View at Publisher · View at Google Scholar · View at Scopus
  10. B. Davvaz, W. A. Dudek, and T. Vougiouklis, “A generalization of n-ary algebraic systems,” Communications in Algebra, vol. 37, no. 4, pp. 1248–1263, 2009. View at Publisher · View at Google Scholar · View at Scopus
  11. B. Davvaz, W. A. Dudek, and S. Mirvakili, “Neutral elements, fundamental relations and n-ary hypersemigroups,” International Journal of Algebra and Computation, vol. 19, no. 4, pp. 567–583, 2009. View at Publisher · View at Google Scholar · View at Scopus
  12. K. Iseki, “A characterization of regular semigroups,” Proceedings of the Japan Academy, vol. 32, pp. 676–677, 1995. View at Google Scholar
  13. L. Kovacs, “A note on regular rings,” Publicationes Mathematicae Debrecen, vol. 4, pp. 465–468, 1956. View at Google Scholar
  14. S. Lajos, “A remark on regular semigroups,” Proceedings of the Japan Academy, vol. 37, pp. 29–30, 1961. View at Google Scholar