[improve] explanation of asclcom

Author: zwang123

set.mm

@@ -835225,12 +835225,12 @@ have GLB (expanded version).  (Contributed by Zhi Wang,
       $( Scalars are commutative after being lifted.
 
          However, the scalars themselves are not necessarily commutative if the
-         algebra is not a faithful module.  For example, Let ` B ` be the 2 by
-         2 upper triangular matrix algebra over a commutative ring ` W ` .
-         Define scalar multiplication ` C .x. X ` as multipying the top-left
-         entry, which is a "vector" element in ` W ` , of the "scalar" ` C ` ,
-         which is now an upper triangular matrix, with the "vector" ` X ` in
-         ` W ` .
+         algebra is not a faithful module.  For example, Let ` F ` be the 2 by
+         2 upper triangular matrix algebra over a commutative ring ` W ` .  It
+         is provable that ` F ` is in general non-commutative.  Define scalar
+         multiplication ` C .x. X ` as multipying the top-left entry, which is
+         a "vector" element of ` W ` , of the "scalar" ` C ` , which is now an
+         upper triangular matrix, with the "vector" ` X e. ( Base `` W ) ` .
 
          Equivalently, the algebra scalars function is not necessarily
          injective unless the algebra is faithful.  Therefore, all "scalar