SWhat changed
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
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. 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.
Evidence
The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. 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.
Contributors
- The named authors in the research record · SCIENCE: 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 · SCIENCE: Left/right multiplication representation viewpoint acknowledged on page 352.
- L. E. Dickson · SCIENCE: An alternative canonical-form proof of the finite-algebra theorem is explicitly acknowledged on page 352; not a printed coauthor of this paper.
Provisional WRS assessment, edition 2026-10-23.4. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction