Free Extended BCK-Module
Authors
Abstract:
In this paper, by considering the notion of extended BCK-module, we define the concepts of free extended BCK-module, free object in category of extended BCK-modules and we state and prove some related results. Specially, we define the notion of idempotent extended BCK-module and we get some important results in free extended BCK-modules. In particular, in category of idempotent extended BCK-modules, we give a method to make a free object on a nonempty set and in BCK-algebra of order 2, we give a method to make a basis for unitary extended BCK-modules. Finally, we define the notions of projective and productive modules and we investigate the relation between free modules and projective modules. In special case, we state the relation between free modules and productive modules.
similar resources
Extended BCK - Module
In this paper by considering the notion of BCK-module X, we introduce new concept which is named extended BCK-module or briefly X-module and we obtain some interesting results by it. Furthermore, we define the notion of multiplication X-module. 2000 Mathematics subject classification: 06D99 • 08A30
full textExtended Fuzzy $BCK$-subalgebras
This paper extends the notion of fuzzy $BCK$-subalgebras to fuzzy hyper $BCK$-subalgebras and defines an extended fuzzy $BCK$-subalgebras. This study considers a type of fuzzy hyper $BCK$-ideals in this hyperstructure and describes the relationship between hyper $BCK$-ideals and fuzzy hyper $BCK$-ideals. In fact, it tries to introduce a strongly regular relation on hyper $...
full textThe Extended Module of Indecomposables
We construct a generalization of the usual module of indecomposables for the mod 2 cohomology of a finite //-space. Structure theorems are obtained regarding how the Steenrod algebra acts on this module.
full textThe extended Burnside ring and module categories
In this note an ‘extended Burnside ring’ is defined, generated by classes of semisimple module categories over Rep(G) with quasifibre functors. Here G is a finite group and representations are taken over an algebraically closed field of characteristic 0. It is shown that this is equivalent to a ring generated by centrally extended G-sets and hence the name. Ring homomorphisms into the multiplic...
full textTorsion Z-module and Torsion-free Z-module
In this article, we formalize a torsion Z-module and a torsionfree Z-module. Especially, we prove formally that finitely generated torsion-free Z-modules are finite rank free. We also formalize properties related to rank of finite rank free Z-modules. The notion of Z-module is necessary for solving lattice problems, LLL (Lenstra, Lenstra, and Lovász) base reduction algorithm [20], cryptographic...
full textBipolar Fuzzy Implicative Hyper Bck-ideals in Hyper Bck-algebras
Bipolar-valued fuzzification of the notion of implicative hyper BCK-ideals is considered. Using the concepts of positive and negative lever sets, a characterization of a bipolar fuzzy implicative hyper BCK-ideal is provided. A relation between a bipolar fuzzy hyper BCK-ideal and a bipolar fuzzy implicative hyper BCK-ideal is established. A condition for a bipolar fuzzy hyper BCK-ideal to be a b...
full textMy Resources
Journal title
volume 10 issue None
pages 29- 43
publication date 2015-10
By following a journal you will be notified via email when a new issue of this journal is published.
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023