Vanishing Polynomials | KEVOS® Mathematics

Q: Why must all elements of a conjugacy class share one minimal polynomial?

Because conjugation fixes the centre F pointwise. For g ∈ F[t] and d ∈ D^* one has g(dad^-1) = d,g(a),d^-1, so g kills a exactly when it kills every conjugate of a. The sets of annihilating polynomials over F therefore coincide across the class, and so do their monic generators.

Q: Does (16.6) say the minimal polynomial of a class is irreducible over D?

No. It is irreducible over the centre F, but over D it splits completely into linear factors — that is Wedderburn's factorisation theorem (16.9). The statement h(A) = 0 h ∈ D[t]f is about divisibility in D[t], not about irreducibility there.

Q: Is the vanishing set of a class really a two-sided ideal?

Yes, and the reason is cheap: it equals D[t]f with f having coefficients in Z(D), so f is a central element of D[t] and the left ideal it generates is automatically two-sided. This is the exception rather than the rule — the set of polynomials vanishing at a single noncentral element is only a left ideal.

Executive Summary

A conjugacy class $A$ of a division ring $D$ is stable under conjugation by definition. That single symmetry is enough to pin down every polynomial that vanishes on $A$ . If $h \in D [t]$ vanishes on $A$ and has minimal degree, conjugating $h$ coefficientwise produces a second vanishing polynomial of the same degree; subtracting the two produces a shorter one unless every coefficient of $h$ was already central.

The consequences are immediate and complete. If $A$ is algebraic over $F = Z (D)$ with minimal polynomial $f$ , then $(16.5)$ every nonzero vanishing polynomial has degree at least $\deg f$ , and $(16.6)$ the vanishing polynomials are exactly the left multiples $D [t] f$ — which, $f$ being central, is a two-sided ideal. If $A$ is not algebraic, nothing nonzero vanishes on it. And if $A$ is replaced by the whole of an infinite $D$ , the answer is again zero $(16.7)$ .

$\deg h \geq \deg f$ Degree bound (16.5)

$D [t] f$ Vanishing ideal (16.6)

$0$ Vanishing on infinite

D

1 argumentProves all three

Overview

Fix a division ring $D$ with centre $F$ , and let $D [t]$ be the polynomial ring in a central variable $t$ , with evaluation by right substitution. Over a field, the polynomials vanishing on a finite set $S$ form the principal ideal generated by $\prod_{s \in S} (t - s)$ ; that is the whole story. Over a division ring the natural test sets are not finite sets but conjugacy classes, because they are the sets on which the theory of roots is actually controlled — see The Gordon–Motzkin Theorem.

The results here answer three questions about a class $A$ : how short a nonzero vanishing polynomial can be, exactly which polynomials vanish, and what happens when $A$ is enlarged to all of $D$ .

{h \in D [t] : h (A) = 0} = D [t] \cdot f (t), f = minimal polynomial of A over F,

(16.6)

Valid whenever $A$ is a conjugacy class algebraic over $F$ . Because $f$ has central coefficients, this left ideal is in fact two-sided.

The reason the mechanism works is that a class is stable under the conjugation action while a polynomial's coefficient list is not. Forcing the two to agree squeezes the coefficients into the fixed ring of the action, which for an inner action on a division ring is precisely the centre.

Learning Objectives

Show that all elements of an algebraic conjugacy class share one minimal polynomial over $F$ .
Prove that a minimal-degree vanishing polynomial on a conjugation-stable set has central coefficients.
Derive the degree bound $(16.5)$ from that statement.
Prove $(16.6)$ that the vanishing set is $D [t] f$ , and observe that it is a two-sided ideal.
Prove $(16.7)$ : an infinite division ring admits no nonzero polynomial vanishing on all of it.
Decide, for a given class, whether any nonzero polynomial vanishes on it at all.

Definitions

Definition§16Algebraic class and its minimal polynomial

Let $D$ be a division ring with centre $F$ and $A \subseteq D$ a conjugacy class. Call $A$ **algebraic over $F$ ** if some element of $A$ is algebraic over $F$ . Since conjugation by $d \in D^{*}$ fixes $F$ elementwise, $g (d a d^{- 1}) = d g (a) d^{- 1}$ for any $g \in F [t]$ ; hence every element of $A$ is then algebraic and all elements share one minimal polynomial $f \in F [t]$ , called the **minimal polynomial of $A$ **.

$h (A) = 0$: Shorthand for: $h (a) = 0$ for every $a \in A$ , where $h (a)$ means substitution of $a$ on the right of the coefficients.
Conjugation-stable set: A subset $S \subseteq D$ with $e S e^{- 1} = S$ for all $e \in D^{*}$ . Conjugacy classes, unions of classes, $F$ itself and $D$ itself are all conjugation-stable.
$h^{e}$: The coefficientwise conjugate of $h = \sum d_{i} t^{i}$ , namely $\sum (e d_{i} e^{- 1}) t^{i}$ , for $e \in D^{*}$ .
$\deg f$: For an algebraic class, $\deg f = \dim_{F} F (a)$ for any $a \in A$ ; it is $1$ exactly when $A$ is a central singleton.
Two-sided ideal of $D [t]$: An additive subgroup closed under multiplication by $D [t]$ on both sides. Any left ideal generated by a polynomial with coefficients in $F$ is automatically two-sided.

No chain condition and no finiteness over $F$ is assumed. $A$ may be — and usually is — infinite.

Core Concepts

The mechanism: conjugate, subtract, contradict

Suppose $S \subseteq D$ is conjugation-stable and some nonzero $h \in D [t]$ vanishes on $S$ . Multiplying on the left by the inverse of the leading coefficient, we may take $h$ monic; choose it of least degree $m$ among monic vanishing polynomials.

Fix $e \in D^{*}$ . For $a \in S$ , conjugating the relation $h (a) = 0$ by $e$ gives $h^{e} (e a e^{- 1}) = 0$ , and $e a e^{- 1}$ again runs over all of $S$ . So $h^{e}$ is monic of degree $m$ and also vanishes on $S$ . Then $h - h^{e}$ vanishes on $S$ and has degree $< m$ , so it must be zero. Since $e$ was arbitrary, every coefficient of $h$ commutes with every element of $D^{*}$ — that is, lies in $F$ .

NormaliseScale on the left so that the shortest vanishing polynomial is monic of degree

m

Conjugate

h^{e}

vanishes on

S

too, because

S

is conjugation-stable and conjugation is a ring automorphism.

Subtract

h - h^{e}

is a vanishing polynomial of degree

< m

, hence zero by minimality.

ConcludeAll coefficients are fixed by every inner automorphism, so they lie in

F = Z (D)

From centrality to the three theorems

Once the shortest vanishing polynomial is known to lie in $F [t]$ , each of the three results follows by asking what a nonzero element of $F [t]$ vanishing on $S$ can be. For an algebraic class it must be a multiple of the class's minimal polynomial; for a non-algebraic class it cannot exist; for $S = D$ it forces $F$ to be finite and $D$ to be algebraic over $F$ , which Jacobson's theorem then forbids.

Key Results

Lemmacf. (16.5)Minimal vanishing polynomials are central

Let $D$ be a division ring with centre $F$ and let $S \subseteq D$ be stable under conjugation by $D^{*}$ . If some nonzero element of $D [t]$ vanishes on $S$ , and $h$ is monic of least degree among such, then $h \in F [t]$ .

Proof

Write $h (t) = t^{m} + d_{1} t^{m - 1} + \dots + d_{m}$ and suppose $d_{j} \notin F$ for some $j$ . Pick $e \in D^{*}$ with $e d_{j} e^{- 1} \neq d_{j}$ and set $b' = e b e^{- 1}$ . For $a \in S$ , conjugating $a^{m} + d_{1} a^{m - 1} + \dots + d_{m} = 0$ by $e$ gives

(a')^{m} + d_{1}' (a')^{m - 1} + \dots + d_{m}' = 0 .

As $a$ runs over $S$ so does $a' = e a e^{- 1}$ , so the monic polynomial $h' (t) = t^{m} + d_{1}' t^{m - 1} + \dots + d_{m}'$ also vanishes on $S$ . Hence $H (t) : = h (t) - h' (t) = \sum_{i = 1}^{m} (d_{i} - d_{i}') t^{m - i}$ vanishes on $S$ . Its coefficient in degree $m - j$ is $d_{j} - d_{j}' \neq 0$ , so $H \neq 0$ , while $\deg H < m$ . Scaling $H$ on the left by the inverse of its leading coefficient contradicts the minimality of $m$ .

Lemma(16.5)Degree bound on a class

Let $D$ be a division ring with centre $F$ and let $A$ be a conjugacy class of $D$ that is algebraic over $F$ , with minimal polynomial $f \in F [t]$ . If $h \in D [t] ∖ {0}$ vanishes on $A$ , then $\deg h \geq \deg f$ .

Proof

Some nonzero polynomial vanishes on $A$ — namely $f$ — so a monic vanishing polynomial $h_{0}$ of least degree $m$ exists, and $m \leq \deg h$ for every nonzero vanishing $h$ . By the previous lemma $h_{0} \in F [t]$ . Pick $a \in A$ ; then $h_{0} (a) = 0$ with $h_{0} \in F [t]$ nonzero, so the minimal polynomial $f$ of $a$ over $F$ divides $h_{0}$ in $F [t]$ . Hence $\deg h \geq m = \deg h_{0} \geq \deg f$ .

Theorem(16.6)The vanishing ideal of an algebraic class

With $D$ , $F$ , $A$ and $f$ as in $(16.5)$ : a polynomial $h \in D [t]$ vanishes on $A$ if and only if $h \in D [t] \cdot f (t)$ .

Proof

( $\Leftarrow$ ) Let $a \in A$ . Since $f (a) = 0$ , the remainder theorem $(16.2)$ gives $f \in D [t] (t - a)$ , hence $h = q f \in D [t] (t - a)$ and therefore $h (a) = 0$ , again by $(16.2)$ . As $a \in A$ was arbitrary, $h (A) = 0$ .

( $\Rightarrow$ ) Assume $h (A) = 0$ . Because $f$ is monic, division on the right by $f$ is available: $h = q f + h_{1}$ with $h_{1} = 0$ or $\deg h_{1} < \deg f$ . Evaluation is additive, and $q f$ vanishes on $A$ by the first half, so $h_{1}$ vanishes on $A$ . By $(16.5)$ a nonzero such $h_{1}$ would satisfy $\deg h_{1} \geq \deg f$ , which is false; hence $h_{1} = 0$ and $h = q f$ .

Corollary—The vanishing set is a two-sided ideal

In the situation of $(16.6)$ , $D [t] f$ is a two-sided ideal of $D [t]$ . Indeed $f \in F [t]$ commutes with every element of $D [t]$ , so $D [t] f D [t] = D [t] D [t] f = D [t] f$ . Contrast the vanishing set of a single root $r$ , which is only the left ideal $D [t] (t - r)$ and is two-sided precisely when $r \in F$ .

PropositionEx. 16.6Non-algebraic classes admit no vanishing polynomial

Let $A$ be a conjugacy class of $D$ that is not algebraic over $F = Z (D)$ . Then no nonzero $h \in D [t]$ vanishes on $A$ .

Proof

If some nonzero polynomial vanished on $A$ , the lemma would supply a monic vanishing $h_{0} \in F [t]$ . Evaluating at any $a \in A$ would exhibit $a$ as algebraic over $F$ , contradicting the hypothesis.

Theorem(16.7)No polynomial vanishes on an infinite division ring

Let $D$ be an infinite division ring. Then no nonzero $h \in D [t]$ vanishes identically on $D$ .

Proof

Suppose one did. The set $S = D$ is conjugation-stable, so a monic vanishing polynomial $h$ of least degree $m \geq 1$ exists and lies in $F [t]$ by the lemma. In particular $h$ is a nonzero polynomial of degree $m$ over the field $F$ vanishing at every element of $F \subseteq D$ , so $| F | \leq m$ and $F$ is finite.

But $h (D) = 0$ with $h \in F [t]$ says that every element of $D$ is algebraic over $F$ , i.e. $D$ is an algebraic division algebra over the finite field $F$ . By Jacobson's theorem $(13.11)$ , $D$ is commutative, so $D = F$ is finite — contradicting the hypothesis that $D$ is infinite.

Remark—Finiteness is essential

For a finite division ring — a finite field $𝔽_{q}$ by Wedderburn's little theorem — the polynomial $t^{q} - t$ vanishes identically. So $(16.7)$ is exactly a statement about infinite $D$ , and its proof necessarily routes through a commutativity theorem.

Proof Techniques and Method

How these proofs work, and which move to reuse.

Two ideas do all the work, and both generalise well beyond §16.

Symmetrise and subtract. When a set is invariant under a group of ring automorphisms, apply an automorphism to a minimal-degree relation and subtract. The difference is shorter, so it must vanish, and the original coefficients are forced into the fixed ring. Here the group is the inner automorphisms and the fixed ring is $Z (D)$ ; the same move works for Galois actions and for $σ$ -twisted settings.
Divide by a monic central polynomial. Right division by a monic $f$ is available over any ring, and when $f$ is central the quotient ideal $D [t] f$ is two-sided. This turns a vanishing condition into a divisibility condition, which is what makes $(16.6)$ usable in Wedderburn's factorisation argument.

The pattern to carry away: to compute a vanishing ideal over a noncommutative ring, first show the shortest generator is central, then compute in the commutative subring. Attacking the noncommutative problem directly is far harder and usually unnecessary.

Worked Example

The class of $i$ in the real quaternions

Take $D = ℍ$ , $F = ℝ$ , and $A$ the conjugacy class of $i$ , that is, the unit sphere of purely imaginary quaternions. Every $a \in A$ satisfies $a^{2} = - 1$ and no linear equation over $ℝ$ , so $f (t) = t^{2} + 1$ and $\deg f = 2$ .

$(16.5)$ predicts no nonzero polynomial of degree $\leq 1$ vanishes on $A$ . Directly: $a t + b$ with $a \neq 0$ has the unique root $- a^{- 1} b$ , and $| A | > 1$ .
$(16.6)$ predicts the vanishing polynomials are $ℍ [t] (t^{2} + 1)$ . So the only monic quadratic vanishing on $A$ is $t^{2} + 1$ itself.
The polynomial $h (t) = i t^{2} + i = i (t^{2} + 1)$ vanishes on $A$ and has noncentral coefficients — permitted, because it is not of minimal degree.

A concrete check of the two-sidedness corollary: $(t^{2} + 1) j = j (t^{2} + 1)$ in $ℍ [t]$ since the coefficients $1$ and $1$ are real, so multiplying a vanishing polynomial on the right by any quaternion again yields a vanishing polynomial.

A class on which nothing vanishes

Let $D$ be the division ring of fractions of the first Weyl algebra $A_{1} (ℚ) = ℚ ⟨ x, y ⟩ / (x y - y x - 1)$ . In characteristic zero $Z (D) = ℚ$ , and $x$ is transcendental over $ℚ$ because $A_{1} (ℚ)$ is a domain containing the polynomial ring $ℚ [x]$ .

So the conjugacy class $A$ of $x$ is not algebraic over $Z (D)$ , and by the proposition above no nonzero $h \in D [t]$ vanishes on $A$ . Concretely: however many conjugates $d x d^{- 1}$ one imposes as roots, no finite-degree polynomial identity results. This is the generic situation in a centrally infinite division ring.

Frameworks and Models

Conjugacy classes of a division ring sort into exactly three kinds by their vanishing ideal.

All conjugacy classes of $D$ vanishing set is a two-sided ideal of

D [t]

, possibly zero

Algebraic over $F$ minimal polynomial

f \in F [t]

exists; vanishing set

= D [t] f \neq 0

Noncentral, $\deg f \geq 2$ the class is infinite (Herstein);

f

is irreducible over

F

of degree

\geq 2

Quadratic classes

\deg f = 2

; the case governing quaternion algebras and result

(16.17)

Central singleton ${a}$ , $a \in F$

f = t - a

; vanishing set

= D [t] (t - a)

, which here is two-sided

Not algebraic over $F$ vanishing set

= 0

; no polynomial identity of any degree

Given a class $A$ , what vanishes on it?

$A = {a}$ with $a$ centralExactly the multiples of

t - a

. The class is a point and the theory degenerates to the commutative case.

$A$ noncentral and algebraicExactly

D [t] f

with

f

the shared minimal polynomial, irreducible over

F

of degree

n \geq 2

. Nothing of degree

< n

vanishes.

$A$ not algebraicNothing but

0

. Any attempt to interpolate through

A

by a polynomial fails at every degree.

Comparison and Classification

Which conclusions hold for which test set $S$
	Vanishing set is nonzero	Minimal vanisher is central	Vanishing set is two-sided	Degree bound available
Single noncentral root ${r}$	yes	no	no	no
Algebraic conjugacy class $A$	yes	yes	yes	yes
Non-algebraic conjugacy class	no	n/a	yes	n/a
Infinite division ring $D$	no	n/a	yes	n/a
Finite field $𝔽_{q}$	yes	yes	yes	yes

Which conclusions hold for which test set $S$

Commutative analogue versus division ring statement
Commutative fact	Division ring analogue	Reference
Polynomials vanishing on a finite set $S$ form $(\prod_{s} (t - s))$	Polynomials vanishing on a class $A$ form $D [t] f$	$(16.6)$
A nonzero polynomial of degree $n$ has at most $n$ roots	A nonzero polynomial vanishing on $A$ has degree at least $\deg f$	$(16.5)$
No nonzero polynomial vanishes on an infinite field	No nonzero polynomial vanishes on an infinite division ring	$(16.7)$
The vanishing ideal is always two-sided	True for classes; false for a single noncentral root	Corollary above
$t^{q} - t$ vanishes on $𝔽_{q}$	Same, and Wedderburn's little theorem says there is no other finite case	Remark above

Relationship Map

This page supplies the divisibility statement that the rest of §16 consumes.

conjugate-and-subtract

(16.5)

degree bound

(16.6)

vanishing ideal

(16.9)

Wedderburn factorisation

Wedderburn's Factorisation Theorem uses $(16.5)$ to force a maximal chain of linear right factors to exhaust the whole minimal polynomial.
The Gordon–Motzkin Theorem is logically independent of this page but supplies the complementary bound, on classes rather than degrees.
The Niven–Jacobson Theorem uses the quadratic case $(16.17)$ , which is $(16.6)$ specialised to $\deg f = 2$ plus a remainder argument.
$(16.7)$ is the source of the standard fact that $D [t]$ is neither left nor right primitive for a centrally finite $D$ , developed in the exercises of §16.

Applications and Industry Use

Applications here means where this structure is used — inside mathematics and in the engineering and computing disciplines that consume it.

**Structure of $D [t]$ .** Knowing that a vanishing set is $D [t] f$ with $f$ central identifies the two-sided ideals of $D [t]$ that arise from evaluation conditions, and is the mechanism behind the failure of $D [t]$ to be primitive when $D$ is centrally finite.
Polynomial identities. $(16.7)$ is a one-variable non-identity statement: an infinite division ring satisfies no nontrivial one-variable polynomial condition with left coefficients. It marks the boundary of what PI theory can detect at the level of a single variable.
Symbolic computation. Deciding membership in a vanishing ideal reduces, by $(16.6)$ , to right division by a central polynomial — an operation that behaves exactly as in the commutative case and can be delegated to standard library routines.
Skew polynomial codes. In $D [t; σ]$ the analogous vanishing ideals are generated by the minimal $σ$ -polynomial of a $σ$ -conjugacy class; encoders and decoders for rank-metric codes are built from exactly this divisibility statement.

As with most of §16, the honest description is that these results are internal machinery. Their value is that they make an apparently infinite condition — vanishing on an infinite set — equivalent to a single divisibility, which is finitely checkable.

Standards and Notation

Standards here covers notation, symbol and markup standards, and reference implementations, rather than material or design codes.

Class notation

A

Δ (a)

for the conjugacy class of

a

Minimal polynomial

f

{minpoly}_{F} (A)

; Lam writes simply

f (t) \in F [t]

Vanishing

h (A) = 0

; some authors write

A \subseteq V (h)

Ideal generated

D [t] f = (f)

when

f \in F [t]

; write

D [t] (t - r)

for the one-sided case

Centre

F = Z (D)

; the letter

k

is common in the algebra literature

ImplementationsMagma and Sage provide quaternion algebras with minimal polynomials of elements; skew polynomial division is available in Sage's OrePolynomialRing

Failure Modes and Common Mistakes

Do not assume every class has a minimal polynomial; non-algebraic classes have none, and then no nonzero polynomial vanishes on them at all.
Do not divide on the left by $f$ and expect the same remainder; only right division is used, and only because $f$ is monic.
Do not read $(16.6)$ as saying $f$ is irreducible over $D$ — it factors into linear factors over $D$ , which is exactly Wedderburn's theorem.

Quick Reference

Setting

D

division ring,

F = Z (D)

t

central, right evaluation

Class minimal polynomial

f \in F [t]

, shared by all

a \in A

Degree bound

0 \neq h

h (A) = 0 \Rightarrow \deg h \geq \deg f

Vanishing ideal

h (A) = 0 \Leftrightarrow h \in D [t] f

Two-sidedness

D [t] f

is two-sided because

f \in F [t]

Non-algebraic classvanishing set is

0

Whole ring

D

infinite

\Rightarrow

only

h = 0

vanishes on

D

Finite case

𝔽_{q}

t^{q} - t

vanishes identically

Statements and their exact hypotheses
Reference	Hypotheses	Conclusion
Lemma (mechanism)	$S$ conjugation-stable, some nonzero vanisher exists	The monic vanisher of least degree lies in $F [t]$
$(16.5)$	$A$ a class algebraic over $F$ , minimal polynomial $f$ , $h \neq 0$ , $h (A) = 0$	$\deg h \geq \deg f$
$(16.6)$	Same, $h \in D [t]$ arbitrary	$h (A) = 0 \Leftrightarrow h \in D [t] f$
Ex. 16.6	$A$ a class not algebraic over $F$	Only $h = 0$ vanishes on $A$
$(16.7)$	$D$ an infinite division ring	Only $h = 0$ vanishes on $D$

Frequently Asked Questions

Why must all elements of a conjugacy class share one minimal polynomial?

Because conjugation fixes the centre $F$ pointwise. For $g \in F [t]$ and $d \in D^{*}$ one has $g (d a d^{- 1}) = d g (a) d^{- 1}$ , so $g$ kills $a$ exactly when it kills every conjugate of $a$ . The sets of annihilating polynomials over $F$ therefore coincide across the class, and so do their monic generators.

Does

(16.6)

say the minimal polynomial of a class is irreducible over

D

No. It is irreducible over the centre $F$ , but over $D$ it splits completely into linear factors — that is Wedderburn's factorisation theorem $(16.9)$ . The statement $h (A) = 0 \Leftrightarrow h \in D [t] f$ is about divisibility in $D [t]$ , not about irreducibility there.

Is the vanishing set of a class really a two-sided ideal?

Yes, and the reason is cheap: it equals $D [t] f$ with $f$ having coefficients in $Z (D)$ , so $f$ is a central element of $D [t]$ and the left ideal it generates is automatically two-sided. This is the exception rather than the rule — the set of polynomials vanishing at a single noncentral element is only a left ideal.

How does

(16.7)

relate to polynomial identities?

It is a one-variable statement, and a strong one: an infinite division ring satisfies no nontrivial condition of the form $\sum a_{i} x^{i} = 0$ for all $x$ . It does not say anything about multilinear identities in several variables, where centrally finite division rings do satisfy identities — the standard identity of degree $2 n$ for algebras of degree $n$ .

What breaks if the class is replaced by an arbitrary infinite subset?

The conjugate-and-subtract mechanism, which is the only tool available. It needs $e S e^{- 1} = S$ for every $e \in D^{*}$ . For a general infinite subset the conjugated polynomial need not vanish on the same set, and nothing forces the coefficients into the centre.

Can a nonzero polynomial vanish on two different conjugacy classes?

Certainly — take the product of their minimal polynomials, or any common left multiple. What $(16.5)$ constrains is the degree: vanishing on $A$ alone already costs $\deg f$ , and vanishing on several algebraic classes costs at least the degree of the least common left multiple of their minimal polynomials.

References

T. Y. Lam, A First Course in Noncommutative Rings, Graduate Texts in Mathematics 131, Springer-Verlag, 1991, §16, (16.5)–(16.7) (pp. 264–267).
N. Jacobson, Structure of Rings, American Mathematical Society Colloquium Publications 37, revised edition, 1964.
B. Gordon and T. S. Motzkin, “On the zeros of polynomials over division rings”, Transactions of the American Mathematical Society 116 (1965), 218–226.
I. N. Herstein, Noncommutative Rings, Carus Mathematical Monographs 15, Mathematical Association of America, 1968.
P. K. Draxl, Skew Fields, London Mathematical Society Lecture Note Series 81, Cambridge University Press, 1983.
L. H. Rowen, Ring Theory, Volume I, Academic Press, 1988.

AI Suggested Questions

Work out the vanishing ideal of a union of two distinct algebraic conjugacy classes and compare it with the product of their minimal polynomials.
Does the conjugate-and-subtract argument survive when inner automorphisms are replaced by a group of outer automorphisms of $D$ ?
For the division ring of fractions of the Weyl algebra, which conjugacy classes are algebraic over the centre?
Formulate and prove the analogue of $(16.6)$ for skew polynomial rings $D [t; σ]$ with $σ$ -conjugacy classes.
Give a proof that $D [t]$ is neither left nor right primitive when $D$ is centrally finite, using $(16.7)$ and the exercises of §16.
How large can the degree of the minimal polynomial of a class be, relative to $\dim_{F} D$ , for a centrally finite division ring?

01Executive Summary

02Overview

03Learning Objectives

04Definitions

05Core Concepts

The mechanism: conjugate, subtract, contradict

From centrality to the three theorems

06Key Results

07Proof Techniques and Method

08Worked Example

The class of i in the real quaternions

A class on which nothing vanishes

09Frameworks and Models

10Comparison and Classification

11Relationship Map

12Applications and Industry Use

13Standards and Notation

14Failure Modes and Common Mistakes

15Quick Reference

16Frequently Asked Questions

17Related KEVOS Topics

18References

19AI Suggested Questions

Continue learning

Executive Summary

Overview

Learning Objectives

Definitions

Core Concepts

Key Results

Proof Techniques and Method

Worked Example

The class of $i$ in the real quaternions

Frameworks and Models

Comparison and Classification

Relationship Map

Applications and Industry Use

Standards and Notation

Failure Modes and Common Mistakes

Quick Reference

Frequently Asked Questions

Related KEVOS Topics

References

AI Suggested Questions