Date: Thu, 9 May 2024 | Total: 4
In this article we study some algebraic aspects of multicomplex numbers $\mathbb M_n$. A canonical idempotent representation defined in terms of $n$ multicomplex conjugates is introduced. This representation facilitates computations in this algebra and makes it possible to introduce a generalized conjugacy, i.e. a composition of the $n$ multicomplex conjugates, as well as a multicomplex norm. The ideals of the ring of multicomplex numbers are then studied. Multicomplex free modules and their linear operators are introduced. Finally, we develop multicomplex Hilbert spaces.
New families of algebras and DG algebras with two simple modules are introduced and described. Using the twisted tensor product operation, we prove that such algebras have finite global dimension, and the resulting DG algebras are smooth. This description allows us to show that some of these DG algebras determine smooth proper noncommutative curves that provide smooth minimal noncommutative resolutions for singular rational curves.
The celebrated Wedderburn-Artin theorem states that a simple left artinian ring is isomorphic to the ring of matrices over a division ring. We give a short and self-contained proof which avoids the use of modules.
For every $m,n \in \mathbb{N}$ and every field $K$, let $M(m \times n, K)$ be the vector space of the $(m \times n)$-matrices over $K$ and let $A(n,K)$ be the vector space of the antisymmetric $(n \times n)$-matrices over $K$. Let $r, s \in \N $ with $ s \leq r$. Define $${\cal A}^K(m \times n;s,r)= \left\{ \begin{array}{ll} S \;| & \; S \; \mbox{ affine subspace of $M(m \times n, K)$ such that } & s =\min \{rank(A)| \; A \in S \}, \; r =\max \{rank(A)| \;, A \in S \} \end{array} \right\}$$ $${\cal A}_{antisym}^K(n;s,r)= \left\{ \begin{array}{ll} S \;| & \; S \; \mbox{ affine subspace of $A(n,K)$ such that } & s =\min \{rank(A)| \; A \in S \}, \; r =\max \{rank(A)| \; A \in S \} \end{array} \right\}, $$ $${\cal A}_{echel}^K(m \times n;s,r)= \left\{ \begin{array}{ll} S \;| & \; S \; \mbox{ affine subspace of $M( m \times n,K)$ such that } \\ & A \; \mbox{ is in row echelon form } \forall A \in S & s =\min \{rank(A)| \; A \in S \}, \; r =\max \{rank(A)| \; A \in S \} \end{array} \right\}. $$ In this paper we prove the following formulas: if $|K| \geq r+2$ and the characteristic of $K$ is different from $2$, then $$ \max \{\dim(S) \; |\; S \in {\cal A}^K(m \times n; s,r)\} = r \max \{m,n\} - \binom{s+1}{2}$$ and $$ \max \{\dim(S) \; |\; S \in {\cal A}_{antisym}^K( n; s,r) \} \leq (n-1) \frac{r}{2} - \frac{s^2}{4};$$ if $|K| \geq m+1$, then $$ \max \{\dim(S) \; |\; S \in {\cal A}^K_{echel}(m \times n; r,r) \}= r n - \frac{r(r+1)}{2}.$$