Theory of
proveit
.abstract_algebra
¶
Provide description here.
In [1]:
import
proveit
%
theory
# toggles between interactive and static modes
Local content of this theory
common expressions
axioms
theorems
demonstrations
Sub-theories
groups
a group is a set with an associative operation, identity, and inverse
fields
a field is a set having addition, multiplication, and their inverses analgous to rational/real numbers
rings
a ring is a generalization of a field in which multiplication need not be commutative or invertible
All axioms contained within this theory
This theory contains no axioms directly.
proveit.abstract_algebra.groups
This sub-theory contains no axioms.
proveit.abstract_algebra.fields
This sub-theory contains no axioms.
proveit.abstract_algebra.rings
This sub-theory contains no axioms.