Oscar_Cunningham comments on Open Thread, April 15-30, 2013 - Less Wrong

4 Post author: diegocaleiro 15 April 2013 07:57PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (459)

You are viewing a single comment's thread. Show more comments above.

Comment author: Oscar_Cunningham 16 April 2013 10:51:39PM *  1 point [-]

We often want the field without zero to form a multiplicative group, and this isn't the case in the ring with one element (because the empty set lacks an identity and hence isn't a group). Indeed we could take the definition of a field to be

A ring such that the non-zero elements form a multiplicative group.

and this is fairly elegant.