Find the dimension of

Printable View

- Mar 16th 2011, 04:59 PMhurle32Dimension of Factor Ring
Find the dimension of

- Mar 16th 2011, 11:58 PMNonCommAlg
if by "dimension" you mean dimension as a vector space over , the answer is . this is easy to see: put and and let be the ideal of which is generated by and . show that and conclude that is an -basis for your ring.

- Mar 17th 2011, 12:16 AMhurle32
I get everything up to the last conclusion: why does imply that is a basis?

Thanks! - Mar 17th 2011, 12:35 AMNonCommAlg
and so every element of your ring is in the form , for some also, since , we have , for some so generates your ring. it is obvious that the set is -linearly independent.