Related papers: The Wedderburn-Artin Theorem
For an arbitrary left Artinian ring $R$, explicit descriptions are given of all the left denominator sets $S$ of $R$ and left localizations $S^{-1}R$ of $R$. It is proved that, up to $R$-isomorphism, there are only finitely many left…
We prove the Avrunin-Scott theorem for quantum complete intersections; the rank variety of a module is isomorphic to its support variety.
We develop a theory of toric Artin stacks extending the theories of toric Deligne-Mumford stacks developed by Borisov-Chen-Smith, Fantechi-Mann-Nironi, and Iwanari. We also generalize the Chevalley-Shephard-Todd theorem to the case of…
In this paper, we introduce a method computing the primitive decomposition of idempotents of any semisimple finite group algebra based on its matrix representations and Wedderburn decomposition. Particularly, we use this method to calculate…
In this paper we state and prove ad hoc "Separation Theorems" of the so-called Smooth Commutative Algebra, the Commutative Algebra of \(\mathcal{C}^{\infty}-\)rings. These results are formally similar to the ones we find in (ordinary)…
We provide an affirmative answer for the question raised almost twenty years ago concerning the characterization of tilted artin algebras by the existence of a sincere finitely generated module which is not the middle of a short chain.
The Topological Tverberg Theorem claims that any continuous map of a (q-1)(d+1)-simplex to \R^d identifies points from q disjoint faces. (This has been proved for affine maps, for d=1, and if q is a prime power, but not yet in general.) The…
Let $A$ be a ring and $\varphi$ its automorphism. It is proved that skew Laurent series ring $A((x,\varphi ))$ is a right serial ring if and only if $A$ is a right serial right Artinian ring.
A simple Almost-Riemannian Structure on a Lie group G is defined by a linear vector field (that is an infinitesimal automorphism) and dim(G) -- 1 left-invariant ones. It is first proven that two different ARSs are isometric if and only if…
A class of solutions to the WDVV equations is provided by period matrices of hyperelliptic Riemann surfaces, with or without punctures. The equations themselves reflect associativity of explicitly described multiplicative algebra of…
An elementary proof of Bertrand's theorem is given by examining the radial orbit equation, without needing to solve complicated equations or integrals.
This note is intended to give a new proof on Marten's theorem stating that $\dim(\wrd) \leq d-2r$ for any smooth curve with equality occurring exactly in the case when C is hyper-elliptic. The proof follows the general lines of the proof…
A duality theorem of the bounded derived category of quasi-finite comodules over an artinian coalgebra is established. Let $A$ be a noetherian complete basic semiperfect algebra over an algebraically closed field, and $C$ be its dual…
Herbrand's theorem plays an important role both in proof theory and in computer science. Given a Herbrand skeleton, which is basically a number specifying the count of disjunctions of the matrix, we would like to get a computable bound on…
We provide a new proof that the upper nilradical of a compact ring coincides with the sum of its left nil ideals using the properties of orthogonal idempotents in compact rings.
It is proved that, for a left hereditary ring, an arbitrary left module has a representation in the form of the direct sum of a stable left module and indecomposable projective left modules (if and only if an arbitrary left module has a…
Equational Artinian algebras were introduced in our previous work: {\em Equational conditions in universal algebraic geometry, to appear in Algebra and Logic, 2015}. In this note, we define the notion of {\em radical topology with respect…
Auslander conjectured that every Artin algebra satisfies a certain condition on vanishing of cohomology of finitely generated modules. The failure of this conjecture - by a 2003 counterexample due to Jorgensen and Sega - motivates the…
In this note, we define the Burnside ring of a monoid, generalizing the construction for groups. After giving foundational definitions, we characterize transitive M-sets and their automorphisms, then prove a structure theorem for a broad…
The divergence theorem in its usual form applies only to suitably smooth vector fields. For vector fields which are merely piecewise smooth, as is natural at a boundary between regions with different physical properties, one must patch…