The topology of the free topological semigroup
We show that for percolation on any transitive graph, the triangle condition implies the open triangle condition.
A natural loop structure is defined on the set of unimodular upper-triangular matrices over a given field. Inner mappings of the loop are computed. It is shown that the loop is non-associative and nilpotent, of class 3. A detailed listing of the loop conjugacy classes is presented. In particular, one of the loop conjugacy classes is shown to be properly contained in a superclass of the corresponding algebra group.