Finiteness of basis of identities of a finitely generated alternative PI-algebra over a field of characteristic zero

1992 ◽  
Vol 32 (6) ◽  
pp. 948-961 ◽  
Author(s):  
A. V. Il'tyakov
2009 ◽  
Vol 19 (03) ◽  
pp. 287-303 ◽  
Author(s):  
ISABEL GOFFA ◽  
ERIC JESPERS ◽  
JAN OKNIŃSKI

Let A be a finitely generated commutative algebra over a field K with a presentation A = K 〈X1,…, Xn | R〉, where R is a set of monomial relations in the generators X1,…, Xn. So A = K[S], the semigroup algebra of the monoid S = 〈X1,…, Xn | R〉. We characterize, purely in terms of the defining relations, when A is an integrally closed domain, provided R contains at most two relations. Also the class group of such algebras A is calculated.


2010 ◽  
Vol 06 (03) ◽  
pp. 579-586 ◽  
Author(s):  
ARNO FEHM ◽  
SEBASTIAN PETERSEN

A field K is called ample if every smooth K-curve that has a K-rational point has infinitely many of them. We prove two theorems to support the following conjecture, which is inspired by classical infinite rank results: Every non-zero Abelian variety A over an ample field K which is not algebraic over a finite field has infinite rank. First, the ℤ(p)-module A(K) ⊗ ℤ(p) is not finitely generated, where p is the characteristic of K. In particular, the conjecture holds for fields of characteristic zero. Second, if K is an infinite finitely generated field and S is a finite set of local primes of K, then every Abelian variety over K acquires infinite rank over certain subfields of the maximal totally S-adic Galois extension of K. This strengthens a recent infinite rank result of Geyer and Jarden.


2009 ◽  
Vol 86 (1) ◽  
pp. 1-15 ◽  
Author(s):  
JONATHAN BROWN ◽  
JONATHAN BRUNDAN

AbstractWe construct an explicit set of algebraically independent generators for the center of the universal enveloping algebra of the centralizer of a nilpotent matrix in the general linear Lie algebra over a field of characteristic zero. In particular, this gives a new proof of the freeness of the center, a result first proved by Panyushev, Premet and Yakimova.


1982 ◽  
Vol 25 (3) ◽  
pp. 237-243 ◽  
Author(s):  
B. A. F. Wehrfritz

If F is a (commutative) field let denote the class of all groups G such that every irreducible FG-module has finite dimension over F. The introduction to [7] contains motivation for considering these classes and surveys some of the results to date concerning them. In [7] for every field F we determined the finitely generated soluble groups in . Here, for fields F of characteristic zero, we determine, at least in principle, the soluble groups in . Our main result is the following.


2019 ◽  
Vol 71 (1) ◽  
pp. 53-71
Author(s):  
Peter Mayr ◽  
Nik Ruškuc

Abstract Let $K$ be a commutative Noetherian ring with identity, let $A$ be a $K$-algebra and let $B$ be a subalgebra of $A$ such that $A/B$ is finitely generated as a $K$-module. The main result of the paper is that $A$ is finitely presented (resp. finitely generated) if and only if $B$ is finitely presented (resp. finitely generated). As corollaries, we obtain: a subring of finite index in a finitely presented ring is finitely presented; a subalgebra of finite co-dimension in a finitely presented algebra over a field is finitely presented (already shown by Voden in 2009). We also discuss the role of the Noetherian assumption on $K$ and show that for finite generation it can be replaced by a weaker condition that the module $A/B$ be finitely presented. Finally, we demonstrate that the results do not readily extend to non-associative algebras, by exhibiting an ideal of co-dimension $1$ of the free Lie algebra of rank 2 which is not finitely generated as a Lie algebra.


2014 ◽  
Vol 215 ◽  
pp. 169-201 ◽  
Author(s):  
Luis Núñez-Betancourt ◽  
Emily E. Witt

AbstractGiven a local ring containing a field, we define and investigate a family of invariants that includes the Lyubeznik numbers but captures finer information. These generalized Lyubeznik numbers are defined in terms of D-modules and are proved well defined using a generalization of the classical version of Kashiwara’s equivalence for smooth varieties; we also give a definition for finitely generated K-algebras. These new invariants are indicators of F-singularities in characteristic p > 0 and have close connections with characteristic cycle multiplicities in characteristic zero. We characterize the generalized Lyubeznik numbers associated to monomial ideals and compute examples of those associated to determinantal ideals.


2016 ◽  
Vol 26 (02) ◽  
pp. 435-450 ◽  
Author(s):  
Daniyar Kozybaev ◽  
Ualbai Umirbaev

Let [Formula: see text] be the polynomial algebra over a field [Formula: see text] of characteristic zero in the variables [Formula: see text] and [Formula: see text] be the left-symmetric Witt algebra of all derivations of [Formula: see text] [D. Burde, Left-symmetric algebras, or pre-Lie algebras in geometry and physics, Cent. Eur. J. Math. 4(3) (2006) 323–357]. We describe all right operator identities of [Formula: see text] and prove that the set of all algebras [Formula: see text], where [Formula: see text], generates the variety of all left-symmetric algebras. We also describe a class of general (not only right operator) identities for [Formula: see text].


Author(s):  
L. W. Small ◽  
J. T. Stafford ◽  
R. B. Warfield

The aim of this paper is to prove:Theorem.Let R be an affine (finitely generated) algebra over a field k and of Gelfand-Kirillov dimension one. Then R satisfies a polynomial identity. Consequently, if N is the prime radical of R, then N is nilpotent and R/N is a finite module over its Noetherian centre.


2009 ◽  
Vol 104 (2) ◽  
pp. 205 ◽  
Author(s):  
Kohji Yanagawa

Let $A = \bigoplus_{i\in \mathsf{N}}A_i$ be a Koszul algebra over a field $K = A_0$, and $*\operatorname{mod} A$ the category of finitely generated graded left $A$-modules. The linearity defect $\mathrm{ld}_A(M)$ of $M \in *\operatorname{mod} A$ is an invariant defined by Herzog and Iyengar. An exterior algebra $E$ is a Koszul algebra which is the Koszul dual of a polynomial ring. Eisenbud et al. showed that $\mathrm{ld}_E(M) < \infty$ for all $M \in *\operatorname{mod} E$. Improving this, we show that the Koszul dual $A^!$ of a Koszul commutative algebra $A$ satisfies the following. Let $M \in *\operatorname{mod} A^!$. If $\{\dim_K M_i \mid i \in {\mathsf Z}\}$ is bounded, then $\mathrm{ld}_{A^!}(M) < \infty$. If $A$ is complete intersection, then $\mathrm{reg}_{A^!}(M) < \infty$ and $\mathrm{ld}_{A^!}(M) < \infty$ for all $M \in *\operatorname{mod} A^!$. If $E=\bigwedge \langle y_1, \ldots, y_n\rangle$ is an exterior algebra, then $\mathrm{ld}_E(M)\leq c^{n!} 2^{(n-1)!}$ for $M \in *\operatorname{mod} E$ with $c := \max \{\dim_K M_i \mid i \in{\mathsf Z}\}$.


Sign in / Sign up

Export Citation Format

Share Document