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

I have the following problem: If $\Lambda$ is a hereditary, basic and connected algebra and $e$ is an idempotent of $\Lambda$, how can I prove that $e\Lambda e$ is also hereditary?

share|improve this question
1  
Is this homework? –  Bruce Westbury Dec 1 '11 at 19:24
1  
And are you assuming finite dimensional? Over any field or an algebraically closed field? This does smell like homework. –  Benjamin Steinberg Dec 1 '11 at 19:40
    
If you are assuming finite dimensional and split basic, here is a hint. Assume $\Lambda$ is the path algebra of an acyclic quiver. Convince yourself that you may assume that $e$ is a sum of primitive idempotents corresponding to vertices. Show that $e\Lambda e$ is a path algebra on a certain subquiver. –  Benjamin Steinberg Dec 1 '11 at 20:10
    
Is not a homework is just that Im interested in studying this things and I found that problem. Yes I assume $\Lambda$ is finite dimensional and is over any field. –  Antonio Dec 1 '11 at 20:41
    
By basic, do you mean split basic (the radical quotient is a product of copies of the field) or just that the radical quotient is a direct product of division rings? –  Benjamin Steinberg Dec 1 '11 at 23:04
show 6 more comments

1 Answer 1

up vote 4 down vote accepted

If $\Lambda$ is split basic, then by Gabriel's theorem it is isomorphic to $\Bbbk Q$ where $Q$ is a finite acyclic quiver. Up to isomorphism you can assume $e$ is the sum of empty paths running over some subset $X$ of vertices. Then $e\Lambda e$ is isomorphic to the path algebra on the full (i.e. induced) subquiver on the vertex set $X$. Thus it is hereditary.

share|improve this answer
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.