On determinacies of monoids.
Let be a finite group with a dicyclic subgroup . We show that if there exist -connected transversals in , then is a solvable group. We apply this result to loop theory and show that if the inner mapping group of a finite loop is dicyclic, then is a solvable loop. We also discuss a more general solvability criterion in the case where is a certain type of a direct product.
We show that finite commutative inverse property loops may not have nonabelian dihedral 2-groups as their inner mapping group.
A necessary and sufficient condition is given for the direct sum of two -groups to be (quasi-isomorphic to) a -group. A -group is a torsionfree Abelian group that can be realized as the quotient of a finite direct sum of rank 1 groups modulo a pure subgroup of rank 1.
-groups are a class of torsionfree Abelian groups of finite rank, part of the main class of Butler groups. In the paper C. Metelli, On direct sums of -groups, Comment. Math. Univ. Carolinae 34 (1993), 587–591, the problem of direct sums of -groups was discussed, and a necessary and sufficient condition was given for the direct sum of two -groups to be a -group. While sufficiency holds, necessity was wrongly claimed; we solve here the problem, and in the process study a curious hierarchy among...
Let ℳ be an o-minimal expansion of a real closed field. It is known that a definably connected abelian group is divisible. We show that a definably compact definably connected group is divisible.
An elementary proof is given for Hutchinson's duality theorem, which states that if a lattice identity λ holds in all submodule lattices of modules over a ring R with unit element then so does the dual of λ.