### BERGMAN under MS-DOS and Anick's resolution.

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

An interesting topic in the ring theory is the classification of finite rings. Although rings of certain orders have already been classified, a full description of all rings of a given order remains unknown. The purpose of this paper is to classify all finite rings (up to isomorphism) of a given order. In doing so, we introduce a new concept of quasi basis for certain type of modules, which is a useful computational tool for dealing with finite rings. Then, using this concept, we give structure...

We develop a new combinatorial method to deal with a degree estimate for subalgebras generated by two elements in different environments. We obtain a lower bound for the degree of the elements in two-generated subalgebras of a free associative algebra over a field of zero characteristic. We also reproduce a somewhat refined degree estimate of Shestakov and Umirbaev for the polynomial algebra, which plays an essential role in the recent celebrated solution of the Nagata conjecture and the strong...

First, we provide an introduction to the theory and algorithms for noncommutative Gröbner bases for ideals in free associative algebras. Second, we explain how to construct universal associative envelopes for nonassociative structures defined by multilinear operations. Third, we extend the work of Elgendy (2012) for nonassociative structures on the 2-dimensional simple associative triple system to the 4- and 6-dimensional systems.

Let $A=K[{a}_{1},...,{a}_{n}]$ be a (noncommutative) solvable polynomial algebra over a field $K$ in the sense of A. Kandri-Rody and V. Weispfenning [Non-commutative Gröbner bases in algebras of solvable type, J. Symbolic Comput. 9 (1990), 1–26]. This paper presents a comprehensive study on the computation of minimal free resolutions of modules over $A$ in the following two cases: (1) $A={\u2a01}_{p\in \mathbb{N}}{A}_{p}$ is an $\mathbb{N}$-graded algebra with the degree-0 homogeneous part ${A}_{0}=K$; (2) $A$ is an $\mathbb{N}$-filtered algebra with the filtration ${\left\{{F}_{p}A\right\}}_{p\in \mathbb{N}}$ determined by a positive-degree...

This is a survey paper on applications of the representation theory of the symmetric group to the theory of polynomial identities for associative and nonassociative algebras. In §1, we present a detailed review (with complete proofs) of the classical structure theory of the group algebra $\mathbb{F}{S}_{n}$ of the symmetric group ${S}_{n}$ over a field $\mathbb{F}$ of characteristic 0 (or $p>n$). The goal is to obtain a constructive version of the isomorphism $\psi :{\u2a01}_{\lambda}{M}_{{d}_{\lambda}}\left(\mathbb{F}\right)\u27f6\mathbb{F}{S}_{n}$ where $\lambda $ is a partition of $n$ and ${d}_{\lambda}$ counts the standard tableaux of shape $\lambda $....

Given a module M over a domestic canonical algebra Λ and a classifying set X for the indecomposable Λ-modules, the problem of determining the vector $m\left(M\right)={\left({m}_{x}\right)}_{x\in X}\in {\mathbb{N}}^{X}$ such that $M\cong {\u2a01}_{x\in X}{X}_{x}^{{m}_{x}}$ is studied. A precise formula for $di{m}_{k}Ho{m}_{\Lambda}(M,X)$, for any postprojective indecomposable module X, is computed in Theorem 2.3, and interrelations between various structures on the set of all postprojective roots are described in Theorem 2.4. It is proved in Theorem 2.2 that a general method of finding vectors m(M) presented by the authors in Colloq....

Given a module M over an algebra Λ and a complete set of pairwise nonisomorphic indecomposable Λ-modules, the problem of determining the vector $m\left(M\right)={\left({m}_{X}\right)}_{X\in}\in {\mathbb{N}}^{}$ such that $M\cong {\u2a01}_{X\in}{X}^{{m}_{X}}$ is studied. A general method of finding the vectors m(M) is presented (Corollary 2.1, Theorem 2.2 and Corollary 2.3). It is discussed and applied in practice for two classes of algebras: string algebras of finite representation type and hereditary algebras of type ${\u0303}_{p,q}$. In the second case detailed algorithms are given (Algorithms 4.5 and 5.5).