×

Set relations and set systems induced by some families of integral domains. (English) Zbl 1441.13025

Summary: In this paper, given an integral domain \(U\), we investigate the main properties of a relation \(\leftarrow_{m o d}\) which is based on the interrelation between subdomains of \(U\) and finitely generated unitary submodules of \(U\). We shall characterize it in terms of a second relation \(\prec_\diamond\) between \(n\)-tuples \(( u_1, \ldots, u_n)\) of elements of \(U\) and subdomains \(D\) of \(U\) defined by the vanishing in \(( u_1, \ldots, u_n)\) of some polynomial \(p( Z_1, \ldots, Z_n)\) belonging to a specific subset of the polynomial ring in several variables \(D [ Z_1, \ldots, Z_n]\). Such an equivalence shall be used in order to introduce three specific collections of subdomains \(\mathcal{X}_U, \mathcal{B}_U\) and \(\mathcal{P}_U\), whose algebraic properties present a close connection with geometrical and combinatorial properties induced by \(\leftarrow_{m o d} \). On the other hand, the characterization of the subdomains of \(\mathcal{X}_U\) leads to the more general problem of finding a map \(\Psi\) associating with a subdomain \(D\) of \(U\) a collection \(\operatorname{\Psi}(D)\) of subdomains of \(\mathbb{K}_U\) such that the intersection of some or of any member of \(\operatorname{\Psi}(D)\) gives \(D\). In this perspective, in the present paper we shall study two further collections of subdomains of \(U\), denoted respectively by \(\mathcal{E}_U\) and \(\mathcal{L}_U\), whose main properties are related to those of the families \(\mathcal{P}_U\) and \(\mathcal{B}_U\).
Finally, our investigation of all the aforementioned subdomain families shall be also related to the study of pairs \((e, \xi)\), where \(e \in U \smallsetminus \{0 \}\) and \(\xi\) is an idempotent ring endomorphism of \(U\) whose kernel agrees with the ideal of \(U\) generated by \(e\). We shall exhibit several results concerning the membership of \(\xi(U)\) and of \(\xi(U) [e]\) to the above subdomain families.

MSC:

13C05 Structure, classification theorems for modules and ideals in commutative rings
13G05 Integral domains
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Aghabozorgi, H.; Davvaz, B.; Jafarpour, M., Nilpotent groups derived from hypergroups, J. Algebra, 382, 177-184 (2013) · Zbl 1286.20079
[2] Aledo, J. A.; Diaz, L. G.; Martínez, S.; Valverde, J. C., On periods and equilibria of computational sequential systems, Inf. Sci., 409, 27-34 (2017) · Zbl 1429.68167
[3] Aledo, J. A.; Diaz, L. G.; Martinez, S.; Valverde, J. C., Predecessors and Garden-of-Eden configurations in parallel dynamical systems on maxterm and minterm Boolean functions, J. Comput. Appl. Math., 348, 26-33 (2019) · Zbl 1404.37043
[4] Altmann, K.; Bagdeli, M.; Herzog, J.; Lu, D., Algebraically rigid simplicial complexes and graphs, J. Pure Appl. Algebra, 220, 8, 2914-2935 (2016) · Zbl 1430.13032
[5] Armstrong, W. W., Dependency Structures of Data Base Relationships, Information Processing, vol. 74, 580-583 (1974), North-Holland: North-Holland Amsterdam · Zbl 0296.68038
[6] Atiyah, M. F.; Macdonald, I. G., Introduction to Commutative Algebra (1969), Addison-Wesley: Addison-Wesley London · Zbl 0175.03601
[7] Balcar, B.; Franek, F., Independent families in complete Boolean algebras, Trans. Am. Math. Soc., 274, 2, 607-618 (1982) · Zbl 0527.06008
[8] Bandelt, H. J.; Dress, A., Reconstructing the shape of a tree from observed dissimilarity data, Adv. Appl. Math., 7, 309-343 (1986) · Zbl 0613.62083
[9] Bandelt, H. J.; Dress, A., An order theoretic framework for overlapping clustering, Discrete Math., 136, 21-37 (1994) · Zbl 0832.92032
[10] Barr, M.,^⁎-Autonomous Categories, Lecture Notes in Mathematics, vol. 752 (1979), Springer-Verlag: Springer-Verlag Berlin · Zbl 0415.18008
[11] Bayley, R. A., Association Schemes: Designed Experiments, Algebra and Combinatorics (2004), Cambridge University Press: Cambridge University Press Cambridge, 387 pp · Zbl 1051.05001
[12] Bergman, G. M.; Nielsen, P. P., On Vaughan Pratt’s crossword problem, J. Lond. Math. Soc. (2), 93, 825-845 (2016) · Zbl 1484.06032
[13] Bisi, C., On commuting polynomial automorphisms of \(\mathbb{C}^k, k \geq 3\), Math. Z., 258, 4, 875-891 (2008) · Zbl 1161.32006
[14] Bisi, C., On closed invariant sets in local dynamics, J. Math. Anal. Appl., 350, 1, 327-332 (2009) · Zbl 1151.37315
[15] Bisi, C., A Landau’s theorem in several complex variables, Ann. Mat. Pura Appl., 196, 2, 737-742 (2017) · Zbl 1366.32008
[16] Bocker, S.; Dress, A., Patchworks, Adv. Math., 157, 1-21 (2001) · Zbl 0979.05099
[17] Bonacini, P., Laudal’s lemma in positive characteristic, J. Algebraic Geom., 18, 459-476 (2009) · Zbl 1168.14026
[18] Bonacini, P.; Gionfriddo, M.; Marino, L., Nesting house-designs, Discrete Math., 339, 4, 1291-1299 (2016) · Zbl 1329.05241
[19] Bonacini, P.; Marino, L., On the Hilbert function of 0-dimensional schemes in \(\mathbb{P}^1 \times \mathbb{P}^1\), Collect. Math., 62, 1, 57-67 (2011) · Zbl 1228.13025
[20] Bourbaki, N., Elements of Mathematics, Commutative Algebra, Chapters I-VII (1989), Springer · Zbl 0666.13001
[21] Cattaneo, G.; Chiaselotti, G.; Oliverio, P. A.; Stumbo, F., A new discrete dynamical system of signed integer partitions, Eur. J. Comb., 55, 119-143 (2016) · Zbl 1333.05026
[22] Chiaselotti, G.; Gentile, T.; Infusino, F., Simplicial complexes and closure systems induced by indistinguishability relations, C. R. Acad. Sci. Paris, Ser. I, 355, 991-1021 (2017) · Zbl 1371.05327
[23] Chiaselotti, G.; Gentile, T.; Infusino, F., Granular computing on information tables: families of subsets and operators, Inf. Sci., 442-443, 72-102 (2018) · Zbl 1440.68288
[24] Chiaselotti, G.; Gentile, T.; Infusino, F., Pairings and related symmetry notions, Ann. Univ. Ferrara, 64, 2, 285-322 (November 2018) · Zbl 1436.08001
[25] Chiaselotti, G.; Gentile, T.; Infusino, F., Symmetry geometry by pairings, J. Aust. Math. Soc., 106, 3, 342-360 (2019) · Zbl 1415.51005
[26] Chiaselotti, G.; Gentile, T.; Infusino, F., Decision systems in rough set theory. A set operatorial perspective, J. Algebra Appl., 18, 01, Article 1950004 pp. (2019) · Zbl 1411.68155
[27] Chiaselotti, G.; Gentile, T.; Infusino, F., Local dissymmetry on graphs and related algebraic structures, Int. J. Algebra Comput., 29, 8, 1499-1526 (2019) · Zbl 1423.05079
[28] Chiaselotti, G.; Gentile, T.; Infusino, F., New perspectives of granular computing in relation geometry induced by pairings, Ann. Univ. Ferrara, 65, 1, 57-94 (May 2019) · Zbl 07074946
[29] Chiaselotti, G.; Gentile, T.; Infusino, F.; Oliverio, P. A., The adjacency matrix of a graph as a data table. A geometric perspective, Ann. Mat. Pura Appl., 196, 3, 1073-1112 (2017) · Zbl 1366.05029
[30] Chiaselotti, G.; Infusino, F., Notions from rough set theory in a generalized dependency relation context, Int. J. Approx. Reason., 98, 25-61 (2018) · Zbl 1446.03087
[31] Chiaselotti, G.; Infusino, F.; Oliverio, P. A., Dependency relations, Boll. UMI, 12, 4, 525-548 (2019) · Zbl 1468.08001
[32] Cibils, C., Cohomology of incidence algebras and simplicial complexes, J. Pure Appl. Algebra, 56, 221-232 (1989) · Zbl 0683.16018
[33] Davvaz, B.; Corsini, P.; Changphas, T., Relationship between ordered semihypergroups and ordered semigroups by using pseudorders, Eur. J. Comb., 44, 208-217 (2015) · Zbl 1308.06010
[34] Dress, A., Split decomposition over an Abelian group Part 1: generalities, Ann. Comb., 13, 199-232 (2009) · Zbl 1230.05099
[35] Dress, A., Split decomposition over an Abelian group, Part 2: group-valued split systems with weakly compatible support, Discrete Appl. Math., 157, 2349-2360 (2009) · Zbl 1230.05098
[36] Droste, M.; Zhang, G.-Q., Bifinite Chu spaces, Log. Methods Comput. Sci., 6, 1:3, 1-20 (2010) · Zbl 1189.68073
[37] Edelman, P. H.; Jamison, R. E., The theory of convex geometries, Geom. Dedic., 19, 247-270 (1985) · Zbl 0577.52001
[38] Faridi, S., The facet ideal of a simplicial complex, Manuscr. Math., 109, 159-174 (2002) · Zbl 1005.13006
[39] Faridi, S., Simplicial trees are sequentially Cohen-Macaulay, J. Pure Appl. Algebra, 190, 1-3, 121-136 (2004) · Zbl 1045.05029
[40] Farshi, M.; Davvaz, B., Relations and homomorphisms of n-hypergroups, Eur. J. Comb., 44, 218-230 (2015) · Zbl 1308.20060
[41] Finkbeiner, D., Dependence relation for lattices, Proc. Am. Math. Soc., 2, 5, 756-759 (1951) · Zbl 0044.02101
[42] Furino, S., Difference families from rings, Discrete Math., 97, 177-190 (1991) · Zbl 0751.05011
[43] Gionfriddo, M.; Guardo, E.; Milazzo, L., Extending bicolorings for Steiner triple systems, Appl. Anal. Discrete Math., 225-234 (2013) · Zbl 1408.05096
[44] Gomez, M.; Lopez-Permouth, S. R.; Mazariegos, F.; Vargas De Léon, A. J.; Zelada Cifuentes, R., Group structures on families of subsets of a group (2016) · Zbl 1367.20028
[45] Jensen, S., The character degree simplicial complex of a finite group, J. Algebra, 440, 33-48 (2015) · Zbl 1335.20005
[46] Leoreanu-Fotea, V.; Davvaz, B., n-hypergroups and binary relations, Eur. J. Comb., 29, 1207-1218 (2008) · Zbl 1179.20070
[47] Li, X.; Yi, H.; Liu, S., Rough sets and matroids from a lattice-theoretic viewpoint, Inf. Sci., 342, 37-52 (2016) · Zbl 1403.06018
[48] Li, X.; Yi, H.; Wang, Z., Approximation via a double-matroid structure, Soft Comput., 23, 17, 7557-7568 (2019) · Zbl 1418.68206
[49] Lin, T. Y.; Chiang, I., A simplicial complex, a hypergraph, structure in the latent semantic space of document clustering, Int. J. Approx. Reason., 40, 55-80 (2005) · Zbl 1099.68086
[50] Liu, Y.; Zhu, W., The matroidal structures of the second type of covering-based rough set, (RSKT (2015)), 231-242 · Zbl 1444.68234
[51] Matsumura, H., Commutative Ring Theory, Cambridge Studies in Advanced Mathematics (1989) · Zbl 0666.13002
[52] Mirvakili, S.; Davvaz, B., Relations on Krasner \((m, n)\)-hyperrings, Eur. J. Comb., 31, 3, 790-802 (2010) · Zbl 1194.16041
[53] Mirvakili, S.; Davvaz, B., Applications of the \(\alpha^\ast \)-relation to Krasner hyperrings, J. Algebra, 362, 145-156 (2012) · Zbl 1266.16058
[54] Moradi, S.; Khosh-Ahang, F., Expansion of a simplicial complex, J. Algebra Appl., 15, 1, Article 1650004 pp. (2016) · Zbl 1338.13041
[55] Pratt, V., The Stone gamut: a coordinatization of mathematics, (10th Annual Symposium on Logic in Computer Science (1995), IEEE Computer Society Press), 444-454
[56] Pratt, V., Chu spaces, (Notes for the School on Category Theory and Applications (1999), University of Coimbra), 70 pp. · Zbl 0954.18002
[57] Pratt, V., Chu spaces as a semantic bridge between linear logic and mathematics, Theor. Comput. Sci., 294, 439-471 (2003) · Zbl 1042.18002
[58] Rado, R., Abstract linear dependence, Colloq. Math., 14, 1, 257-264 (1966) · Zbl 0136.26203
[59] Sanahuja, S. M., New rough approximations for n-cycles and n-paths, Appl. Math. Comput., 276, 96-108 (2016) · Zbl 1410.68355
[60] Scott, D. S., Data types as lattices, SIAM J. Comput., 5, 3, 522-587 (1976) · Zbl 0337.02018
[61] Scott, D. S., Domains for denotational semantics, (Automata, Languages and Programming. Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 140 (1982)), 577-613 · Zbl 0495.68025
[62] Shen, L.; Tao, Y.; Zhang, D., Chu connections and back diagonals between \(\mathcal{Q} \)-distributors, J. Pure Appl. Algebra, 220, 5, 1858-1901 (2016) · Zbl 1338.18037
[63] Shen, L.; Zhang, D., Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions, Theory Appl. Categ., 28, 20, 577-615 (2013) · Zbl 1273.18022
[64] Smith, D. E., On the Cohen-Macaulay property in commutative algebra and simplicial topology, Pac. J. Math., 14, 165-196 (1990) · Zbl 0686.13008
[65] Street, R. H., The algebra of oriented simplexes, J. Pure Appl. Algebra, 49, 283-335 (1987) · Zbl 0661.18005
[66] Street, R. H., Parity complexes, Cah. Topol. Géom. Différ. Catég., 35, 359-361 (1994) · Zbl 0811.18007
[67] Tanga, J.; Shea, K.; Min, F.; Zhu, W., A matroidal approach to rough set theory, Theor. Comput. Sci., 471, 3, 1-11 (2013) · Zbl 1258.05022
[68] Utumi, Y., On quotient rings, Osaka Math. J., 8, 1-18 (1956) · Zbl 0070.26601
[69] van de Vel, M., Theory of Convex Structures, North-Holland Mathematical Library, vol. 50 (1993) · Zbl 0785.52001
[70] van de Vel, M., A selection theorem for topological convex structures, Trans. Am. Math. Soc., 336, 2, 463-496 (1993) · Zbl 0781.52002
[71] Wang, J.; Zhu, W., Applications of bipartite graphs and their adjacency matrices to covering-based rough sets, Fundam. Inform., 156, 237-254 (2017) · Zbl 1381.68293
[72] Welsh, D. J.A., Matroid Theory (1976), Academic Press · Zbl 0343.05002
[73] Whitney, H., On the abstract properties of linear independence, Am. J. Math., 57, 509-533 (1935) · JFM 61.0073.03
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.