In group theory, a branch of mathematics, a subset of a group G is a subgroup of G if the members of that subset form a group with respect to the group operation in G.
In group theory, a branch of mathematics, a subset of a group G is a subgroup of G if the members of that subset form a group with respect to the group operation in G.
Formally, given a group under a binary operation ∗, a subset of is called a subgroup of if also forms a group under the operation ∗. More precisely, is a subgroup of if the restriction of ∗ to is a group operation on . This is often denoted , read as " is a subgroup of ".
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).