Talk:Automorphism Group of Complex Numbers over Real Numbers

From ProofWiki
Jump to navigation Jump to search

Why $\set {\operatorname{id}, \sigma}$ and not $\struct {\operatorname{id}, \sigma}$?

Clearly the terminology needs to be clarified (and the supporting material expanded and completed) but if the entity "automorphism group" is a "subgroup" of another groupy sort of thingy, then it merits the $\struct {\cdot}$ notation over $\set {\cdot}$? --prime mover (talk) 15:45, 26 September 2018 (EDT)

It is a group of mappings, and this is currently denoted as the underlying set. In overly formal notation we would write $\struct{ \set{\operatorname{id},\sigma}, \circ}$. — Lord_Farin (talk) 16:56, 26 September 2018 (EDT)
Aha okay, I'd prefer we went with the "overly formal" myself, as this makes it more accessible to those with a less well rounded education. --prime mover (talk) 17:11, 26 September 2018 (EDT)