<?xml version="1.0" encoding="UTF-8"?>

<record version="7" id="3473">
 <title>Wedderburn's theorem</title>
 <name>WedderburnsTheorem</name>
 <created>2002-09-25 23:34:50</created>
 <modified>2007-08-13 10:41:46</modified>
 <type>Theorem</type>
 <creator id="2760" name="yark"/>
 <author id="2760" name="yark"/>
 <author id="225" name="saforres"/>
 <classification>
	<category scheme="msc" code="12E15"/>
 </classification>
 <synonyms>
	<synonym concept="Wedderburn's theorem" alias="Wedderburn theorem"/>
 </synonyms>
 <related>
	<object name="NonZeroDivisorsOfFiniteRing"/>
	<object name="JosephWedderburn"/>
 </related>
 <preamble></preamble>
 <content>\PMlinkescapeword{implies}
\PMlinkescapeword{theorem}

A finite division ring is a field.

One of the many consequences of this theorem
is that for a finite projective plane,
Desargues' theorem implies Pappus' theorem.</content>
</record>
