Talk:Direct limit of groups