Bourbaki

Example

Tag 055Q, permanent. Cite it as [Bourbaki, Tag 055Q].

Algebra, chapter I, § 1. Laws of composition; associativity; commutativity

(1) Addition and multiplication of natural numbers are commutative laws on N\mathbf{N} (Set Theory, III, § 3, no. 3, Corollary to Proposition 5).

(2) On a lattice the laws sup and inf are commutative; so, in particular, are the laws ∪\cup and ∩\cap between subsets of a set E.

(3) Let E be a set of cardinal >1> 1. The law (f,g)↦f∘g(f, g) \mapsto f \circ g between mappings of E into E is not commutative as is seen by taking f and g to be distinct constant mappings, but the identity mapping is permutable with every mapping.

(4) Let (x,y)↦x⊤y(x, y) \mapsto x \top y be a commutative law on EE; the law

(X,Y)↦X⊤Y (X, Y) \mapsto X \top Y
between subsets of EE is commutative.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed edition, 1998, Springer. Not translated.