La tercera condición implica que ba =ab, es decir que b no conmuta con a.