Talk:Brandt semigroup

Correction
"Then, it can be shown that every 0-simple semigroup is of the form..."

Should be completely 0-simple semigroup.