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)

22 views

Steenrod Operations an algebraic Approach

Assume that $q=p^{r}$, where $p$ is a prime either 2 or odd and $\mathbb{F}_{q}$ is a Galois field and $V$ a finite dimensional $\mathbb{F}_{q}$-vector space. Then due to Larry Smith in this http://...
15 views

The true definition of invariant functions on Matrix algebra

According to terminologies in "Invariant theory" a true definition for an invariant function $f:M_{n}(\mathbb{R})\to \mathbb{R}$ is the following: Definition 1: A continuous function $f$ is ...
33 views

Invariant Problem on colored chips

In a course we were once given the following question There is a finite stack of chips on a table, each chip having one of three different colors $a,b$ and $c$ . At any time, you may choose two ...
103 views

Fixed points of polynomial ring homomorphism

$S=\mathbb R[x+y+z, xy+yz+zx, xyz]$ is the ring of the symmetric polynomials in $\mathbb R[x,y,z]$. Let $\psi\colon S \to R[x,y,z]$ be a ring homomorphism such that \begin{align} x &\mapsto -x,\\...
57 views

19 views

Primary and Secondary invariants for finite groups

For a finite group G and complex representation V of degree n, I would like to know the precise definition of Primary invariants. Does any set of n algebraically independent homogeneous invariants ...
62 views

Almost-invariant polynomials under dihedral group action

Think about the dihedral group $D_4$ acting on the polynomial algebra $\mathbb C[x_1, \cdots, x_4]$ via generating permutations $(x_1\ x_2)$, $(x_3\ x_4)$, and $(x_1\ x_3)(x_2\ x_4)$. I'd like to ...
61 views

A space with “interchangeable” coordinates, $\mathbb{R}^n / S_n$

(I'll apologize in advance for the lack of rigour in this question, I'm something of an armchair mathematician at the moment, but I do try my best): I have a space that is similar to $\mathbb R^n$ ...
21 views

Creating a linear transformation $T$ such that $T$ is invariant in a proper subspace but not normal

Let $V$ be a finite-dimensional complex inner product space and let $W$ be a subspace of $V$ such that $\dim V = 4$, $\dim W = 2$. Construct a linear operator $T$ such that (i) $W$ is $T$-invariant ...
39 views

Equivalent conditions, reductive groups

I read the book Invariant Theory by T.A. Springer. There is the following definition of a reductive group: Definition. A linear algebraic group $G$ is called reductive if for any rational ...
34 views

76 views

Difference between invariant and contractive sets

I came across this particular notion of contractive sets. I know what an invariant set is, but can anyone explain what a contractive set is and the difference between invariant and contractive sets?
56 views

What are the invariants of a number field? [closed]

How is defined an invariant of a field? Given a certain field extension $L/K$, is it related with the Galois group ${\rm Gal}(L/K)$? In the case of number fields, which are the invariants associated ...
23 views

Number of eigenvalues for this operator

Say I have a F - vector space V and a subspace U given by U={va : a is in F}. Now suppose I have an operator defined by $Tv=av$. Clearly, U is invariant under T, since for any element of U, say bv, I ...
24 views

Does Magma let you specify primary invariants?

I am cross-posting this question from scicomp.SE. The computer algebra system Magma can calculate primary invariants (i.e. a homogeneous system of parameters) in an invariant ring of a finite group ...
62 views

Producing a $G$-invariant form from the standard Hermitian product using the averaging process

Problem statement: Let $G$ be a cyclic group of order $3$. The matrix $$A=\begin{bmatrix} -1 && -1 \\ 1 && 0 \end{bmatrix}$$ has order $3$, so it defines a matrix representation of $G$....
30 views

Does the order of a finite group divide the product of degrees of a system of parameters of the invariant algebra?

Let $V$ be a vector space of dimension $n$ over a finite field $\mathbb{F}$, and let $G$ be a subgroup of the finite group $\operatorname{GL}(V)$. Then $G$ acts on the graded algebra $\mathbb{F}(V)$ ...
49 views

Invariants of a real symmetric matrix

Problem. I have a real symmetric $n \times n$ matrix $A$ and would like to compute a set of real numbers $f(A) = (x_1, \ldots, x_m) \in \mathbb R^m$ which are invariant under multiplication of $A$ ...
51 views

Matrix representation of a 6-dimensional Lie algebra

The question is about the matrix representation of the following 6-dimensional Lie algebra, with 6 generators $t_1,t_2,t_3,t_4,t_5,t_6$. This Lie algebra is nilpotent, non-abelian, non-reductive and ...
36 views

What does it take to have a precise definition of volume?

Many proofs in elementary geometry use an intuitive but imprecise definition of the area or the volume. For example, Euclid's first proof of the Pythagorean Theorem uses the fact that all triangles of ...
42 views

If $p_T(x)=(x-\lambda_1)^{n_1}\dots(x-\lambda_t)^{n_t}$, find $t$ operators such that $T=T_1\oplus\dots\oplus T_t$

Be $T\in \mathscr{L}(V)$ a linear operator with characteristic polynomial $p_T(x)=(x-\lambda_1)^{n_1}\dots(x-\lambda_t)^{n_t}$, $n_i\geq 1$ and $\lambda_i\neq\lambda_j$ if $i\neq j$. Show that $T$ can ...
42 views

Canonical forms for tensors of type (2,1)

Are there any canonical forms for tensors of type (2,1)? Such a tensor can be defined as a bi-linear map $$T:V \times V \rightarrow V,$$ for $V$ a finitely dimensional real vector space.
27 views

Is there an invariant similar to the characteristic polynomial for (0,2) and (2,0) tensors?

The characteristic polynomial of a matrix - a (1,1) tensor - is its invariant (independent on basis transformation). Is there a similar invariant for (0,2) and (2,0) tensors? The characteristic ...
16 views

G-invariant polynomials for a concrete G

The collection of matrices$$\left( \begin{array}{lll} a^2 & 2ab &b^2 \\ ac & bc+ad & bd \\ c^2 & 2cd & d^2 \end{array} \right)$$ indexed by $a,b,c,d \in \mathbb{R}$ is a ...
Given $\pi:X\rightarrow Y$ how to show $X$ is irreducible (resp. normal) $\Rightarrow$ $Y$ is irreducible(resp. normal)?
Let $G$ act on the affine variety $X=\operatorname{Spec}(R)$ such that $R^G$ is a finitely generated $\mathbb C$ - algebrs and let $\pi:X\rightarrow Y=\operatorname{Spec}(R^G)$ be the morphism of ...