Notation: Vector space spanned by all finite polynomials in $x$ and all finite polynomials in $y$ This is a simple question about notation: Given two generators $x,y$ how does one denote the vector space spanned by all finite K-polynomials in $x$ and all finite polynomials in $y$. If I use K**$[x] \oplus$ *K*$[y]$, then I get two copies of **K. I could just quotient *K*$[x] \oplus$ *K*$[y]$ by *K*$[(1,0)-(0,1)]$, but this seems overly involved. Similarily, I could quotient *K*$[x,y]$ by <$xy,yx$>, but this too seems overly involved. Does any have any ideas?
 A: If it is clear from context that you are working in the ambient setting of $k[x,y]$, then you can write $k[x] + k[y]$. Otherwise, I would spell it out in words.
A: I write $K[x]\oplus_K K[y]$; it's easy to understand, symmetric, pleasant, and agrees with category-theoretic convention.
A: K[x]+yK[y] or K[y]+xK[x]                  
A: It's the augemented product of $k[x]$ and $k[y]$. 
Generally, in the category of augemented algebras, the product of $(A,\epsilon_A), (B,\epsilon_B)$ is defined as pullback of $\epsilon_A, \epsilon_B$, i.e. $A*B = \lbrace (a,b)\in A \times B \; | \; \epsilon_A(a) = \epsilon_B(b) \rbrace$ with the obvious induced augmentation. 
A: These answers remind me of this observation involving $0,1$ power series (it can be translated into results about finite sets which tile $\mathbb{N}$ or $\mathbb{N}^2$ by translation but I'll keep it short): 
$\frac{1}{1-x}\frac{1}{1-y}=\frac{1}{1-xy}\left( \frac{1}{1-x}+\frac{1}{1-y}-1\right)=\frac{1}{1-xy}\left( \frac{1}{1-x}+\frac{y}{1-y}\right)=\frac{1}{1-xy}\left(1+ \frac{x}{1-x}+\frac{x}{1-y}\right)$
