Talk:Empty Group Word is Reduced

From ProofWiki
Jump to navigation Jump to search

Greetings, Prime.mover. Just some little thoughts here. I know that group words are defined as ordered tuple on the set of literals $S^\pm$ of $S$. So technically, each group word is a function $:\N_n^* \to S^\pm$. This definition is of course mathematically rigorous. However, if our motivation for defining these group words are to define free groups, free abelian groups, or other algebraic structures, I don't think this definition is convenient for discussions, and I think that adopting the notation $w = w_1 \cdots w_i \cdots w_n$ is necessary. Therefore, I suggest that maybe we could add a notation section on the page group words so that we could safely use this notation on other pages. --Z423x5c6 (talk) 12:56, 24 June 2020 (EDT)

Whatever it takes to make it understandable. It might be a start to get whatever missing concepts defined. If we can base it on reliable sources (referable hardcopy, but the usual accepted online sources will do) that will go a long way. --prime mover (talk) 15:02, 24 June 2020 (EDT)