Abstract
The notion of an inductive semimodule over an ordered *-semiring is introduced and some related properties are investigated. Inductive semimodules are extensions of several important algebraic structures such as Kleene modules, Kleene algebras and inductive *-semirings. We prove that an inductive semimodule over an ordered *-semiring K is a Kleene module if and only if K is a Kleene algebra. Moreover, we establish that the vector module of an inductive semimodule over an ordered Conway semiring is again an inductive semimodule over the matrix semiring. Consequently, in an inductive semimodule over an ordered Conway semiring, least solutions to linear inequation systems can be denoted by linear expressions, avoiding the least fixed point operator. In addition, we also introduce a related notion called weak inductive semimodules, and propose several open problems on them.
Similar content being viewed by others
References
Aho AV, Hopcroft JE, Ullman JD (1975) The design and analysis of computer algorithms. Addison-Wesley, Reading
Akram M, Dudek WA (2008) Intuitionistic fuzzy left k-ideals of semirings. Soft Comput 12:881–890
Ahsan J, Saifullah K, Farid Khan M (1993) Fuzzy semirings. Fuzzy Sets Syst 60:309–320
Backhouse RC (1975) Closure algorithms and the star-height problem of regular languages. Ph.D. thesis, Imperial College, London
Bloom SL, Ésik Z (1993a) Iteration theories. Springer, Berlin
Bloom SL, Ésik Z (1993b) Matrix and matrical iteration theories, part I. J Comput Syst Sci 46:381–408
Bloom SL, Ésik Z (1997) The equational logic of fixed points. Theor Comput Sci 179:1–60
Brink C (1981) Boolean modules. J Algebra 71:291–313
Conway JH (1971) Regular algebra and finite machines. Chapman & Hall, London
Dudek WA (2008) Special types of intuitionistic fuzzy left h-ideals of hemirings. Soft Comput 12:359–364
Dutta TK, Biswas BK (1994) Fuzzy prime ideals of a semiring. Bull Malays Math Soc 17:9–16
Dutta TK, Biswas BK (1995) Fuzzy k-ideals of semirings. Bull Calcutta Math Soc 87:91–96
Ehm T, Mö ller B, Struth G (2004) Kleene modules. In: Berghammer R et al (eds) Relational and Kleene-algebraic methods in computer science, Lecture notes in computer science, vol 3051. Springer, Berlin, pp 112–123
Eilenberg S (1974) Automata, languages, and machines, vol A. Academic Press, New York
Ésik Z, Kuich W (2002) Locally closed semirings. Monatsh Math 137:21–29
Ésik Z, Kuich W (2004) Inductive *-semirings. Theor Comput Sci 324:3–33
Ésik Z, Kuich W (2007) On iteration semiring-semimodule pairs. Semigroup Forum 75:129–159
Feng F, Zhao XZ, Jun YB (2005) *-μ-Semirings and *-λ-semirings. Theor Comput Sci 347:423–431
Feng F, Jun YB, Zhao XZ (2007) On *-λ-semirings. Inf Sci 177:5012–5023
Ghosh S (1998) Fuzzy k-ideals of semirings. Fuzzy Sets Syst 95:103–108
Glazek K (2002) A guide to the literature on semirings and their applications in mathematics and information sciences. Kluwer, Dordrecht
Golan JS (2003) Semirings and affine equations over them: theory and applications. Kluwer, Dordrecht
Iwano K, Steiglitz K (1990) A semiring on convex polygons and zero-sum cycle problems. SIAM J Comput 19:883–901
Jun YB, Neggers J, Kim HS (1996) Normal L-fuzzy ideals in semirings. Fuzzy Sets Syst 82:383–386
Jun YB, Neggers J, Kim HS (1998) On L-fuzzy ideals in semirings I. Czech Math J 48(123):669–675
Jun YB, Öztürk MA, Song SZ (2004) On fuzzy h-ideals in hemirings. Inf Sci 162:211-226
Kim CB (2000) Isomorphism theorems and fuzzy k-ideals of k-semirings. Fuzzy Sets Syst 112:333–342
Kim CB, Park M (1996) k-Fuzzy ideals in semirings. Fuzzy Sets Syst 81:281–286
Kleene SC (1956) Representation of events in nerve nets and finite automata. In: Shannon CE, McCarthy J (eds) Automata studies. Princeton University Press, Princeton, pp 3–41
Kozen D (1981) On induction vs *-continuity. In: Kozen D (ed) Proceedings of the workshop on logics of programs. Lecture notes in computer science, vol 131. Springer, Berlin, pp 167–176
Kozen D (1990) On Kleene algebras and closed semirings. In: Rovan B (ed) In: Proceedings of MFCS’90. Lecture notes in computer science, vol 452. Springer, Berlin, pp 26–47
Kozen D (1994) A completeness theorem for Kleene algebras and the algebra of regular events. Inf Comput 110:366–390
Krob D (1991) A complete system of B-rational identities. Theor Comput Sci 89:207–343
Krob D (1992) Models of a K-rational identity system. J Comput Syst Sci 45:396–434
Kuich W (1987) The Kleene and Parikh theorem in complete semirings. In: Ottmann T (ed) Proceedings of the 14th colloquium automata, languages, and programming. Lecture notes in computer science, vol 267. Springer, Berlin, pp 212–225
Kuich W, Salomaa A (1986) Semirings, automata, and languages. Springer, Berlin
Lehmann DJ (1977) Algebraic structures for transitive closure. Theor Comput Sci 4:59–76
Leiß H (1991) Towards Kleene algebra with recursion. In: Bö rger E et al (eds) Computer science logic, 5th workshop, CSL’91. Lecture notes in computer science, vol 626. Springer, Berlin, pp 242–256
Leiß H (2006) Kleene modules and linear languages. J Log Algebr Program 66:185–194
Neggers J, Jun YB, Kim HS (1999) On L-fuzzy ideals in semirings II. Czech Math J 49(124):127–133
Ng KC (1984) Relation algebras with transitive closure. Ph.D. thesis, University of California, Berkeley
Pratt V (1988) Dynamic algebras as a well-behaved fragment of relation algebras. In: Pigozzi D (ed) Proceedings of the conference on algebra and computer science. Lecture notes in computer science, vol 425. Springer, Berlin, pp 77–110
Salomaa A (1966) Two complete axiom systems for the algebra of regular events. J ACM 13:158–169
Tarski A (1941) On the calculus of relations. J Symb Logic 6:65–106
Tarski A (1955) A lattice theoretical fixpoint theorem and its applications. Pacific J Math 5:285–309
Zadeh LA (1965) Fuzzy sets. Inf Control 8:338–353
Zhan J, Dudek WA (2007) Fuzzy h-ideals of hemirings. Inf Sci 177:876–886
Acknowledgments
The authors are highly grateful to the reviewers for their valuable comments and suggestions which greatly helped in improving the paper. This work was supported by a grant (no. 08JK432) from the Education Department of Shaanxi Province of China.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Feng, F., Jun, Y.B. Inductive semimodules and the vector modules over them. Soft Comput 13, 1113–1121 (2009). https://doi.org/10.1007/s00500-008-0384-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-008-0384-y