Skip to main content
Log in

Pivotal condensation and chemical balancing

  • Correspondence
  • Published:
Journal of Mathematical Chemistry Aims and scope Submit manuscript

Abstract

A universal method, called pivotal condensation, for calculating stoichiometric factors of chemical reactions is presented. It is based on our new approach for calculating the basis of the kernel of a matrix over the field of rational numbers. This approach is referred to as kernel pivotal condensation (ker pc) and is presented in detail. It has roughly the same complexity as Gaussian elimination, but can be performed without working with fractions. It is also shown how ker pc can be adapted as a tool to solve inhomogeneous linear systems, invert matrices (this is referred to as inv pc) and determine simultaneously the four subspaces (referred to as 4 pc). Besides, the balancing by inspection method, which is widely used in practice to reduce the size of a linear system arising in chemical balancing, is formulated in a mathematical language. When calculating stoichiometric factors of chemical balancing problems with a non-unique solution the natural question arises how to determine a basis that generates all the solutions over the integers. A method, referred to as smitheration, is introduced that permits to determine such an integer basis from a basis over the rational numbers. If there are few solutions this approach is more efficient than calculating a Smith normal form directly. It is convenient to work over principal ideal domains instead of the ring of integers, so that one can treat balancing problems that depend on one parameter as well.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Notes

  1. This is available, for example, in Mathematica, Maple and Sage. For the complexity of Smith normal form see [21].

  2. This is optional up to the last iteration.

  3. This is optional up to the last iteration.

  4. According to L. Kronecker rational numbers are Menschenwerk and require as such a lot of attention, i.e., brain capacity.

  5. I learnt this from my dad.

  6. This does not decide if \(\textrm{CO}\) comes before \(\mathrm {CO_2}\). If you want a definite rule take your favourite term order (see, e.g., [8, 22]), for example.

  7. The ring \(\mathbb {Z}[n]\) is not a PID and hence Theorem 10.9 cannot be applied.

  8. I now deserve a grade A from Professor Stout (Central College, Pella, IA) for the entire semester!

  9. The Betelgeusian civilization has been saved: all the dangerous \(FG_3\) could be removed from the atmosphere and replaced by the toxic \(E_{6} F\).

  10. To me it looks like the matrix is stretching out its arms and crawling under the fraction bar.

  11. The matrix A is a piece of the Hankel matrix of the tribonacci numbers (entry A000073 in [15]).

  12. This is of course true for ker pc.

References

  1. F. Francine, Abeles, Chiò’s and Dodgson’s determinantal identities. Linear Algebra Appl. 454, 130–137 (2014)

    Article  Google Scholar 

  2. R.B. Ash, Basic Abstract Algebra. For Graduate Students and Advanced Undergraduates (Dover Publications, Mineola, NY, 2007) (English)

  3. F. BenAmor, I. Yengui, Saturation of finitely-generated submodules of free modules over Prüfer domains. Armen. J. Math. 13, 1 (2021)

    Google Scholar 

  4. F. Chiò, Mémoire sur les fonctions connues sous le nom de résultantes ou de déterminants, Turin (1853)

  5. H. Eves, Elementary Matrix Theory (Dover Books on Mathematics, Dover Publications, 2012)

    Google Scholar 

  6. M. Fiedler, Matrices and Graphs in Geometry, Encyclopedia of Mathematics and Its Applications, vol. 139 (Cambridge University Press, Cambridge, 2011)

    Google Scholar 

  7. J.K. Fink, Physical Chemistry in Depth (Springer, Berlin, 2009)

    Book  Google Scholar 

  8. G.-M. Greuel, G. Pfister, A Singular Introduction to Commutative Algebra, Extended (Springer, Berlin, 2008)

    Google Scholar 

  9. https://math.stackexchange.com/questions/4239718/kernel-of-a-matrix-using-the-rref-of-its-transpose

  10. N. Jacobson, Basic Algebra I, 2nd edn. (W. H. Freeman and Company, New York, 1985)

    Google Scholar 

  11. N. Jacobson, Basic Algebra II., 2nd edn. (W. H. Freeman and Company, New York, 1989) (English)

  12. A.M. Michałowska-Kaczmarczyk, A.G. Asuero, T. Michałowski, “Why Not Stoichiometry" versus “Stoichiometry-Why Not?" Part I: general context. Crit. Rev. Anal. Chem. 45(2), 166–188 (2015)

    Article  PubMed  Google Scholar 

  13. J.W. Moore, Balancing the forest and the trees. J. Chem. Educ. 74(11), 1253 (1997)

    Article  Google Scholar 

  14. M. Newman, Integral Matrices, Pure and Applied Mathematics, vol. 45 (Academic Press, New York, 1972)

    Google Scholar 

  15. OEIS Foundation Inc., The On-Line Encyclopedia of Integer Sequences, http://oeis.org

  16. D. Papp, B. Vizvári, Effective solution of linear Diophantine equation systems with an application in chemistry. J. Math. Chem. 39(1), 15–31 (2006). (English)

    Article  CAS  Google Scholar 

  17. J.B. Richter, Anfangsgründe der Stöchiometrie: oder, Messkunst chemischer Elemente, no. Bd. 1-2, G. Olms (1968), Nachdruck der Ausgabe Breslau 1792-94

  18. I.B. Risteski, A new singular matrix method for balancing chemical equations and their stability. J. Chin. Chem. Soc. 56(1), 65–79 (2009)

    Article  CAS  Google Scholar 

  19. H.J.S. Smith, The Collected Mathematical Papers, ed. by J. W. L. Glaisher. With a mathematical introduction by the editor, biographical sketches and a portrait. In two volumes Oxford: at the Clarendon Press. Volume I: xcv, 603 p. (with portrait); Volume II: vii, 719 p. (1894)

  20. R. Stout, Redox challenges: good times for puzzle fanatics. J. Chem. Educ. 72(12), 1125 (1995)

    Article  CAS  Google Scholar 

  21. A. Storjohann, Near Optimal Algorithms for Computing Smith Normal Forms of Integer Matrices, Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC ’96, Zürich, Switzerland, July 24–26, 1996 (ACM Press, New York, 1996), pp. 267–274 (English)

  22. I. Yengui, Constructive Commutative Algebra. Projective Modules over Polynomial Rings and Dynamical Gröbner Bases, Lect. Notes Math., vol. 2138 (Springer, Cham, 2015) (English)

Download references

Acknowledgements

I would like thank the undergraduate crowd at the Escola de Química da Universidade Federal do Rio de Janeiro for helping me to think about the matter, mostly by not paying attention to what I said. The paper is an attempt towards a more just and equitable chemistry. Let us bring the wonders of stoichiometry even to the remotest places of the Amazon rain forest without polluting them with consumer electronics. Those who have seen the movie The Great Race know that ‘Push the button, Max!’ is an elitist and dangerous attitude. I would like to thank Benjamin Briggs for pointing out to me the notion of saturatedness. The whole project was triggered by a chat [9] that I had with Ben Grossmann on stackexchange.com. Thanks to Daniel Herden and Chris Seaton for saving me from embarrassments and Ihsen Yengui for a clarification.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Hans-Christian Herbig.

Ethics declarations

Conflict of interest

The authors declare no conflict of interest.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Herbig, HC. Pivotal condensation and chemical balancing. J Math Chem (2024). https://doi.org/10.1007/s10910-024-01594-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s10910-024-01594-9

Keywords

Mathematics Subject Classification

Navigation