# Tagged Questions

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)

342 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 ...
40 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 ...
740 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 ...
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$ ...
100 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 ...
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 ...
103 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 ...
37 views

### Set invariant under group action

I am reading a paper with the following description: $O(n): \{Y\in \mathbf{R}^{n\times n}\mid Y^TY=I\}$ We say a set $V$ is $T$-invariant if $TV\subseteq V$, where $T$ is a linear transform. ...
220 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 ...