I have the following problem:


Let K be any field. An finite dimensional associative non-unital algebra A is a vector space A, togeter with a K-biliniear associative operation such that there is NO identity element for this operation.


I call such an algebra simple if it has no nontrivial proper ideals.


**(Edit: I did not define the term ideal:
An ideal is supposed to be a vector subspace, closed under the multiplication with elements of the alebgra (from left and from right))**


An easy example would be the ground field K as a 1dimensional K-vector space, tohether with the zero-multiplication, sending everything to zero. This is finite dimensional, associative and it certainly has no identity-element. Furthermore, it is simple since it is one-dimensional.


Now, my question is:
Are there any other examples?


The canonical examples of simple associative algebras are matrix algebras but since they contain the identity matrix, they are unital.


Another idea would be to take the non-unital algebra A and adjoint a unit to get a unital algebra and then use the known classification there, but this so obtain unital algebra will never be simple since it contains the original non-unital abgera as an ideal.
So, another formulation of the problem would be to classify the unital associative algebras with exaclty 3 ideals, where the nontrivial of the 3 has codimension 1 or something like that.


I would be very grateful if someone could help me out here,
Tom



Finite Dimensional Simple nonunital associative Algebras
I suspect there's a simpler argument that doesn't involve adjoining a unit, but ...


Adjoin a unit to get a unital algebra $B=K\oplus A$.


Since $B$ is a finite dimensional algebra, the Jacobson radical $J(B)$ of $B$ is the maximal nilpotent ideal of $B$. This must be an ideal of $A$, since all nilpotent elements of $B$ are in $A$.


So if $A$ is simple, either $J(B)=A$ or $J(B)=0$.


In the first case, $A$ is nilpotent. $A^2$ is an ideal, so $A^2=0$, and so any subspace of $A$ is an ideal, leaving only the example you mention.


In the second case, $B$ is semisimple, and therefore a product of matrix algebras over division algebras over $K$, and any ideal is a subproduct of matrix algebras and so has a unit.


But $A$ is an ideal of $B$.


