Bourbaki

Remark

Tag 057W, permanent. Cite it as [Bourbaki, Tag 057W].

Algebra, chapter I, § 3. Actions

Let EE be a magma with law denoted by τ\tau. It should be noted that a subset AA of EE which is stable under the left action on EE on itself is not necessarily stable under the right action of EE on itself; a subset AA of EE stable under the left (resp. right) action of EE on itself is stable under the law on EE but the converse is not in general true. More precisely, AA is stable under the law on EE if and only if AτA⊂AA \tau A \subset A whereas AA is stable under the left (resp. right) action on EE on itself if and only if EτA⊂AE \tau A \subset A (resp. AτE⊂AA \tau E \subset A).

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

Cited by

Nothing.

Cites

Nothing.

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