Differences

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

--- magma [2015/02/02 19:04]
nikolaj
+++ magma [2015/04/12 17:48]
nikolaj
@@ Line 1: / Line 1: @@
 ===== Magma =====
 ==== Set ====
-| @#55CCEE: context     | @#55CCEE: $M$ |
+| @#55CCEE: context     | @#55CCEE: $M$ ... set |
+| @#FFBB00: definiendum | @#FFBB00: $ \langle\!\langle M,* \rangle\!\rangle \in$ magma |
+| @#AAFFAA: inclusion   | @#AAFFAA: $* \in$ binary operation (M) |
-| @#FFBB00: definiendum | @#FFBB00: $ \langle M,* \rangle \in \text{Magma}(M)$ |
+-----
+=== Elaboration ===
-| @#55EE55: postulate   | @#55EE55: $*$ ...binary operation |
-==== Discussion ====
 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)$
+One generally calls $M$ the Magma, i.e. the set where the operation "$*$" is defined on.
-above means that a magma is closed with respect to the multiplication.
+=== Reference ===
-One generally calls $M$ the Magma, i.e. the set where the operation "$*$" is defined on.
-==== Reference ====
 Wikipedia: [[http://en.wikipedia.org/wiki/Magma_%28algebra%29|Magma]]