Symmetric polynomials and Hall's theorem
type: Item
instance of: scholarly article
title: Symmetric polynomials and Hall's theorem
zbMATH Open document ID: 0656.13003
DOI: 10.1016/0012-365X(88)90051-9
author: Klaus G. Fischer
published in: Discrete Mathematics
publication date: 1988-01-01T00:00:00Z
review text: Let A[X,Y] be the polynomial ring in 2n variables \(X=(X_ 1,..,X_ n)\), \(Y=(Y_ 1,...,Y_ n)\) over a commutative unitary ring A and let \({\mathcal P}\) and \({\mathcal D}\) be the following ideals of A[X,Y]: \({\mathcal P}=<P\in A[X,Y]\), \(P(X,s(X))=0\) for all \(s\in S_ n>\); \({\mathcal D}=<\sigma_ k(X)- \sigma_ k(Y)\), \(k=1,...,n>\), where the \(\sigma_ k\) are the k-th elementary symmetric polynomials in n variables. It is shown that \({\mathcal P}={\mathcal D}\) which in consequence yields another proof of the classical result concerning symmetric polynomials. Furthermore by associating to any pair (a,b) of the non-empty set \(\{\) 1,...,n\(\}^ a \)polynomial \(P_{a,b}(X,Y)\) and by investigating the ideal \({\mathcal M}\) generated in \({\mathbb{Z}}[X,Y]\) by these the author derives the well-known matching theorem of Ph. Hall. Finally it is proved that this theorem is equivalent to the statement rad(\({\mathcal M})={\mathcal P}\).
Mathematics Subject Classification ID: 13B25
Mathematics Subject Classification ID: 05C70
Mathematics Subject Classification ID: 13F20
zbMATH DE Number: 4071047
zbMATH Keywords: elementary symmetric polynomials
zbMATH Keywords: matching theorem
reviewed by: Gerhard Kowol
MaRDI profile type: Publication
cites work: Q4771385
cites work: Q5542855
description: scientific article; zbMATH DE number 4071047