Invariant theory is a branch of abstract algebra dealing with actions of groups on algebraic varieties, such as vector spaces, from the point of view of their effect on functions. (Def: http://en.m.wikipedia.org/wiki/Invariant_theory)

learn more… | top users | synonyms

11
votes
1answer
340 views

Basis for $\Bbb Z[x_1,\cdots,x_n]$ over $\Bbb Z[e_1,\cdots,e_n]$

I'm reading the introductory bits in Procesi's Lie Groups, and on p. 22 we have (paraphrasing) Theorem 2. $\mathcal{B}=\{x_1^{\large h_1}\cdots x_n^{\large h_n}: 0\le h_k\le n-k\}$ is a basis for ...
2
votes
1answer
37 views

Is affine GIT quotient necessarily an open map?

Let $k$ be a field, $X=$Spec$A$ be an affine scheme with A a f.g. $k$-algebra. $G=$Spec$R$ is a linearly reductive group acting rationally on A. (i.e. every element of $A$ is contained in a finite ...
5
votes
2answers
724 views

Schur-Weyl Duality ( Classical ) and the Double Commutant reference request

I would like to ask for any reference suggestions on the topic of Schur-Weyl Duality for GLn ( directly GLn, not through the lie algebra ) and the double commutant theorem. The section on this ...
3
votes
1answer
97 views

How does Molien series describe polynomial invariants?

As I understood from wiki page, Given a finite group acting on a vector space, Molien series gives a generating function, although I am not sure what this means. And how is this related to the ...
3
votes
2answers
3k views

Invariant Factors vs. Elementary Divisors

I have been studying Cooperstein's Advanced Linear Algebra for about seven months now and I am having problems understanding how to find the elementary divisors of a linear operator and how to find ...
3
votes
0answers
60 views

finitely generated over invariants

I was wondering if there are some conditions we can add to the following statement to make it true "The ring $R$ is finitely generated as a module over $R^G$, where $G$ is a finite group and $R^G$ ...
2
votes
1answer
101 views

Describe invariant polynomials under action of commutative group of order eight.

I believe the question below should be fairly standard in invariant theory ; I hope someone more familiar with it than me can explain a bit more or point to a reference. Let $F$ be polynomial field ...
1
vote
2answers
218 views

Diagonalizable linear algebraic group is isomorphic to $(\mathbb{C}^*)^r\times A$, for some finite abelian group $A$

I have three questions about algebraic groups. Let $D$ be a linear algebraic group. Then the following are equivalent: $D$ is diagonalizable. $\mathop{Hom}(D,\mathbb{C}^*)$ is finitely generated ...