olymmath

ALIBABA 2021 Problem 20

    Let M=⨁i∈ZCeiM=\bigoplus_{i \in \mathbb{Z}} \mathbb{C}e_i be an infinite dimensional C\mathbb{C} -vector space, and let End(M)\text{End}(M) denote the C\mathbb{C} -algebra of C\mathbb{C} -linear endomorphisms of MM . Let AA and BB be two commuting elements in End(M)\text{End}(M) satisfying the following condition: there exist integers m≤n<0<p≤qm \le n<0<p \le q satisfying gd(−m,p)=gcd(−n,q)=1\text{gd}(-m,p)=\text{gcd}(-n,q)=1 , and such that for every j∈Zj \in \mathbb{Z} , one has Aej=∑i=j+mj+nai,jei,with ai,j∈C,aj+m,jaj+n,j≠0,Ae_j=\sum_{i=j+m}^{j+n} a_{i,j}e_i, \text{with } a_{i,j} \in \mathbb{C}, a_{j+m,j}a_{j+n,j} \ne 0, Bej=∑i=j+pj+qbi,jei,with bi,j∈C,bj+p,jbj+q,j≠0.Be_j=\sum_{i=j+p}^{j+q} b_{i,j}e_i, \text{with } b_{i,j} \in \mathbb{C}, b_{j+p,j}b_{j+q,j} \ne 0. Let R⊂End(M)R \subset \text{End}(M) be the C\mathbb{C} -subalgebra generated by AA and BB . Note that RR is commutative and MM can be regarded as an RR -module.

    (a) Show that RR is an integral domain and is isomorphic to R≅C[x,y]/f(x,y)R \cong \mathbb{C}[x,y]/f(x,y) , where f(x,y)f(x,y) is a non-zero polynomial such that f(A,B)=0f(A,B)=0 .

    (b) Let KK be the fractional field of RR . Show that M⊗RKM \otimes_R K is a 11 -dimensional vector space over KK .

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator alibaba/2021/p20 · Tag MKQVYBQAA5 · Edit this page on GitHub · Keys: j next, k previous