简单图范畴与群范畴之间的一对伴随函子

A Pair of Adjoint Functors Between the Category of Simple Graphs and the Category of Groups

基于群中元素的交换性,构造了一个函子G:groups→s-graphs,并且构造了其反向函子F:s-graphs→groups,证明了F恰是G的伴随函子.

In this paper, we construct a functor G：Groups→s -Graphs ,based on the commutativity of the elements of a group, and we also construct a functor F：s -Graphs→Groups ,and prove that F and G is a pair of adjoint functors.