Remark
Tag 057W, permanent. Cite it as [Bourbaki, Tag 057W].
Algebra, chapter I, § 3. Actions
Let be a magma with law denoted by . It should be noted that a subset of which is stable under the left action on on itself is not necessarily stable under the right action of on itself; a subset of stable under the left (resp. right) action of on itself is stable under the law on but the converse is not in general true. More precisely, is stable under the law on if and only if whereas is stable under the left (resp. right) action on on itself if and only if (resp. ).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.