Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
magma [2015/04/12 15:58]
nikolaj
magma [2015/04/12 17:48] (current)
nikolaj
Line 1: Line 1:
 ===== Magma ===== ===== Magma =====
 ==== Set ==== ==== Set ====
-| @#55CCEE: context ​    | @#55CCEE: $M$ | +| @#55CCEE: context ​    | @#55CCEE: $M$ ... set 
-| @#FFBB00: definiendum | @#FFBB00: $ \langle M,* \rangle \in \text{Magma}(M)$ | +| @#FFBB00: definiendum | @#FFBB00: $ \langle\!\langle M,* \rangle\!\rangle \inmagma 
-| @#55EE55postulate ​  | @#55EE55: $*$ ... binary operation |+| @#AAFFAAinclusion ​  | @#AAFFAA: $* \in$ binary operation ​(M) |
  
 ----- -----
Line 9: Line 9:
 The binary operation is often called //​multiplication//​. The binary operation is often called //​multiplication//​.
  
-The axioms  +The axiom '$* \in$ binary operation ​(M)' ​above means that a magma is closed with respect to the multiplication. ​
- +
-$*\in \mathrm{BinaryOp}(M)$  +
- +
-above means that a magma is closed with respect to the multiplication. ​+
  
 One generally calls $M$ the Magma, i.e. the set where the operation "​$*$"​ is defined on. One generally calls $M$ the Magma, i.e. the set where the operation "​$*$"​ is defined on.
Link to graph
Log In
Improvements of the human condition