Revision history [back]

Consider a field L containing a subfield F. I would like to look at L as a F vector space without using the command relativise. Is there any way to obtain this.

For example : Let $L.=CyclotomicField(53*52)$, and $F.=CyclotomicField(53)$. I would like to construct a $F$ linear isomorphism $\phi : L \mapsto F^{24}$.

Consider a field L containing a subfield F. I would like to look at L as a F vector space without using the command relativise. Is there any way to obtain this.

For example : Let $L.$$L.=CyclotomicField(53*52)$, =CyclotomicField(53*52)$$, and $F.$$F.=CyclotomicField(53)$. =CyclotomicField(53)$$.

I would like to construct a $F$ linear isomorphism $\phi : L \mapsto F^{24}$. F^{24}$.

Consider a field L containing a subfield F. I would like to look at L as a F vector space without using the command relativise. Is there any way to obtain this.

For example : Let $$L.L.=CyclotomicField(53*52)$$, =CyclotomicField(53*52), and $$F.F.=CyclotomicField(53)$$. =CyclotomicField(53).

Consider a field L containing a subfield F. I would like to look at L as a F vector space without using the command relativise. Is there any way to obtain this.

For example : Let L.=CyclotomicField(53*52), and F.=CyclotomicField(53).