Quotient algebra

Intuition [Beginner]

A quotient algebra starts with an algebra and then declares some expressions to be the same. The declarations are not informal shortcuts. They become new rules of arithmetic.

For example, ordinary clock arithmetic begins with whole numbers and adds the rule that numbers $12$ apart count as the same hour. In algebra, the rules can involve expressions such as $x^2+1=0$ or a vector-word relation inside a tensor algebra 03.01.04.

The quotient keeps every calculation compatible with the chosen rules. If an expression is declared to vanish, multiplying it on the left or on the right must still vanish.

Visual [Beginner]

A quotient algebra compresses many expressions into one class whenever their difference is one of the chosen relations.

The map from the original algebra to the quotient is a projection: it sends each expression to its class.

Worked example [Beginner]

Start with polynomials in one symbol $x$. Add the rule $x^2=-1$.

Then every longer expression can be reduced. For instance,

$$x^3=x{x}^2=x(-1)=-x.$$

Also $x^4=(x^2{)}^2=(-1{)}^2=1$. The quotient has turned a large polynomial world into a smaller algebra where every power of $x$ reduces to a combination of $1$ and $x$.

What this tells us: a quotient algebra is an algebra with equations built into its multiplication.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $A$ be a unital associative algebra over a field $K$. A two-sided ideal $I\subset A$ is a linear subspace such that $aI\subset I$ and $Ia\subset I$ for every $a\in A$. The quotient algebra $A/I$ is the quotient vector space with multiplication

$$(a+I)(b+I)=ab+I.$$

The two-sided condition is exactly what makes this multiplication independent of the representatives $a$ and $b$ ^{[Lang §II.6]}. The quotient map $\pi :A\to A/I$ is a unital algebra homomorphism with kernel $I$.

For tensor algebra, relations are imposed by taking the two-sided ideal generated by the relation set. Clifford algebra 03.09.02 is obtained from $T(V)$ by quotienting by the ideal generated by $v\otimes v+q(v)1$ under the Lawson-Michelsohn convention.

Key theorem with proof [Intermediate+]

Theorem (Factorization through a quotient). Let $\varphi :A\to B$ be a unital algebra homomorphism and let $I\subset A$ be a two-sided ideal. If $I\subset \ker \varphi$, then there is a unique unital algebra homomorphism $\overline{\varphi }:A/I\to B$ such that $\varphi =\overline{\varphi }\circ \pi$.

Proof. Define $\overline{\varphi }(a+I)=\varphi (a)$. If $a+I=a^{\prime }+I$, then $a-a^{\prime }\in I\subset \ker \varphi$, so $\varphi (a)=\varphi (a^{\prime })$. Thus the definition is independent of the representative.

Linearity is inherited from $\varphi$. Multiplication is preserved because

$$\overline{\varphi }((a+I)(b+I))=\overline{\varphi }(ab+I)=\varphi (ab)=\varphi (a)\varphi (b).$$

The unit is preserved since $\overline{\varphi }(1_A+I)=\varphi (1_A)=1_B$. The identity $\varphi =\overline{\varphi }\circ \pi$ follows from the definition.

For uniqueness, any homomorphism $\psi :A/I\to B$ satisfying $\varphi =\psi \circ \pi$ must obey $\psi (a+I)=\psi (\pi (a))=\varphi (a)$ for every $a\in A$. Therefore $\psi =\overline{\varphi }$. $\square$

Bridge. The construction here builds toward 03.09.02 (clifford algebra), where the same data is developed in the next layer of the strand. The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

Lean formalization [Intermediate+]

lean_status: none is used for this unit because the desired project statement combines associative algebra quotients, tensor-algebra relation generation, and the downstream Clifford quotient convention. Those pieces should be attached to one coherent Mathlib-facing API before Lean snippets are introduced.

Advanced results [Master]

The quotient construction is the coequalizer of the inclusion data represented by the ideal. Algebraically, a two-sided ideal $I$ determines a congruence relation

$$a\sim b⟺a-b\in I,$$

and the quotient algebra is the algebra of congruence classes ^{[Atiyah-Macdonald §1]}. The factorization theorem states that $\pi :A\to A/I$ is initial among algebra homomorphisms from $A$ that annihilate $I$.

In free-algebra constructions, this initial property is the mechanism that turns generators and relations into an algebra. If $A=T(V)$ and $R\subset T(V)$ is a set of relations, then $T(V)/(R)$ receives every linear map from $V$ into an algebra $B$ whose multiplicative extension kills $R$, and it receives it uniquely.

Synthesis. This construction generalises the pattern fixed in 03.01.04 (tensor algebra), with the symmetric data replaced by its skew or twisted analogue. Read in the opposite direction, the construction is dual to the metric story: complements and orthogonality are taken with respect to the bilinear datum of this unit, not a metric, and the resulting category of subobjects is the one the rest of the strand classifies. The central insight is that this datum identifies algebra with geometry: functions become vector fields, subspaces become quotients, and invariants become cohomology classes — and that identification is the engine driving every theorem downstream.

Full proof set [Master]

The multiplication on $A/I$ is well-defined as follows. If $a^{\prime }=a+i$ and $b^{\prime }=b+j$ with $i,j\in I$, then

$$a^{\prime }{b}^{\prime }-ab=aj+ib+ij.$$

Each term lies in $I$ because $I$ is two-sided. Thus $a^{\prime }{b}^{\prime }+I=ab+I$.

The initial property follows from the factorization theorem. A homomorphism out of $A/I$ is the same as a homomorphism out of $A$ whose kernel contains $I$, with the correspondence given by precomposition with $\pi$ in one direction and quotient factorization in the other.

Connections [Master]

• Quotient algebra follows tensor algebra 03.01.04 in the Clifford chain. Clifford algebra 03.09.02 is the quotient of a tensor algebra by the quadratic-form ideal from 01.01.15. The quotient point of view also appears in de Rham cohomology 03.04.06, where closed forms are quotiented by exact forms, although that quotient is linear rather than multiplicative.

• The same factorization theorem underlies universal enveloping algebras for Lie algebras 03.04.01 and coordinate rings in algebraic geometry. In each case, relations are encoded by a kernel, and maps out of the quotient are exactly maps that respect those relations.

Historical & philosophical context [Master]

Quotients by ideals are standard in the development of rings and algebras. Lang treats the construction as part of the algebraic language of homomorphisms, kernels, and factorization ^{[Lang §II.6]}.

Atiyah and Macdonald present the commutative quotient ring early because it is the basic operation connecting algebraic equations to algebraic objects ^{[Atiyah-Macdonald §1]}. The noncommutative version used here replaces ideals by two-sided ideals.

Bibliography [Master]

• Serge Lang, Algebra, §II.6. ^{[Lang §II.6]}
• Michael Atiyah and Ian Macdonald, Introduction to Commutative Algebra, §1. ^{[Atiyah-Macdonald §1]}
• Claude Chevalley, The Algebraic Theory of Spinors, for quotient constructions in Clifford theory. ^{[Chevalley spinors]}