Das, BireswarBireswarDasThakkar, DharaDharaThakkar2025-08-312025-08-312024-06-10[9798400703836]10.1145/3618260.36496412-s2.0-85196649173https://d8.irins.org/handle/IITG2025/28879Cayley's theorem says that every finite group G can be viewed as a subgroup of a symmetric group S<inf>m</inf> for some integer m. The minimal faithful permutation degree μ(G) of a finite group G is the smallest integer m such that there is an injective homomorphism φ from G to S<inf>m</inf>. The main result of this paper is a randomized polynomial time algorithm for computing the minimal faithful permutation degree of semisimple permutation groups. Semisimple groups are groups without any abelian normal subgroups. Apart from this, we show that: 1. For any primitive permutation group G, μ(G) can be computed in quasi-polynomial time. 2. Given a permutation group G and an integer k, the problem of deciding if μ(G) ≤ k is in NP. 3. For a group G given by its Cayley table, μ(G) can be computed in DSPACE(log<sup>3</sup> |G|).trueComputational Group Theory | Minimal Faithful Permutation Representation | Permutation Group Algorithms | Semisimple GroupsThe Minimal Faithful Permutation Degree of Groups without Abelian Normal SubgroupsConference Paper118-12910 June 20240cpConference Proceeding0