Definição 0.0.1. Seja V um espaço vetorial munido de uma forma bilinear simétrica ou antissimétrica b.

1. Um elemento v ∈ V não nulo é dito isotrópico em relção à forma se b(v, v) = 0. Caso contrário, será dito
não isotrópico.

2. O espaço V é dito isotrópico se ele contém pelo menos um vetor isotrópico. Caso contrário, V é ani-
sotrópico.

3. Um subespaço W de V é chamado totalmente isotrópico se b(W, W ) = 0, isto é, b(u, v) = 0 para todo
u, v ∈ W .

Corolário 0.0.2. Seja V um espaço vetorial sobre K, charK 6= 2, 3, e suponha que V esteja equipado com uma
forma bilinear simétrica hu, vi de 1. Então, os polinômios do Lema ?? formam uma base das identidades da
álgebra de Jordan J = K ⊕ V desta forma.

Demonstração. Seja v1 , v2 , . . . uma base de V tal que hv1 , v1 i = 1 e W gerado por v2 , v3 , . . ., é um subespaço
isotópico de V . Então, claramente W é um ideal de J e W 2 = 0. É imediato que as identidades do Lema ?? são
válidas para a álgebra de Jordan J. Assim, T (U J2 (K)) ⊆ T (J). A inclusão inversa é óbvia, uma vez que se pode
encontrar uma cópia de U J2 (K) dentro de J.

A multiplicação em J é dada por: (α + u) ◦ (β + v) = (αβ + hu, vi) + (αv + βu).

Da definição dada acima, eu conferi se realmente W é um ideal de J, mas cheguei a algumas conclusões.

Sejam u ∈ J e v ∈ W , onde u = α + vi , i = 1, . . ., e v = 0 + vj , j = 2, . . .. Temos que

u · v = (α + vi ) ◦ (0 + vj )
= (α · 0 + hvi , vj i) + (αvj + 0 · vi )
= hvi , vj i + αvj

Se i 6= 1, então hvi , vj i = 0 e segue que u · v = αvj ∈ W . Porém, se i = 1, não sabemos nada sobre hv1 , vj i,
j = 2, . . ., então não podemos concluir que hv1 , vj i + αvj ∈ W .