It is known that a finite dimensional basic algebra over an algebraically closed field is isomorphic to the path algebra of a finite quiver modulo an admissible ideal.


Question 1: Is the same true for algebras over $\mathbb{Q}$? If not, are there suitable further assumptions that would guarantee this?


Question 2: Are there some general useful tools to compute the dimension of the algebra, given the quiver and the ideal? (In concrete, easy cases it might be doable by hand, but I am looking for methods that are more broadly applicable)



Finite dimensional algebras over $\mathbb{Q}$
Question 1: No, take any finite field extension of $\mathbb{Q}$. It is basic but has a simple module that is not 1-dimensional and thus it is not of the form $KQ/I$ for $I$ admissible (since all simple modules are 1-dimensional for algebras of the form $KQ/I$).


For any field $K$, a basic algebra is isomorphic to a quiver algebra with admissible ideal if and only if the algebra $A$ is split (also called elementary sometimes), meaning that $A/J$ is isomorphic to matrix algebras over $K$. You can find this result in most representation theory books (of finite dimensional algebras) such as in the book of Auslander,Reiten and Smalo or the book by Kirichenko and Drozd.


Question 2: The best (computer) tool is the GAP-package qpa: <https://folk.ntnu.no/oyvinso/QPA/> . Given a quiver and admissible ideal, you can calculate many information for the algebra, including the dimension.


