Участник:Dgerasimov/Algebra — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(→‎Ring-like structures)
 
(не показано 6 промежуточных версий этого же участника)
Строка 1: Строка 1:
 +
== Group-like structures ==
 +
 
Taken from [http://en.wikipedia.org/wiki/Template:Group-like_structures]
 
Taken from [http://en.wikipedia.org/wiki/Template:Group-like_structures]
 
{| style="text-align:center"
 
{| style="text-align:center"
Строка 44: Строка 46:
 
|}
 
|}
  
 +
== Ring-like structures ==
  
 
{| style="text-align:center"
 
{| style="text-align:center"
 
|- align="center"
 
|- align="center"
−
| style="border-bottom: 2px solid #303060" colspan=11| '''Ring-like structures'''
+
| style="border-bottom: 2px solid #303060" colspan=7| '''Ring-like structures'''
 
|-
 
|-
−
! !! [[Magma]]* !! [[Semigroup]] !! [[Monoid]] !! [[Commutative monoid]] || [[Group]] !! [[Abelian Group]] !! [[Loop]] !! [[Quasigroup]] !! [[Groupoid]] !! [[Cathegory]] !! [[Semicathegory]]
+
! !! [[Magma]]* !! [[Semigroup]] !! [[Commutative semigroup]] !! [[Monoid]] !! [[Commutative monoid]] || [[Group]] !! [[Abelian Group]]
 
|-
 
|-
 
! [[Magma (algebra)|Magma]]
 
! [[Magma (algebra)|Magma]]
−
| Y || N || N || ? || N || N || N || N || N || N || N
+
| [http://www.proofwiki.org/wiki/Definition:Ringoid Ringoid] || ? || ? || ? || ? || ? || ?
 
|-
 
|-
 
! [[Semigroup]]
 
! [[Semigroup]]
−
| Y || N || N || ? || N || N || N || N || N || N || N
+
| ? || [http://www.proofwiki.org/wiki/Definition:Semiring_%28Abstract_Algebra%29 Semiring] || ? || ? || ? || ? || ?
 +
|-
 +
! [[Commutative semigroup]]
 +
| ? || [http://www.proofwiki.org/wiki/Definition:Additive_Semiring Additive semiring, semiring] || ? || ? || ? || ? || ?
 
|-
 
|-
 
! [[Monoid]]
 
! [[Monoid]]
−
| Y || N || N || ? || N || N || N || N || N || N || N
+
| ? || [http://www.proofwiki.org/wiki/Definition:Rig Rig, semiring] || ? || ? || ? || ? || ?
 
|-
 
|-
 
! [[Monoid|Commutative monoid]]
 
! [[Monoid|Commutative monoid]]
−
| ? || ? || ? || ? || ? || ? || ? || ? || ? || ? || ?
+
| ? || [http://www.proofwiki.org/wiki/Definition:Rig Rig] || ? || ? || ? || ? || ?
 
|-
 
|-
 
! [[Group (mathematics)|Group]]
 
! [[Group (mathematics)|Group]]
−
| Y || N || N || ? || N || N || N || N || N || N || N
+
| ? || ? || ? || ? || ? || ? || ?
 
|-
 
|-
 
! [[Abelian Group]]
 
! [[Abelian Group]]
−
| ? || [http://en.wikipedia.org/wiki/Ring_%28mathematics%29 Ring] || [http://en.wikipedia.org/wiki/Ring_%28mathematics%29 Unital ring] || [http://en.wikipedia.org/wiki/Commutative_ring Commutative ring] || [http://mathworld.wolfram.com/DivisionAlgebra.html Division ring (algebra)] || [http://en.wikipedia.org/wiki/Field_%28mathematics%29 Field] || ? || ? || ? || ? || ?
+
| ? || [http://en.wikipedia.org/wiki/Ring_%28mathematics%29 Ring] || ? || [http://en.wikipedia.org/wiki/Ring_%28mathematics%29 Unital ring] || [http://en.wikipedia.org/wiki/Commutative_ring Commutative ring] || [http://mathworld.wolfram.com/DivisionAlgebra.html Division ring (algebra)] || [http://en.wikipedia.org/wiki/Field_%28mathematics%29 Field]
−
|-
 
−
! [[Loop (algebra)|Loop]]
 
−
| Y || N || N || ? || N || N || N || N || N || N || N
 
−
|-
 
−
! [[Quasigroup]]
 
−
| Y || N || N || ? || N || N || N || N || N || N || N
 
−
|-
 
−
! [[Groupoid]]
 
−
| Y || N || N || ? || N || N || N || N || N || N || N
 
−
|-
 
−
! [[Category (mathematics)|Category]]
 
−
| Y || N || N || ? || N || N || N || N || N || N || N
 
−
|-
 
−
! [[Semicategory]]
 
−
| Y || N || N || ? || N || N || N || N || N || N || N
 
 
|}
 
|}

Текущая версия на 14:00, 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  ?  ?  ?  ?  ?  ?
Semigroup  ? Semiring  ?  ?  ?  ?  ?
Commutative semigroup  ? Additive semiring, semiring  ?  ?  ?  ?  ?
Monoid  ? Rig, semiring  ?  ?  ?  ?  ?
Commutative monoid  ? Rig  ?  ?  ?  ?  ?
Group  ?  ?  ?  ?  ?  ?  ?
Abelian Group  ? Ring  ? Unital ring Commutative ring Division ring (algebra) Field
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Участник:Dgerasimov/Algebra&oldid=33425»