What is meant by $\langle X_1,...,X_n\rangle$ in algebra? I tried searching what the definition of the set $\langle X_1,...,X_n\rangle$ in Algebra but came up with nothing. As an example of use, the task is to prove that this set is an ideal and equal to $\ker(F)$, $F$ being the zero argument function from $R[X_1,...,X_n]\rightarrow R$.
 A: There are different but related meanings of $\langle X_1,\ldots,X_n\rangle$ in algebra.

*

*The first one is the smallest ideal containing $X_1,\ldots,X_n$, which, when inside a ring, is generated by all the sums of products of the elements $X_1,\ldots,X_n$ with other elements of the ring (i.e., $\langle X_1,\ldots,X_n\rangle=RX_1R+\cdots+RX_nR$ when $R$ is a unital ring).


*But you can be also inside another structure different from a ring, for example inside a monoid, in which case the ideal $\langle X_1,\ldots,X_n\rangle$ is formed just by all the products having some element $X_1,\ldots,X_n$ as a factor.


*In relation to this, you also encounter this notation meaning that the $X_1,\ldots,X_n$ are free variables and $\langle X_1,\ldots,X_n\rangle$ is the free monoid on those variables, meaning the monoid formed by products of the variables (i.e., words on them and their compositions), with no other relations imposed whatsoever.


*In addition, you can also see the notation in $C\langle X_1,\ldots,X_n\rangle$, for $C$ a commutative ring, meaning the free associative algebra over $C$, which is formed by first taking the free monoid on $X_1,\ldots,X_n$ (i.e., forming monomials via products) and then taking all the $C$-linear combinations of elements of the monoid (i.e., forming polynomials via sums). There are no relations imposed on the algebra, other than those of being associative. In particular, the free algebra is not commutative: the commutative free associative algebra on $X_1,\ldots,X_n$ is denoted as $C[X_1,\ldots,X_n]$ and is the ring of polynomials (here $[X_1,\ldots,X_n]$ stands for the free commutative monoid on $X_1,\ldots,X_n$).
A: In ring theory, angle brackets are usually used to denote the ideal generated by $X_1, X_2,\ldots$ inside the ring that $X_1, X_2,\ldots$ comes from. In that case it would be silly to prove it is an ideal: it's an ideal by definition.
It looks more like the task is to show that the kernel of the evaluation homomorphism that evaluates polynomials at $0$ is equal to the ideal generated by these elements. Surely you can prove they mutually contain each other, and then you're already done.
