From Artin's(adsbygoogle = window.adsbygoogle || []).push({}); Algebra: "Prove that the set ##\operatorname{Aut}(G)## of automorphisms of a group ##G## forms a group, the law of composition being composition of functions."

Of course, we could go through and prove that the four group axioms in the standard definition of a group hold for ##\operatorname{Aut}(G)##. However, I'm lazy and like to do things a little more elegantly.

Suppose we define a group as a category with one object such that all its morphisms are automorphisms. Doesn't the proof follow trivially from this (id est, taking the set of the group as the only object in a category...)?

This is a good lead-in to another, related question: how often is category theory likely to simplify algebraic proofs like this? I was only recently introduced to category theory, and I'm going back through algebra to see if it simplifies things considerably. In other words, how often do situations like the above happen?

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Lazy Group Proofs and Efficiently Using Categories

Loading...

Similar Threads - Lazy Group Proofs | Date |
---|---|

I Lorentz Group | Wednesday at 6:29 PM |

A Why a Lie Group is closed in GL(n,C)? | Feb 12, 2018 |

A Example of how a rotation matrix preserves symmetry of PDE | Feb 10, 2018 |

A Tensor symmetries and the symmetric groups | Feb 9, 2018 |

A Is the proof of these results correct? | Jan 29, 2018 |

**Physics Forums - The Fusion of Science and Community**