# Page:An introduction to Combinatory analysis (Percy MacMahon, 1920, IA Introductiontoco00macmrich).djvu/19

This page has been proofread, but needs to be validated.

Elementary theory of Symmetric Functions

5

If we add all such functions which have the same weight we obtain, algebraically speaking, all the products $w$ together of the quantities $\alpha ,\beta ,\gamma ,\ldots \nu$ , repetitions permissible.

Such a sum is called the Homogeneous Product-Sum of weight $w$ of the $n$ quantities.

It is usually denoted by $h_{w}$ .

We have
{\begin{aligned}\qquad \qquad h_{1}&=(1)=\textstyle \sum {\alpha }{\text{,}}\\\qquad \qquad h_{2}&=(2)+(1^{2})=\textstyle \sum {\alpha ^{2}}+\sum {\alpha \beta }{\text{,}}\\\qquad \qquad h_{3}&=(3)+(21)+(1^{3})=\textstyle \sum {\alpha ^{3}}+\sum {\alpha ^{2}\beta }+\sum {\alpha \beta \gamma }{\text{,}}\end{aligned}} and so forth.

We have before us the three sets of functions

{\begin{aligned}&s_{1},s_{2},s_{3},\ldots s_{\nu },\ldots {\text{,}}\\&a_{1},a_{2},a_{3},\ldots a_{\nu }{\text{,}}\\&h_{1},h_{2},h_{3},\ldots h_{\nu },\ldots {\text{.}}\end{aligned}} The first and third sets contain an infinite number of members, but the second set only involves $n$ members where $n$ is the number of the quantities $\alpha ,\beta ,\gamma ,\ldots$ .

6. The identity of Art. 4 which connects the functions $a_{1},a_{2},a_{3},\ldots$ with $\alpha ,\beta ,\gamma ,\ldots$ may be written, by putting ${\tfrac {1}{y}}$ for , $1-a_{1}y+a_{2}y^{2}-\ldots +(-)^{n}a_{n}y^{n}\equiv (1-\alpha y)(1-\beta y)\ldots (1-\nu y)$ , or in the form ${\frac {1}{1-a_{1}y+a_{2}y^{2}-\ldots +(-)^{n}a_{n}y^{n}}}\equiv {\frac {1}{(1-\alpha y)(1-\beta y)\ldots (1-\nu y)}}$ . If we expand the last fraction in ascending powers of $y$ , we obtain, in the first place, $1$ $+(\alpha +\beta +\gamma +\ldots +\nu )y$ $+(\alpha ^{2}\!+\beta ^{2}\!+\gamma ^{2}\!+\ldots +\nu ^{2}\!+\alpha \beta +\alpha \gamma +\beta \gamma +\ldots +\mu \nu )y^{2}$ $+(\alpha ^{3}\!\!\!+\!\beta ^{3}\!\!\!+\!\gamma ^{3}\!\!\!+\!\ldots \!+\!\nu ^{3}\!\!\!+\!\alpha ^{2}\!\beta \!+\!\alpha \beta ^{2}\!\!\!+\!\ldots \!+\!\mu ^{2}\!\nu \!+\!\mu \nu ^{2}\!\!\!+\!\alpha \beta \gamma \!+\!\alpha \beta \delta \!+\!\ldots \!+\!\!\lambda \mu \nu )y^{3}$ $+\ldots$ .
It is clear that the coefficient of $y^{w}$ is the homogeneous product-sum of weight $w$ , so that we may write ${\frac {1}{1-a_{1}y+a_{2}y^{2}-\ldots +(-)^{n}a_{n}y^{n}}}\equiv 1+h_{1}y+h_{2}y^{2}+\ldots +h_{w}y^{w}+\ldots$ an identity.
{"ft_lang_label":"__label__en","ft_lang_prob":0.91952586,"math_prob":0.99998033,"size":793,"snap":"2022-40-2023-06","text_gpt3_token_len":179,"char_repetition_ratio":0.10899873,"word_repetition_ratio":0.0,"special_character_ratio":0.21563682,"punctuation_ratio":0.13043478,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999863,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52],"im_url_duplicate_count":[null,null,null,2,null,null,null,null,null,3,null,1,null,1,null,null,null,null,null,5,null,10,null,5,null,2,null,null,null,1,null,1,null,null,null,null,null,1,null,1,null,1,null,1,null,1,null,null,null,1,null,1,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-09-26T15:05:38Z\",\"WARC-Record-ID\":\"<urn:uuid:e180e955-3f04-477a-b909-f4fadf7828f3>\",\"Content-Length\":\"73423\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:c3ec5a73-29c0-4864-be8c-779d733d1f88>\",\"WARC-Concurrent-To\":\"<urn:uuid:bde76475-f511-432e-8924-b57b813360f9>\",\"WARC-IP-Address\":\"208.80.154.224\",\"WARC-Target-URI\":\"https://en.m.wikisource.org/wiki/Page:An_introduction_to_Combinatory_analysis_(Percy_MacMahon,_1920,_IA_Introductiontoco00macmrich).djvu/19\",\"WARC-Payload-Digest\":\"sha1:VROTM3AN7ZPD3WE3JUUXQKHB5WLPUGGX\",\"WARC-Block-Digest\":\"sha1:4L2GP3JPEBTIF53J57BG4MO6H3WSN43E\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-40/CC-MAIN-2022-40_segments_1664030334912.28_warc_CC-MAIN-20220926144455-20220926174455-00731.warc.gz\"}"}