BSGS no longer requires g to be invertible