My Math Forum  

Go Back   My Math Forum > College Math Forum > Abstract Algebra

Abstract Algebra Abstract Algebra Math Forum

LinkBack Thread Tools Display Modes
November 23rd, 2011, 04:29 PM   #1
Joined: Nov 2011

Posts: 1
Thanks: 0

Functoriality of taking the Automorphism group.

I've been stuck on a single problem for quite a while now, it is part of a problem set which serves as an introduction to category theory, for a course on cohomology and the likes. The question is:

"Does forming the automorphism group induce a functor on the category of groups?"

My intuition tells me no, but I am unable to prove this. My knowledge of group theory has proven insufficient to construct a counterexample. I have tried some rather elaborate constructions to prove that no such functor exists, but my knowledge of category theory too is insufficient to apply it in a proof. We have only been given the definitions of category and functor, both covariant and contravariant. A short sketch of my 'most succesful' attempt to a proof so far is the following:

(Overly tedious parts of the proof have been left out, marked by *.)
Assume that there exists a functor such that for all .
Let be the subcategory* of of groups having no outer automorphisms. More concisely, the groups satisfying , where is the center of . Then the restriction of to is again a functor*, which is equivalent* to a functor satisfying for all .

I am able to prove that no functor satisfying exists on , by considering the images of the groups and and their natural injection and projection. Now I would think that the fact that taking is not functorial implies that taking is not functorial, but I am unable to prove this. This would of course conclude the proof almost immediately.

Regardless of the 'effectiveness' of this attempt to a proof, can anyone help me solve this problem? Either by informing me of a lovely property of functors that I am unaware of, or by giving me a (hint to) a counterexample, like the pair and are for taking . Or of course in any other way you see fit.

Thanks in advance,
Archykhain is offline  

  My Math Forum > College Math Forum > Abstract Algebra

automorphism, functoriality, group, taking

Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
Automorphism on Q(sqrt2) Sandra93 Abstract Algebra 7 November 27th, 2013 03:40 AM
automorphism simplekolor Abstract Algebra 2 February 10th, 2013 08:14 PM
inner automorphism illusion Abstract Algebra 1 December 7th, 2007 07:52 AM
automorphism stf123 Abstract Algebra 1 October 9th, 2007 07:35 PM
Automorphism WananoMath Abstract Algebra 1 December 5th, 2006 12:08 AM

Copyright © 2019 My Math Forum. All rights reserved.