Module fructose::algebra::group

Structure of traits

     Totality─────────► Magma───────┬─────┬─────┬──────────┐
                          │         │     │     │          ▼
                          ▼         │     │     │      Semigroup────────┐
              ┌─────►UnitalMagma────┼─────┼─────┼──────┐   ▲            │
              │                     │     │     │      │   │            │
Associativity─┼─────►Semigroupoid───┼─────┼─────┼──────┼───┘            ▼
              │           │         │     │     │      │        InverseSemigroup
              │           │         │     ▼     │      ▼                ▲
              │           │         │Quasigroup─┼────►Loop              │
              │           │         │     ▲     │                       │
              │           ▼         │     │     ▼                       │
     Identity─┴─────►SmallCategory──┼─────┼─►Monoid──►CommutativeMonoid │
                          │         │     │                    ▲        │
                          │         │     │                    │        │
     Invertibility─┬──────┼─────────┼─────┴────────────────────┼────────┘
                   │      │         │                          │
                   │      ▼         ▼                          │
                   └─►Groupoid───►Group──►AbelianGroup◄───Commutativity

Traits

AbelianGroup
CommutativeMonoid
CommutativeSemigroup
Group
Groupoid
InverseSemigroup
Loop
Magma
Monoid
Quasigroup
Semigroup
Semigroupoid
SmallCategory
UnitalMagma