Участник: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