# Tagged Questions

**5**

votes

**0**answers

191 views

### Weyl's construction for symplectic groups--an exercise in Fulton and Harris's book

This is an exercise in section 17.3 in Fulton and Harris's book:Representation theory-a first course.
Let $V=\mathbb{C}^{2n}$ and $Sp(2n)$ be the symplectic group w.r.t the nondegenerate bilinear ...

**13**

votes

**1**answer

384 views

### A weird question about two weird decompositions of $\mathbb{R}$ as a $\mathbb{Q}$-vector space

While working in a question about the affine group $\text{Aff}(\mathbb{R})$, I have come up with the following strange question about the real numbers:
Question: Do there exist a non-trivial ...

**2**

votes

**1**answer

109 views

### Does this solution guarantee $det(A)=0$ where $A\in M(R)$? [closed]

Suppose $R$ is a commutative ring with identity $1$ and the following matrix equation holds:
$\begin{pmatrix} a_n & & \\
\vdots & \ddots & \\
a_1 ...

**3**

votes

**1**answer

623 views

### Diagonalize the simultaneous matrices and its background

For two $n \times n$ nonnegative definite Hermitian matrices $A$ and $B$ over the real number field $\mathbb R$:
Question1:Is there always a
nonsingular matrix $P$ over the same
field $F$ ...

**3**

votes

**2**answers

380 views

### Double orthogonal complement of a finite module

Crossposted from math.stackexchange since I'm not getting any answer.
Let $W$ be the finite $\mathbb{Z}$-module obtained from $\mathbb{Z}_q^n$ with addition componentwise where $\mathbb{Z}_q$ is the ...

**2**

votes

**1**answer

531 views

### Rank of a linear combination of quadratic forms

Suppose we have a set of quadratic forms $Q_i (x_1, \dots, x_n)$ for $1 \leq i \leq k$ in $n$ variables, defined over $\mathbb{R}$. We suppose these are 'collectively nondegenerate' in the sense that ...

**18**

votes

**1**answer

3k views

### Infinite Tensor Products

Let $A$ be a commutative ring and $M_i, i \in I$ be a infinite family of $A$-modules. Define their tensor product $\bigotimes_{i \in I} M_i$ to be a representing object of the functor of multilinear ...