# Tagged Questions

176 views

### Describing the Wreath product categorically.

The Details: Let's have a recap of some definitions (taken from "Nine Chapters in the Semigroup Art" (pdf), by A. J. Cain). Definition 1: Let $P$ be a semigroup. The left action of $P$ on a set ...
48 views

### If direct limits of matrices are isomorphic, is the direct limit of the transpose matrices also isomorphic?

On the one hand, the following conjecture seems reasonable, but on the other hand it doesn't seem natural because some objects are being dualised while others are not. I would appreciate if anyone ...
138 views

### Different ways of constructing the free group over a set.

This could be too broad if we're not careful. I'm sorry if it ends up that way. Let's put together a list of different constructions of the free group $F_X$ over a given set $X$. It seems to be ...
93 views

### Category theory for graph theory research

I am doing research in algebraic graph theory, focusing on the relation between graphs and groups (especially the representing groups as graphs) for my Ph.D. In particular, one of the ideas is to ...
69 views

### Center of the categories $\mathbf{Grp}$ and $\mathbf{Ab}$.

This is Exercise II.5.8 from Mac Lane, Categories for the Working Mathematician. For the identity functor $I_C$ of any category, the natural transformations $\alpha:I_C\dot{\to}I_C$ form a ...
58 views

### Abelization of symmetric groups and its subgroups of bounded support

For $X$ a finite set one can show easily that the abelization of the symmetric group on $X$ is given by the group of order $2$ and that the commutator subgroup of $\operatorname{Sym}X$ is given by the ...
158 views

### Does it factor through?

Let $f:F\to G$ and $g:F\to H$ be group homomorphism between groups. If $\ker f \subset \ker g$ then does there exists $h:G\to H$ such that $hf = g$? I know the the above is true for vector spaces by ...
74 views

### Is possible to define the parity by a universal property?

Consider the parity homomorphism of the symmetric group $$p:S_n\to Z/(2).$$ Is it possible to characterise this map by a pure universal property? This question occurred to me when I was reading ...
96 views

220 views

### Can we rediscover the category of finite (abelian) groups from its morphisms?

It was a question on stackexchange approximately a month ago if in the category $(grp)^{fin}$ $|Hom(H,G_1)|= |Hom(H,G_2)|$ for all $H \Rightarrow G_1 \cong G_2$. Link to the previous question. So ...
77 views

### How general are $\mathrm{Aut}$ groups and $\mathrm{End}$ rings?

For any locally small category $X$ and object $A\in X$ the set $\mathrm{Aut}_X(A)$ is a group w.r.t. composition $\circ$. For any locally small abelian category $X$ and object $A\in X$ the set ...
109 views

79 views

### Linear structure on the category of formal groups

Let $R$ be a commutative ring. If $R$ is a $\mathbb{Q}$-algebra, then the category of formal groups over $R$ (or the category of formal group laws) carries the structure of an $R$-linear category; ...
149 views

### Taking the automorphism group of a group is not functorial.

Once upon a time I proved that there is no functorial 'association' $$F:\ \mathbf{Grp}\ \longrightarrow\ \mathbf{Grp}:\ G\ \longmapsto\ \operatorname{Aut}(G).$$ A few days ago I casually mentioned ...
133 views

178 views

### Kernels in $\mathbf{Top}$

There is a following well-known theorem for abelian categories (at least the ones I know, Ab, $R$-mod and so on... not so familiar with categorical language to be honest) which states the following : ...
97 views

### Understanding Basic Categorical Duality with an Example from Group Theory

I am trying to understand the concept of duality in category theory, but I am having a problem, well illustrated by the following situation. Let $H$ be any nontrivial subgroup of the alternating ...
78 views

### pullback square of factor groups

Let H and K be normal subgroup of a group G. The following square is always a pullback square? \begin {matrix} G/H\cap K\rightarrow &G/K\\ \downarrow&\downarrow\\ G/H\rightarrow&G/HK\\ ...