In group theory, a branch of abstract algebra, a **no small subgroup** refers to a specific property of groups that have no nontrivial subgroups of a small size compared to the group itself. More formally, a group \( G \) is said to be a "no small subgroup" group if it does not have any nontrivial subgroups whose order is less than a certain threshold relative to the order of \( G \).
New to topics? Read the docs here!