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 .
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.
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.
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.
Subgroup analysis refers to repeating the analysis of a study within subgroups of subjects defined by a subgrouping variable. For example: ...
The group G has the congruence subgroup property: a subgroup H has finite index in G if and only if there is a positive integer n such that (). The group G has solvable subgroup membership problem , that is, there is an algorithm that, given arbitrary words w , u 1 , ..., u n decides whether or not w represents an element of the subgroup ...
The rank problem is decidable for finite groups and for finitely generated abelian groups. The rank problem is decidable for finitely generated nilpotent groups. The reason is that for such a group G, the Frattini subgroup of G contains the commutator subgroup of G and hence the rank of G is equal to the rank of the abelianization of G. [14]
This is the problem of groups with a strongly p-embedded 2-local subgroup with p odd, which was handled by Aschbacher. Quasithin groups. A quasithin group is one whose 2-local subgroups have p-rank at most 2 for all odd primes p, and the problem is to classify the simple ones of characteristic 2 type. This was completed by Aschbacher and Smith ...