A simple basis of ideal terms of Brouwerian semilattices
An algorithm is given to decompose an automorphism of a finite vector space over ℤ₂ into a product of transvections. The procedure uses partitions of the indexing set of a redundant base. With respect to tents, i.e. finite ℤ₂-representations generated by a redundant base, this is a decomposition into base changes.
We study a class of strongly solvable modes, called differential modes. We characterize abelian algebras in this class and prove that all of them are quasi-affine, i.e., they are subreducts of modules over commutative rings.