Nuestro trabajo tiene como objetivo principal, establecer condiciones para obtener una forma canónica para los elementos de un anillo, semigrupo o estructura algebraica similar. Esto se obtiene a través del resultado principal, el Teorema 3.10 (El Lema del Diamante de Bergman), con aplicaciones.