Участник:Dgerasimov/Algebra — различия между версиями
(→Ring-like structures) |
(→Ring-like structures) |
||
| Строка 64: | Строка 64: | ||
|- | |- | ||
! [[Monoid]] | ! [[Monoid]] | ||
| − | | Y || [http://www.proofwiki.org/wiki/Definition:Rig Rig] || N || N || ? || N || N | + | | Y || [http://www.proofwiki.org/wiki/Definition:Rig Rig, semiring] || N || N || ? || N || N |
|- | |- | ||
! [[Monoid|Commutative monoid]] | ! [[Monoid|Commutative monoid]] | ||
Версия 13:50, 6 ноября 2013
Group-like structures
Taken from [1]
| Group-like structures | |||||
| Totality* | Associativity | Identity | Inverses | Commutativity | |
|---|---|---|---|---|---|
| Magma | Y | N | N | N | N |
| Semigroup | Y | Y | N | N | N |
| Monoid | Y | Y | Y | N | N |
| Commutative monoid | Y | Y | Y | N | Y |
| Group | Y | Y | Y | Y | N |
| Abelian Group | Y | Y | Y | Y | Y |
| Loop | Y | N | Y | Y** | N |
| Quasigroup | Y | N | N | N | N |
| Groupoid | N | Y | Y | Y | N |
| Category | N | Y | Y | N | N |
| Semicategory | N | Y | N | N | N |
| *Closure, which is used in many sources to define group-like structures, is an equivalent axiom to totality, though defined differently. | |||||
| **Each element of a loop has a left and right inverse, but these need not coincide. | |||||
Ring-like structures
| Ring-like structures | |||||||
| Magma* | Semigroup | Commutative semigroup | Monoid | Commutative monoid | Group | Abelian Group | |
|---|---|---|---|---|---|---|---|
| Magma | Ringoid | ? | N | N | ? | N | N |
| Semigroup | Y | Semiring | ? | N | ? | N | N |
| Commutative semigroup | ? | Additive semiring, semiring | ? | ? | ? | ? | ? |
| Monoid | Y | Rig, semiring | N | N | ? | N | N |
| Commutative monoid | ? | Rig | ? | ? | ? | ? | ? |
| Group | Y | ? | N | N | ? | N | N |
| Abelian Group | ? | Ring | ? | Unital ring | Commutative ring | Division ring (algebra) | Field |
