# Definition:Quadratic Algebra

## Definition

A **quadratic algebra** $A$ is a filtered algebra whose generator consists of degree one elements, with defining relations of degree 2.

A **quadratic algebra** $A$ is determined by a vector space of generators $V = A_1$ and a subspace of homogeneous quadratic relations $S \subseteq V \times V$.

Thus :

- $A = T \left({V}\right) / \left \langle {S}\right \rangle$

and inherits its grading from the tensor algebra $T \left({V}\right)$.

If the subspace of relations may also contain inhomogeneous degree 2 elements, $S \subseteq k \times V \times \left({V \times V}\right)$, this construction results in a **filtered quadratic algebra**.

A graded quadratic algebra $A$ as above admits a **quadratic dual**: the quadratic algebra generated by $V^*$ and with quadratic relations forming the orthogonal complement of $S$ in $V^* \times V^*$.

This page needs the help of a knowledgeable authority.If you are knowledgeable in this area, then you can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by resolving the issues.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Help}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

This article needs to be linked to other articles.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{MissingLinks}}` from the code. |