Ideal in an algebra

Intuition [Beginner]

An ideal is a special kind of subspace inside an algebra. It is closed under addition, and it absorbs multiplication by algebra elements.

Think of a sponge inside a bucket. If an element is in the ideal, multiplying it by anything from the surrounding algebra still keeps the result inside the ideal. The ideal is built to be collapsed safely.

Ideals matter because quotient algebras use them to impose equations. If the ideal is declared to be zero, multiplication still makes sense.

Visual [Beginner]

The smaller region is the ideal. Multiplication from the larger algebra points back into it.

Absorption is what makes ideals stronger than ordinary subspaces.

Worked example [Beginner]

Look at all ordinary polynomials, and focus on the polynomials that have a factor of $x$.

The polynomial $x^2+3x$ is in this collection. So is $5x$. Adding them gives $x^2+8x$, still with a factor of $x$.

Multiplying $x^2+3x$ by any other polynomial still leaves a factor of $x$.

What this tells us: an ideal is a collection stable under addition and under multiplication by outside algebra elements.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $A$ be an associative $K$-algebra 03.01.02. A left ideal is a vector subspace $I\subseteq A$ such that $aI\subseteq I$ for every $a\in A$. A right ideal satisfies $Ia\subseteq I$ for every $a\in A$.

A two-sided ideal is both a left ideal and a right ideal. Equivalently, $I$ is a vector subspace such that

$$ax\in I,xa\in I$$

for all $a\in A$ and $x\in I$ ^{[Lang §III §6]}.

If $A$ is commutative, left, right, and two-sided ideals coincide. In noncommutative algebras, the distinction is essential.

Key theorem with proof [Intermediate+]

Theorem (kernel ideal). Let $\varphi :A\to B$ be a homomorphism of associative $K$-algebras. Then $\ker \varphi$ is a two-sided ideal of $A$.

Proof. Since $\varphi$ is linear, $\ker \varphi$ is a vector subspace. Let $x\in \ker \varphi$ and $a\in A$. Then $\varphi (x)=0$. Multiplicativity gives

$$\varphi (ax)=\varphi (a)\varphi (x)=\varphi (a)0=0,$$

so $ax\in \ker \varphi$. Similarly,

$$\varphi (xa)=\varphi (x)\varphi (a)=0\varphi (a)=0,$$

so $xa\in \ker \varphi$. Hence $\ker \varphi$ is a two-sided ideal. $\square$

Bridge. The construction here builds toward 03.01.05 (quotient algebra), where the same data is upgraded, and the symmetry side is taken up in 03.09.02 (clifford algebra). 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+]

[object Promise]

Advanced results [Master]

Two-sided ideals in an associative algebra are the congruence data for quotient algebras. If $I◃A$, the vector-space quotient $A/I$ carries multiplication

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

because the two-sided ideal condition absorbs all representative changes ^{[Atiyah-Macdonald §1]}.

Ideals also organize representation theory. If $\rho :A\to {\mathrm{End}}_K(V)$ is a representation, then $\ker \rho$ is a two-sided ideal. Faithful representations are precisely those with zero kernel.

For commutative algebras, ideals encode geometry: maximal ideals behave like points, prime ideals behave like irreducible loci, and quotient algebras impose equations. This viewpoint later supports characteristic-class examples through polynomial and invariant algebras.

Synthesis. This construction generalises the pattern fixed in 03.01.02 (associative 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]

Proposition (well-defined quotient multiplication). Let $I$ be a two-sided ideal in $A$. The rule $(a+I)(b+I)=ab+I$ is independent of representatives.

If $a^{\prime }=a+x$ and $b^{\prime }=b+y$ with $x,y\in I$, then

$$a^{\prime }{b}^{\prime }-ab=(a+x)(b+y)-ab=ay+xb+xy.$$

Since $I$ is a right ideal, $ay\in I$. Since $I$ is a left ideal, $xb\in I$. Since $x\in I$ and $I$ is a right ideal, $xy\in I$. Hence $a^{\prime }{b}^{\prime }-ab\in I$, so $a^{\prime }{b}^{\prime }+I=ab+I$.

Proposition. The preimage of a two-sided ideal under an algebra homomorphism is a two-sided ideal.

Let $\varphi :A\to B$ and let $J◃B$. The preimage ${\varphi }^{-1}(J)$ is a subspace by linearity. If $x\in {\varphi }^{-1}(J)$ and $a\in A$, then $\varphi (ax)=\varphi (a)\varphi (x)\in J$ and $\varphi (xa)=\varphi (x)\varphi (a)\in J$ because $J$ is two-sided. Thus $ax,xa\in {\varphi }^{-1}(J)$.

Connections [Master]

• Quotient algebra 03.01.05 is built by collapsing a two-sided ideal.

• Associative algebra 03.01.02 supplies the multiplication that ideals must absorb.

• Tensor algebra 03.01.04 produces free algebras whose ideals impose relations.

• Clifford algebra 03.09.02 is a quotient of tensor algebra by the ideal generated by quadratic relations.

Historical & philosophical context [Master]

Ideals entered algebra through Kummer's ideal numbers and Dedekind's reconstruction of divisibility in algebraic number theory. The term later became part of the general language of rings and algebras, where ideals replace normal subgroups as the correct quotient data ^{[Atiyah-Macdonald §1]}.

Lang treats ideals as the kernel-like subobjects for rings and algebras, the form needed for quotient constructions and homomorphism theorems ^{[Lang §III §6]}.

Bibliography [Master]

[object Promise]