If Y is a topological group, is C(X,Y) in the compact-open topology necessarily a topological group? If not, is there some property of X which will guarantee it?