Talk:Ring of symmetric functions: Difference between revisions

Revision as of 01:52, 29 February 2016

Latest revision as of 14:45, 2 August 2024

(6 intermediate revisions by 4 users not shown)

Line 1:

{{WikiProject banner shell|class=B|

{{maths rating|class=B|priority=Low|field=algebra}}

{{WikiProject Mathematics|priority=Low}}

}}

== Overlap ==

Line 25 ⟶ 27:

"''Note that because of the second condition, power series are used here only to allow infinitely many terms of a fixed degree, rather than to sum terms of all possible degrees. Allowing this is necessary because an element that contains for instance a term X₁ should also contain a term X_i for every i > 1 in order to be symmetric.''"

I do not understand why Condition 2. is "necessary", as the second sentence claims. Yes, it is clear that "''an element that contains for instance a term X₁ should also contain a term X_i for every i > 1 in order to be symmetric''" — but what does this have to do with Condition 2. ???

Obviously, the subring of formal power series in infinitely many indeterminates X_i defined solely by Condition 1. — which requires that they are unchanged by the action of the permutation group S('''ℕ'''₀) of the nonnegative integers '''ℕ'''₀ on the indices — makes perfect sense. So this defines a subring that does not require Condition 2.

Line 31 ⟶ 33:

So: Can someone who is knowledgeable in this subject please explain what goal is accomplished by also requiring Condition 2. ???

And: There must be a name for the subring that satisfies Condition 1. alone. What is its name? In my opinion this subring should also be discussed here — at least a little bit! [[User:Daqu|Daqu]] ([[User talk:Daqu|talk]]) 01:52, 29 February 2016 (UTC)

: Condition 2 is necessary to define the usual concept of 'symmetric function'! If we leave it out, a lot of important theorems are no longer true, e.g. number 2 in the list of 'basic properties:

::: # Λ_''R'' is [[isomorphic]] as a graded ''R''-algebra to a polynomial ring ''R''[''Y''₁,''Y''₂, ...] in infinitely many variables, where ''Y''_''i'' is given degree ''i'' for all ''i'' > 0, one isomorphism being the one that sends ''Y''_''i'' to ''e''_''i'' ∈ Λ_''R'' for every ''i''.

: The point is that if we drop condition 2 we are allowing new elements in our ring, like ''e''_''0'' + ''e''_''1'' + ''e''_''2'' + <math>\cdots</math>

: "There must be a name for the subring that satisfies Condition 1. alone." I don't know a name for it, and the only thing I know to say about it is that it's larger than the ring of symmetric functions. - [[User:John Baez|John Baez]] ([[User talk:John Baez|talk]])

== Complete (homogeneous) symmetric functions ==

I think here and elsewhere we should change the term "[[complete homogeneous symmetric function]]" to "complete symmetric function" because:

1) This is the term Mac Donald uses in the important reference ''Symmetric Functions and Hall Polynomials''

2) Yes, these symmetric functions are homogeneous, but so are the power sum symmetric functions and elementary symmetric functions, and this page does not put the word "homogeneous" in their names.

Is there a reason we need to keep the word "homogeneous"?

[[User:John Baez|John Baez]] ([[User talk:John Baez|talk]]) 14:29, 2 August 2024 (UTC)