Search results
Results from the WOW.Com Content Network
The hidden subgroup problem (HSP) is a topic of research in mathematics and theoretical computer science. The framework captures problems such as factoring , discrete logarithm , graph isomorphism , and the shortest vector problem .
For example, the subgroup Z 7 of the non-abelian group of order 21 is normal (see List of small non-abelian groups and Frobenius group#Examples). An alternative proof of the result that a subgroup of index lowest prime p is normal, and other properties of subgroups of prime index are given in .
A core-free subgroup is a subgroup whose normal core is the trivial subgroup. Equivalently, it is a subgroup that occurs as the isotropy subgroup of a transitive, faithful group action. The solution for the hidden subgroup problem in the abelian case generalizes to finding the normal core in case of subgroups of arbitrary groups.
Note that 3 is a factor of 6.) The number of such polynomials is the index in the symmetric group S n of the subgroup H of permutations that preserve the polynomial. (For the example of x + y − z, the subgroup H in S 3 contains the identity and the transposition (x y).) So the size of H divides n!. With the later development of abstract ...
A proper subgroup of a group G is a subgroup H which is a proper subset of G (that is, H ≠ G). This is often represented notationally by H < G, read as "H is a proper subgroup of G". Some authors also exclude the trivial group from being proper (that is, H ≠ {e} ). [2] [3] If H is a subgroup of G, then G is sometimes called an overgroup of H.
The problem of finding a Sylow subgroup of a given group is an important problem in computational group theory. One proof of the existence of Sylow p-subgroups is constructive: if H is a p-subgroup of G and the index [G:H] is divisible by p, then the normalizer N = N G (H) of H in G is also such that [N : H] is divisible by p.
One of the non-abelian groups is the semidirect product of a normal cyclic subgroup of order p 2 by a cyclic group of order p. The other is the quaternion group for p = 2 and a group of exponent p for p > 2. Order p 4: The classification is complicated, and gets much harder as the exponent of p increases.
In mathematics, the term maximal subgroup is used to mean slightly different things in different areas of algebra. In group theory, a maximal subgroup H of a group G is a proper subgroup, such that no proper subgroup K contains H strictly. In other words, H is a maximal element of the partially ordered set of subgroups of G that are not equal to G.