Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\Phi$ be a root system of euclidean space $E$.

Suppose that a subset $\Phi'\subset \Phi$ satisfies $\Phi'=-\Phi'$ and if $\alpha,\beta\in\Phi'$ and $\alpha+\beta\in \Phi$, then $\alpha+\beta\in \Phi'$.

I want to show that $\Phi'$ is a root system in span($\Phi'$).

Actually, I proved other axioms. The final one is to show the following:

$\sigma_{\alpha}(\beta)=\beta-<\beta,\alpha>\alpha\in \Phi'$, where $<\beta,\alpha>=2\frac{(\beta,\alpha)}{(\alpha,\alpha)}$.

How can I show it?

share|improve this question

1 Answer 1

Does this not follow from the fact that in $\Phi$ there is an unbroken $\alpha$-string from $\beta$ to $\beta+m\alpha=\sigma_{\alpha}(\beta),$ $m=\langle \beta,\alpha\rangle$? IOW all the vectors $\beta+i\alpha$ with $i=0,1,\ldots,m$ are known to be in $\Phi$, so by induction on $i$ they are also in $\Phi'$ given that $\beta,\alpha\in\Phi'$.

Edit: I leave it to you to figure out what changes are required in the case $m<0$.

share|improve this answer
    
(Thx for supplanting my earlier bad answer! :) –  paul garrett Jul 18 '11 at 15:11

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.