http://caligraph.org/ontology/Theorem_about_algebras

CaLiGraph

Property	Value
rdf:type	owl:Class
rdfs:label	Theorem about algebras
rdfs:subClassOf	Theorem in abstract algebra
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Theorems_about_algebras
is rdf:type of	Quillen's lemma Milnor–Moore theorem Brauer–Nesbitt theorem Lie's theorem Hurwitz's theorem (composition algebras) Artin approximation theorem Ado's theorem Theorem of the highest weight Serre's theorem on a semisimple Lie algebra Frobenius theorem (real division algebras) Artin–Tate lemma Poincaré–Birkhoff–Witt theorem Zariski's lemma Lie's third theorem

About: clgo:Theorem_about_algebras