Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Given a finite graph $\Gamma$, one has the right-angled Artin group $A(\Gamma )$. Its generators $s_1, \dots s_n$ bijectively correspond to vertices of $\Gamma$ and the relators are $s_is_j=s_js_i$ provided the corresponding vertices are joined by an edge.

Let $A_i(\Gamma)$ be the group obtained from $A(\Gamma)$ by setting $s_i=1$; this corresponds to removing the vertex $i$ from $\Gamma$.

I know very little of these matters but it seems plausible that any nontrivial element of $A(\Gamma)$ projects to a nontrivial element of $A_i(\Gamma)$ for some $i$; is this correct?

share|improve this question
add comment

1 Answer

up vote 4 down vote accepted

No. Let $\Gamma$ be the graph with two vertices and no edges - the non-abelian free group of rank two - and let $g$ be the commutator of the two generators $s_1$ and $s_2$. Then $g$ is certainly non-trivial, but $g$ dies whenever you kill $s_1$ or $s_2$.

UPDATE:

For an example with a connected graph, let's take $\Gamma$ to be the straight-line graph with four vertices $a,b,c,d$ (so $[a,b]=[b,c]=[c,d]=1$). Now consider $g=[[c,a],[b,d]]$. Clearly this dies when you kill any generator. On the other hand,

$g=cac^{-1}a^{-1}bdb^{-1}d^{-1}aca^{-1}c^{-1}dbd^{-1}b^{-1}$

and a well-known solution to the word problem in right-angled Artin groups tells you that $g$ is non-trivial.

share|improve this answer
    
Thanks! I missed this obvious example as I was looking at right-angled Artin groups corresponding to connected graphs. Are there such examples for connected graphs (other than the graph that has only one vertex)? –  Igor Belegradek Jan 16 '10 at 0:44
1  
I've added one. –  HJRW Jan 16 '10 at 2:02
    
Thanks a lot! This neatly kills the application that I had in mind. Too bad. –  Igor Belegradek Jan 16 '10 at 2:18
add comment

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.