Related papers: Constructive basic theory of central simple algebr…

H. Furstenberg introduced the notion of central set in terms of topological dynamics and established the central set theorem. The essence of central set theorem is that it is the simultaneous extension of van der Waerden's theorem and…

Ufnarovski remarked in 1990 that it is unknown whether any finitely presented associative algebra of linear growth is automaton, that is, whether the set of normal words in the algebra form a regular language. If the algebra is graded, then…

Slicing a module into semisimple ones is useful to study modules. Loewy structures provide a means of doing so. To establish the Loewy structures of projective modules over a finite dimensional symmetric algebra over a field $F$, the…

The coprimary filtration is a basic construction in commutative algebra. In this article, we prove the existence and uniqueness of coprimary filtration of modules (not necessarily finitely generated) over a Noetherian ring. Moreover, we…

We completely characterize point--line configurations with $\Theta(n^{4/3})$ incidences when the point set is a section of the integer lattice. This can be seen as the main special case of the structural Szemer\'edi-Trotter problem. We also…

A generalization of the semisimplicity concept for polyadic algebraic structures is proposed. If semisimple structures can be presented in block diagonal matrix form (resulting in the Wedderburn decomposition), a general form of polyadic…

In previous work, the authors established a generalized version of Schmidt's subspace theorem for closed subschemes in general position in terms of Seshadri constants. We extend our theorem to weighted sums involving closed subschemes in…

Given a direct sum $A$ of full matrix algebras, if there is a combinatorial interpretation associated with both the dimension of $A$ and the dimensions of the irreducible $A$-modules, then this can be thought of as providing an analogue of…

$S$-matrices associated to the vector representations of the quantum groups for the classical Lie algebras are constructed. For the $a_{m-1}$ and $c_m$ algebras the complete $S$-matrix is found by an application of the bootstrap equations.…

We prove the long-standing conjecture on the coset construction of the minimal series principal $W$-algebras of $ADE$ types in full generality. We do this by first establishing Feigin's conjecture on the coset realization of the universal…

We give a constructive proof of the classical Cauchy-Kovalevskaya theorem in the ODE setting which provides a sufficient condition for an initial value problem to have a unique analytic solution. Our proof is inspired by a modern functional…

We prove Cuntz-Krieger and graded uniqueness theorems for Steinberg algebras. We also show that a Steinberg algebra is basically simple if and only if its associated groupoid is both effective and minimal. Finally we use results of…

Using combinatorial properties of complex reflection groups, we show that the generalised Calogero-Moser space associated to the centre of the corresponding rational Cherednik algebra is singular for all values of its deformation parameter…

In constructive algebra one cannot in general decide the irreducibility of a polynomial over a field K. This poses some problems to showing the existence of the algebraic closure of K. We give a possible constructive interpretation of the…

We say that an $R$-module $M$ is {\it virtually simple} if $M\neq (0)$ and $N\cong M$ for every non-zero submodule $N$ of $M$, and {\it virtually semisimple} if each submodule of $M$ is isomorphic to a direct summand of $M$. We carry out a…

The Weitzenboeck theorem states that the algebra of constants of a linear locally nilpotent derivation of the polynomial algebra K[Z]=K[z_1,...,z_m] in m variables over a field K of characteristic 0 is finitely generated. If m=2n and the…

We prove Bergman's theorem on centralizers by using generic matrices and Kontsevich's quantization method. For any field $\textbf{k} $ of positive characteristics, set $A=\textbf{k} \langle x_1,\dots,x_s\rangle$ be a free associative…

We establish an analogue of the fundamental theorem of algebra for polynomial matrix equations, in which the matrices-coefficients and unknown matrix are assumed to be circulant matrices.

We consider finite dimensional Jordan superalgebras $\jor$ over an algebraically closed field of characteristic 0, with solvable radical $\rad$ such that $\radd=0$ and $\jor/\rad$ is a simple Jordan superalgebra of one of the following…

In this paper, we use the idempotent decomposition to give an explicit isomorphism from an arbitrary semisimple Artinian ring to an external direct sum of finitely many full matrix rings over division rings.