Constructing Maximal Commutative Subalgebras of Matrix Rings in Small Dimensions

From MaRDI portal





Let \(k\) denote an algebraically closed field of arbitrary characteristic. Let \(\mathcal L\) denote the set of all commutative, finite dimensional, local \(k\)-algebras of the form \((B,m,k)\). A \(k\)-algebra \((R,J,k)\in{\mathcal L}\) is called a \(C_1\)-construction if there exists \((B,m,k)\in{\mathcal L}\cup\{(k,(0),k)\}\) and a finitely generated, faithful \(B\)-module \(N\) such that \(R\cong\ltimes N\) (the idealization of \(N\)). \((R,J,k)\) is called a \(C_2\)-construction if there exist a \((B,m,k)\in{\mathcal L}\), a positive integer \(p\geq 2\) and a nonzero \(z\in S_B\) (the socle of \(B\)) such that \(R\approx B[x]/(mX,X^p-z)\). Let \(M_{n\times n}(k)\) denote the set of all \(n\times n\) matrices over \(k\) with \(n\geq 2\). Let \(M_n(k)\) denote the set of all maximal, commutative \(k\) subalgebras of \(M_{n\times n}(k)\). In this paper, the author shows any \((R,J,k)\in{\mathcal L}\cap M_n(k)\) with \(n\geq 5\) is a \(C_1\) or \(C_2\)-construction except for one isomorphism class. Main theorems are in Section 3 and 4. There are seven theorems and two examples in Section 3: Some General Results. There are two theorems and examples in Section 4: Local Algebras in \(M_4(k)\) and \(M_5(k)\).











This page was built for publication: Constructing Maximal Commutative Subalgebras of Matrix Rings in Small Dimensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4384688)