“with applications to finite groups and orders”