First of all, we want to define formally, what exactly shall be understood under an algebraic structure. We start with the concept of a binary operation.
A binary operation \(\ast\) on a set \(X\) ist a total function $\ast :X\times X\to X$ mapping all pairs $x,y\in X\times X$ to a specific $z\in X,$ formally $$x\ast y:=\ast (x,y)=z.$$
|
|
|
|
| created: 2016-09-04 19:02:19 | modified: 2019-08-04 06:56:56 | by: bookofproofs | references: [6907]
[6907] Brenner, Prof. Dr. rer. nat., Holger: “Various courses at the University of Osnabrück”, https://de.wikiversity.org/wiki/Wikiversity:Hochschulprogramm, 2014