# Example of an associative binary operation, without identities or inverses.

In essence, I am looking for an example of a semigroup or a semicategory (closure is not that important, but it is useful) that is NOT a monoid or category.

Hopefully, there is a neat and simple-to-understand example of an only-associative operation on an infinite set.

Edit: Also, non-commutative!

Edit #2: From all the answers, it seems there are no associative, non-identity, non-inverse operations on the reals such that for $x,y \in \mathbb{R}$ the operation is $x \cdot y = f(x,y)$ where $f(x,y)$ is a some analytically expressible function, such that the reals form a semi-group under that operation.

• The real numbers with the operator being taking maximum? It is commutative, but withough inverses or identity. Dec 5 '14 at 19:28
• Sorry, I should've mentioned - non-commutative too!
– XYZT
Dec 5 '14 at 19:31
• Do you really want to ensure nothing has an inverse? Dec 5 '14 at 20:00
• From all the answers, it seems there are no operations on the reals such that for x,y∈R the operation is x⋅y=f(x,y) where f(x,y) is a some analytically expressible function. $x\cdot y=x$ is not "analytically expressible"? Dec 5 '14 at 20:02
• I don't understand the question you are asking.
– XYZT
Dec 5 '14 at 20:06

How about strictly upper triangular matrices with matrix multiplication? Matrix multiplication is clearly associative and the product of two strictly upper triangular matrices is again strictly upper triangular. There are no inverses since these matrices have nontrivial kernel and there is no identity since the identity matrix is not strictly upper triangular.

• You know, I have no idea what that is. It's not a simple enough example.
– XYZT
Dec 5 '14 at 19:35
• Check out my edit, the second example should be clearer. Dec 5 '14 at 19:39
• Don't upper triangular matrices have the identity matrix as an identity? By definition given here: mathworld.wolfram.com/UpperTriangularMatrix.html
– XYZT
Dec 5 '14 at 19:41
• strictly upper triangular Dec 5 '14 at 19:42
• the identity matrix is not strictly upper triangular Dec 5 '14 at 19:42

Consider the left-identity semigroup. It can be defined on a set $S$ as follows:

for $a,b\in S$ let $a\star b=b$. this algebraic structure is a semigroup but it has no identity (although every element is a left-identity).

• It also does not commute. Dec 5 '14 at 19:36
• That's not an example. It's just a definition.
– XYZT
Dec 5 '14 at 19:36
• Yes, it is a definition of an example. Did you expect something tangible? Dec 5 '14 at 19:39
• Consider the aforementioned example with $S=\{1,2,3\}$ you now have a non-commutative semigroup that is not a monoid and is concrete. Dec 5 '14 at 19:41
• This is one of my favorite examples of a simple weird monoid. Dec 5 '14 at 19:57

Continuous functions with convolution product form an algebraic structure where the product is associative but has no identity.

Given any set $X$ you can give it the following operation $$* \colon X \times X \to X$$ where $x*y=y$ for every pair $x,y \in X$. It's easy to see that this operation is associative but it clearly doesn't have any identity.

• Convolution is commutative. Dec 5 '14 at 22:07
• @Bartek Yeah, but at the time I wrote the answer the OP didn't say anything about commutativity. Dec 6 '14 at 8:28

The set of all square matrices of order $n$ over $2\Bbb Z$ under matrix multiplication is an infinite non commutative semigroup without left or right identities. The same if you consider, instead of $2\Bbb Z$, any other infinite ring without identity, commutative or not. Also, in $2\Bbb Z$ no element is invertible.