Definition:Embedding into Polynomial Ring