Abstract
A congruence on \(\mathbb {N}^n\) is an equivalence relation on \(\mathbb {N}^n\) that is compatible with the additive structure. If \(\Bbbk \) is a field, and I is a binomial ideal in \(\Bbbk [X_1,\dots ,X_n]\) (that is, an ideal generated by polynomials with at most two terms), then I induces a congruence on \(\mathbb {N}^n\) by declaring u and v to be equivalent if there is a linear combination with nonzero coefficients of X u and X v that belongs to I. While every congruence on \(\mathbb {N}^n\) arises this way, this is not a one-to-one correspondence, as many binomial ideals may induce the same congruence. Nevertheless, the link between a binomial ideal and its corresponding congruence is strong, and one may think of congruences as the underlying combinatorial structures of binomial ideals. In the current literature, the theories of binomial ideals and congruences on \(\mathbb {N}^n\) are developed separately. The aim of this survey paper is to provide a detailed parallel exposition, that provides algebraic intuition for the combinatorial analysis of congruences. For the elaboration of this survey paper, we followed mainly (Kahle and Miller Algebra Number Theory 8(6):1297–1364, 2014) with an eye on Eisenbud and Sturmfels (Duke Math J 84(1):1–45, 1996) and Ojeda and Piedra Sánchez (J Symbolic Comput 30(4):383–400, 2000).
Dedicated to Professor Antonio Campillo on the occasion of his 65th birthday.
The first author was partially supported by NSF grant DMS-1500832. The second author was partially supported by the project MTM2015-65764-C3-1, National Plan I+D+I, and by Junta de Extremadura (FEDER funds) – FQM-024.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Briales, E. Campillo, A. Marijuán, C. Pisón, P. Combinatorics of syzygies for semigroup algebra. Collect. Math. 49, 239–256 (1998)
Brookfield, G.: Commutative Noetherian semigroups are finitely generated. Semigroup Forum 66(2), 323–327 (2003)
Bruns, W., Herzog, J.: Cohen-Macaulay Rings. Cambridge Studies in Advanced Mathematics, vol. 39. Cambridge University Press, Cambridge (1993)
Budach, L.: Struktur Noetherscher kommutativer Halbgruppen. Monatsb. Deutsch. Akad. Wiss. 6, 85–88 (1964)
Eisenbud, D., Sturmfels, B.: Binomial ideals. Duke Math. J. 84(1), 1–45 (1996)
Eser, Z.S., Matusevich, L.F.: Decompositions of cellular binomial ideals. J. Lond. Math. Soc. 94, 409–426 (2016)
Gilmer, R.: Commutative Semigroup Rings. Chicago Lectures in Mathematics. University of Chicago Press, Chicago (1984)
Grayson, D.R., Stillman, M.E.: Macaulay2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/
Kahle, T.: Decompositions of binomial ideals. J. Softw. Algebra Geom. 4(1), 1–5 (2012)
Kahle, T., Miller, E.: Decompositions of commutative monoid congruences and binomial ideals. Algebra Numb. Theory 8(6), 1297–1364 (2014)
Kahle, T., Miller, E., O’Neill, C.: Irreducible decomposition of binomial ideals. Compos. Math. 152, 1319–1332 (2016)
Matusevich, L.F., O’Neill C.: Some algebraic aspects of mesoprimary decomposition. J. Pure Appl. Algebra (2018) to appear
Ojeda, I., Piedra Sánchez, R.: Cellular binomial ideals. Primary decomposition of binomial ideals. J. Symbolic Comput. 30(4), 383–400 (2000)
Ojeda, I.: Binomial canonical decompositions of binomial ideals. Commun. Algebra 39(10), 3722–3735 (2011)
Acknowledgements
We thank the anonymous referees for their detailed suggestions and comments, which have greatly improved this article. The present paper is based on a course of lectures delivered by the second author at the EACA’s Third International School on Computer Algebra and Applications https://www.imus.us.es/EACASCHOOL16/. He thanks the organizers for giving him that opportunity.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Matusevich, L.F., Ojeda, I. (2018). Binomial Ideals and Congruences on \(\mathbb {N}^n\) . In: Greuel, GM., Narváez Macarro, L., Xambó-Descamps, S. (eds) Singularities, Algebraic Geometry, Commutative Algebra, and Related Topics. Springer, Cham. https://doi.org/10.1007/978-3-319-96827-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-96827-8_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-96826-1
Online ISBN: 978-3-319-96827-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)