An algorithm for computing set-theoretic generators of an algebraic variety
Authors: 
Leilei Guo, Feng LiuAuthors Info & Claims
Pages 139 - 146
Abstract
Based on Eisenbud's idea (see [Eisenbud, D., Evans, G., 1973. Every algebraic set in n-space is the intersection of n hypersurfaces. Invent. Math. 19, 107-112]), we present an algorithm for computing set-theoretic generators for any algebraic variety in the affine n-space, which consists of at most n polynomials. With minor modifications, this algorithm is also valid for projective algebraic variety in projective n-space.
References
[1]
Abhyankar, S.S., 1973. On Macaulay's example. In: Conf. Comm. Algebra, Lawrence 1972, Springer LNM, vol311, 1--16.
[2]
Atiyah, M.F., Macdonald, I.G., 1969. Introduction to Commutative Algebra, Addison-Wesley Publishing Company.
[3]
Chou, S.C. and Gao, X.S., 1991. On the dimension of an arbitrary ascending chain. Chinese Bull. of Sci. 38, 799--804.
[4]
Cox, D., Little, J., O'Shea, D., 1996. Ideals, Varieties, and Algorithms, Second Edition. Springer.
[5]
Eisenbud, D., Evans, G., 1973. Every algebraic set in n-space is the intersection of n hypersurfaces. Invent. Math. 19, 107--112.
[6]
Eisenbud, D., Sturmfels, B., 1994. Finding sparse systems of parameters. Journal of Pure and Applied Algebra, 143--157.
[7]
Eisenbud, D., 1994. Commutative Algebra with a View toward Algebraic Geometry. Graduate Texts in Mathematics. Springer-Verlag New York.
[8]
Fortuna, E., Gianni, P., Trager, B., 2009. Generators of the ideal of an algebraic space curve. Journal of Symbolic Computation 44, 1234--1254.
[9]
Gianni, P., Trager, B., Zacharias, G., 1988. Grobner bases and primary decomposition of polynomial ideals. Journal of Symbolic Computation 6, 149--167.
[10]
Hubert, E., 2003. Notes on triangular sets and triangulation-decomposition algorithms I: Polynomial systems. In Symbolic and Numerical Scientific Computing 2001, pages 1--39.
[11]
Jia, X., Wang, H., Goldmand, R., 2010. Set-theoretic generators of rational space curves. Journal of Symbolic Computation 45, 414--433.
[12]
Kneser, M., 1960. Uber die Darstellung algebraischer Raumkurven als Durchschnitte von Flachen. Arch. Math. 11, 157--158.
[13]
Kalkbrener, M., 1993. A generalized euclidean algorithm for computing triangular representations of algebraic varieties. J. Symb. Comp.15, 143--167.
[14]
Kronecher, L., 1882. Grundzuge einer arithmetischen Theorie der algebraischen Großen. J. Reine Angew. Math. 92, 1--123.
[15]
Lemaire, F., Moreno Maza, M., Pan, W., and Xie, Y., 2008. When does (T) equal Sat(T)?. In Proc. ISSAC'2008, 207--214. ACM Press.
[16]
Laplagne, S., 2006. An algorithm for the computation of the radical of an ideal. Proceedings of the 2006 international symposium on Symbolic and algebraic computation, July 09--12, Genoa, Italy.
[17]
Maza, M.M., Rioboo, R., 1995. Polynomial gcd computations over towers of algebraic extensions. In Applied algebra, algebraic algorithms and errorcorrecting codes, 365--382. Springer, Berlin.
[18]
Moh, T.T., 1974. On the unboundedness of generators of prime ideals in power series rings of three variables, J.Math.Soc.Japan 26, 722--734.
[19]
Sturmfels, B., 2002. Solving Systems of Polynomial Equations. Amer.Math.Soc.
[20]
Schauenburg, P., 2007. A Grobner-based treatment of elimination theory for affine varieties. Journal of Symbolic Computation 42, 859--870.
[21]
Van der Waerden, B.L., 1941. Review. Zentralblatt fur Math. 24, 276.
[22]
Wu, W.T., 2003. Mathematics Machenization. Science Press/Kluwer, Beijing.
[23]
Yang, L. and Zhang, J., 1991. Searching dependency between algebraic equations: an algorithm applied to automated reasoning. Technical report ic/91/6, International Atomic Engery Angency, Miramare, Trieste, Italy.
Index Terms
- An algorithm for computing set-theoretic generators of an algebraic variety
Recommendations
Local properties of Richardson varieties in the Grassmannian via a bounded Robinson-Schensted-Knuth correspondence
The Richardson variety X in the Grassmannian is defined to be the intersection of the Schubert variety X and opposite Schubert variety X . We give an explicit Gröbner basis for the ideal of the tangent cone at any T -fixed ...
Computing the Chow Variety of Quadratic Space Curves
MACIS 2015: Revised Selected Papers of the 6th International Conference on Mathematical Aspects of Computer and Information Sciences - Volume 9582Quadrics in the Grassmannian of lines in 3-space form a 19-dimensional projective space. We study the subvariety of coisotropic hypersurfaces. Following Gel'fand, Kapranov and Zelevinsky, it decomposes into Chow forms of plane conics, Chow forms of ...
Measuring and computing natural generators for homology groups
We develop a method for measuring homology classes. This involves two problems. First, we define the size of a homology class, using ideas from relative homology. Second, we define an optimal basis of a homology group to be the basis whose elements' ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
June 2011
372 pages
Copyright © 2011 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 08 June 2011
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
ISSAC '11
Sponsor:
ISSAC '11: International Symposium on Symbolic and Algebraic Computation
June 8 - 11, 2011
California, San Jose, USA
Acceptance Rates
Overall Acceptance Rate 395 of 838 submissions, 47%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 86Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 24 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in