谁引入了置换群的同构

伽罗瓦还引入了置换群的同构、正规子群等重要概念。应当指出，A.-L.柯西早在1815年就发表了有关置换群的第一篇论文，并在1844～1846年间对置换群又做了很多工作。至于置换群的系统知识和伽罗瓦用于方程理论的研究，由于伽罗瓦的原稿是他在决斗致死前夕赶写成的，直到后来才在C.若尔当的名著“置换和代数方程专论”中得到很好的介绍和进一步的发展。置换群是最终产生和形成抽象群的第一个最主要的来源。

在数论中，拉格朗日和C.F.高斯研究过由具有同一判别式D的二次型类，即f=ax^2+2bxy+cy^2，其中a、b、с为整数，x、y 取整数值，且D=b^2-aс为固定值，对于两个型的"复合"乘法，构成一个交换群。J.W.R.戴德金于1858年和L.克罗内克于1870年在其代数数论的研究中也引进了有限交换群以至有限群。这些是导致抽象群论产生的第二个主要来源。

端口与名称服务(naming service)

通过上面现实世界类比的例子, 对于端口的机制, 相信你已经理解得比较深入了. 广义上讲, 端口层也可以视作一个 naming service(名称服务), 这与比如 spring cloud 中的 eureka 里的机制本质上是一样的, 只是这个 name 就是一个抽象的数字, 比如 80. 80 就代表了一个 web 服务, Nginx 之类的 web server 绑定并监听就相当于把自身提供的 web 服务注册于其上.

DNS 域名系统其实也是 naming service, 你通过 xiaogd.net 这个名字(name), 就能获取到我所提供给你的网页服务.

类似的还有 java 里的 JNDI 等, 把一个名字与一个服务关联起来, 比如一个名字就代表一个数据源(数据库连接)之类的