Welcome guest
You're not logged in.
294 users online, thereof 0 logged in

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.

Definition: 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]

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

CC BY-SA 3.0

[6907] Brenner, Prof. Dr. rer. nat., Holger: “Various courses at the University of Osnabrück”,, 2014

Bibliography (further reading)