すなわち "k"["a"]は多項式環 "k"["x"]の "x" を "a" に写す環準同型 φ による像である。