Concept

Group isomorphism problem

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.

Official source

https://en.wikipedia.org/wiki/Group_isomorphism_problem

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 (19)

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.

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 (2)

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.