Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
0 answers
166 views

Is there any good methods for writing down basis for laws of groups?

I am wondering if there is a good method to write down a finite equational basis for a finite group. Especially I am wondering if there is a good method in following situations: We can write a group ...
Todor Antic's user avatar
6 votes
3 answers
872 views

An element $g$ in a group such that neither $g=1$ nor $g\ne 1$ can be proved.

Edited (this question contains two versions of a similar question) Is there some finitely presented group $G$ generated by $g_1,...,g_n$ such that there is an element $g\in G$ expressed as a finite ...
aglearner's user avatar
  • 14.3k
8 votes
1 answer
338 views

How bad can the recursive properties of finitely presented groups be?

Any finitely presented group naturally gives rise to an edge-labeled graph (the Cayley graph) and I am considering paths through this graph. Paths correspond to infinite sequences of generators, so ...
Aubrey da Cunha's user avatar