Welcome to MathOverflow

Question

0

1

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?

edited Dec 1 2011 at 19:03

asked Dec 1 2011 at 18:37

Antonio
25●4

1

Is this homework? – Bruce Westbury Dec 1 2011 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 2011 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 2011 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 2011 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 2011 at 23:04

show 6 more comments

Mariano Suárez-Alvarez · Accepted Answer · 2011-12-02 07:22:09Z UTC

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.

Hereditary algebras

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.