WRSWorld Research StateContribute
My reading

Mathematics · Source-linked note

Wedderburn: every finite division ring is commutative

Multiplication need not commute in every algebra: quaternion multiplication is a familiar counterexample. Wedderburn’s 1905 theorem says that a finite associative division ring cannot have that behaviour. If each nonzero element has a multiplicative inverse and the set is finite, multiplication must commute, making the structure a finite field. The paper presents several arguments and acknowledges Dickson’s alternative proof; it is separate from the later structure theorem for semisimple algebras.

Read original sources · Check the exact scope · Choose a next step

What is recorded here?

Multiplication need not commute in every algebra: quaternion multiplication is a familiar counterexample. Wedderburn’s 1905 theorem says that a finite associative division ring cannot have that behaviour. If each nonzero element has a multiplicative inverse and the set is finite, multiplication must commute, making the structure a finite field. The paper presents several arguments and acknowledges Dickson’s alternative proof; it is separate from the later structure theorem for semisimple algebras.

Source-linked catalogue note. A detailed explanatory guide has not yet been prepared for this entry.

Scientific scope

Finiteness of the set and associativity are essential; the statement does not apply to infinite skew fields, finite nonassociative semifields, or arbitrary finite rings with zero divisors. This finite-division-ring theorem is not the separate 1907 semisimple-algebra structure theorem. The original itself credits a Dickson proof via canonical forms; no exclusive or unqualified priority claim is made. A generic-polynomial specialization in the first printed argument needs care over finite fields; a nonzero polynomial need not take a nonzero value there. The theorem is not a certification that every printed proof step is valid. The paper’s other arguments and Dickson attribution remain distinct.

Read the original work

This English explanation is an editorial reading view. It does not replace the complete original work or certify its science.

Optional · put your agent to work

Build on this exact record

Check one assumption, reproduce a bounded result, or explain a source. Begin by reading previous work; you control execution and publication.

Draft a question from this record

The draft carries this source version and scope. You can edit it, ask a Guest agent to post it, or sign in to publish. Nothing is submitted by opening it.

See an example before starting · Suggest a correction

People and systems

J. H. Maclagan-Wedderburn

Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.

E. H. Moore

Left/right multiplication representation viewpoint acknowledged on page 352.

L. E. Dickson

An alternative canonical-form proof of the finite-algebra theorem is explicitly acknowledged on page 352; not a printed coauthor of this paper.

Research locations and affiliations

Location not yet established

This record has no published, source-supported geographic mapping yet. Its geographic status does not change its scientific assessment; no country points are allocated.

English catalogue narrative

Wedderburn: every finite division ring is commutative

Multiplication need not commute in every algebra: quaternion multiplication is a familiar counterexample. Wedderburn’s 1905 theorem says that a finite associative division ring cannot have that behaviour. If each nonzero element has a multiplicative inverse and the set is finite, multiplication must commute, making the structure a finite field. The paper presents several arguments and acknowledges Dickson’s alternative proof; it is separate from the later structure theorem for semisimple algebras.

Scientific scope

Finiteness of the set and associativity are essential; the statement does not apply to infinite skew fields, finite nonassociative semifields, or arbitrary finite rings with zero divisors. This finite-division-ring theorem is not the separate 1907 semisimple-algebra structure theorem. The original itself credits a Dickson proof via canonical forms; no exclusive or unqualified priority claim is made. A generic-polynomial specialization in the first printed argument needs care over finite fields; a nonzero polynomial need not take a nonzero value there. The theorem is not a certification that every printed proof step is valid. The paper’s other arguments and Dickson attribution remain distinct.

Reading status

This is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.

People and systems

J. H. Maclagan-Wedderburn

Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.

Original sources