login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Basic Algebra Hierarchy


\digraph[scale=1.0]{SandBoxEndPaper1}{
size="6.4,6.4";
rankdir=BT;
ratio=auto;
fontname="Helvetica";
nodesep="0.15";
ranksep="0.75";
{AbelianSemiGroup, SemiGroup, OrderedSet, Finite} -> SetCategory;
AbelianMonoid -> AbelianSemiGroup;
Rng -> {AbelianGroup, SemiGroup};
Monoid -> SemiGroup;
OrderedAbelianSemiGroup -> {OrderedSet, AbelianMonoid};
OrderedFinite -> {OrderedSet, Finite};
CancellationAbelianMonoid -> AbelianMonoid;
OrderedAbelianMonoid -> {AbelianMonoid,OrderedAbelianSemiGroup};
Group -> Monoid;
OrderedMonoid -> {Monoid, OrderedSet};
AbelianGroup -> CancellationAbelianMonoid;
OrderedCancellationAbelianMonoid -> {CancellationAbelianMonoid, OrderedAbelianMonoid};
LeftModule -> AbelianGroup;
RightModule -> AbelianGroup;
Ring -> {Rng, Monoid};
OrderedAbelianMonoidSup -> OrderedCancellationAbelianMonoid;
OrderedAbelianGroup -> {OrderedCancellationAbelianMonoid, AbelianGroup};
BiModule -> {LeftModule, RightModule};
PartialDifferentialRing -> Ring;
DifferentialRing -> Ring;
CommutativeRing -> {BiModule, Ring};
EntireRing -> {BiModule, Ring};
Module -> BiModule;
OrderedRing -> {OrderedAbelianGroup, Ring, OrderedMonoid};
LinearlyExplicitRingOver -> Ring;
CharacteristicZero -> Ring;
CharacteristicNonZero -> Ring;
DifferentialExtension -> {PartialDifferentialRing, DifferentialRing, CharacteristicZero, CharacteristicNonZero};
Algebra -> {CharacteristicNonZero, Module, Ring};
VectorSpace -> Module;
FullyLinearExplicitRingOver ->LinearlyExplicitRingOver;
DivisionRing -> {EntireRing, Algebra};
IntegralDomain -> {CommutativeRing, EntireRing, Algebra}
GcdDomain -> IntegralDomain;
UniqueFactorizationDomain -> GcdDomain;
PrincipalIdealDomain -> GcdDomain;
EuclideanDomain -> PrincipalIdealDomain;
PolynomialFactorizationExplicit -> UniqueFactorizationDomain;
Field -> {UniqueFactorizationDomain, DivisionRing, EuclideanDomain};
FieldOfPrimeCharacteristic -> CharacteristicNonZero;
FiniteFieldCategory -> {FieldOfPrimeCharacteristic, Finite};
}
 




  Subject:   Be Bold !!
  ( 15 subscribers )  
Please rate this page: