Concept

Group isomorphism problem

Summary
In abstract algebra, the group isomorphism problem is the decision problem of determining whether two given finite group presentations refer to isomorphic groups. The isomorphism problem was formulated by Max Dehn, and together with the word problem and conjugacy problem, is one of three fundamental decision problems in group theory he identified in 1911. All three problems are undecidable: there does not exist a computer algorithm that correctly solves every instance of the isomorphism problem, or of the other two problems, regardless of how much time is allowed for the algorithm to run. In fact the problem of deciding whether a group is trivial is undecidable, a consequence of the Adian–Rabin theorem due to Sergei Adian and Michael O. Rabin.
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related courses (1)
ENG-626: Ma thèse en 180 secondes
The aim of the course is to improve the students communication skills. They will learn to summarize the methodology and conclusions of their thesis in 180 seconds and communicate clearly, accurately,
Related lectures (17)
Isomorphism in Aut(p)
Explores isomorphism between Aut(p) and a Galois covering through topology course notes.
Isomorphism: Order of Group Elements
Explores isomorphism and the order of group elements, emphasizing matching identities and inverses.
Group Theory: Isomorphism and Semi-Direct Product
Covers group theory concepts like isomorphism and semi-direct product through examples and proofs.
Show more
Related publications (1)

Relative Projectivity and Relative Endotrivial Modules

Caroline Lassueur

This dissertation is concerned with modular representation theory of finite groups, and more precisely, with the study of classes of representations, which we shall term relative endotrivial modules. Given a prime number p, a finite group G of order divisi ...
EPFL2012
Related concepts (3)
Word problem for groups
In mathematics, especially in the area of abstract algebra known as combinatorial group theory, the word problem for a finitely generated group G is the algorithmic problem of deciding whether two words in the generators represent the same element. More precisely, if A is a finite set of generators for G then the word problem is the membership problem for the formal language of all words in A and a formal set of inverses that map to the identity under the natural map from the free monoid with involution on A to the group G.
Presentation of a group
In mathematics, a presentation is one method of specifying a group. A presentation of a group G comprises a set S of generators—so that every element of the group can be written as a product of powers of some of these generators—and a set R of relations among those generators. We then say G has presentation Informally, G has the above presentation if it is the "freest group" generated by S subject only to the relations R. Formally, the group G is said to have the above presentation if it is isomorphic to the quotient of a free group on S by the normal subgroup generated by the relations R.
Geometric group theory
Geometric group theory is an area in mathematics devoted to the study of finitely generated groups via exploring the connections between algebraic properties of such groups and topological and geometric properties of spaces on which these groups act (that is, when the groups in question are realized as geometric symmetries or continuous transformations of some spaces). Another important idea in geometric group theory is to consider finitely generated groups themselves as geometric objects.