5
$\begingroup$

Let $A$ be a two dimensional commutative associative algebra over field $K$ of reals or complex numbers.

Assume that $A$ has units $e$. Let $u \notin Ke$. Then $\{e,u\}$ is basis of $A$. In order to determine that algebra it suffices to know $u\cdot u$. Let $u=pu+qe$. Let's consider polynom $f(x)=x^2-px+q \in K[x]$. Three cases may occur: $f$ has two, one or none roots. In the first case putting $v=(y_2-y_1)^{-1}(u-y_1)$, where $y_1,y_2$ are roots of $f$, we have $v^2=v$ and $\{e,v\}$ is the basis of $A$. In the second putting $v=u-y_1e$, where $y_1$ is a root of $f$, we have $v^2=0$ and ${e,v}$ is the basis of $A$. In the third case $A$ is a field.

How to determine all two dimensional commutative associative algebras without units?

Thanks.

  • 2
    I suggest looking at two main cases: e^2 is a multiple of e, or not. Each breaks into sub cases that are basically easy to handle, but the details are getting too long, and I think there is a nice Jacobson theory to eliminate most of the calculations.2012-01-27

2 Answers 2

3

Quick googling gives the following article on two dimensional algebras over arbitrary field:

1) 2-dimensional algebras

The more general classification for nonassociative algebras over arbitrary field is given here

2) The Classification of Two-dimensional Nonassociative Algebras

1

The Classification of Two-dimensional Algebras

http://www.fernuni-hagen.de/petersson/download/nonalgtw.pdf