scholarly journals Gröbner–Shirshov Bases Theory for Trialgebras

Mathematics ◽  
2021 ◽  
Vol 9 (11) ◽  
pp. 1207
Author(s):  
Juwei Huang ◽  
Yuqun Chen

We establish a method of Gröbner–Shirshov bases for trialgebras and show that there is a unique reduced Gröbner–Shirshov basis for every ideal of a free trialgebra. As applications, we give a method for the construction of normal forms of elements of an arbitrary trisemigroup, in particular, A.V. Zhuchok’s (2019) normal forms of the free commutative trisemigroups are rediscovered and some normal forms of the free abelian trisemigroups are first constructed. Moreover, the Gelfand–Kirillov dimension of finitely generated free commutative trialgebra and free abelian trialgebra are calculated, respectively.

Author(s):  
Juwei Huang ◽  
Yuqun Chen

We establish a Gröbner-Shirshov bases theory for trialgebras and show that every ideal of a free trialgebra has a unique reduced Gröbner-Shirshov basis. As applications, we give a method for the construction of normal forms of elements of an arbitrary trisemigroup, in particular, A.V. Zhuchok’s (2019) normal forms of the free commutative trisemigroups are rediscovered and some normal forms of the free abelian trisemigroups are first constructed. Moreover, the Gelfand-Kirillov dimension of finitely generated free commutative trialgebra and free abelian trialgebra are calculated respectively.


2016 ◽  
Vol 23 (04) ◽  
pp. 701-720 ◽  
Author(s):  
Xiangui Zhao ◽  
Yang Zhang

Differential difference algebras are generalizations of polynomial algebras, quantum planes, and Ore extensions of automorphism type and of derivation type. In this paper, we investigate the Gelfand-Kirillov dimension of a finitely generated module over a differential difference algebra through a computational method: Gröbner-Shirshov basis method. We develop the Gröbner-Shirshov basis theory of differential difference algebras, and of finitely generated modules over differential difference algebras, respectively. Then, via Gröbner-Shirshov bases, we give algorithms for computing the Gelfand-Kirillov dimensions of cyclic modules and finitely generated modules over differential difference algebras.


1995 ◽  
Vol 37 (3) ◽  
pp. 311-326
Author(s):  
Günter Krause

Let k be a field, let R be a noetherian k-algebra of finite Gelfand-Kirillov dimension GK(R), and let M be a finitely generated right R-module. A standard prime factor series for M is a finite sequence of submodules 0 = N0 ⊂ N1 ⊂…⊂ Ni−1 ⊂ Ni ⊂.… ⊂ Nn = M, such that for each i the annihilator Pi = rR (Ni/Ni−1) is the unique associated prime of Ni/Ni−1 and GK(R/Pi)≤ GK(R/Pj) whenever i≤ j. The set of prime ideals arising from such a series is an invariant of M, called the set of standard primes St(M) of M. The concept, inspired by the notion of a standard affiliated series introduced by Lenagan and Warfield in [7], has been developed in [5], where it was shown that St(M) coincides with the set of all those prime ideals that are minimal over the annihilator of a nonzero submodule of M.


1984 ◽  
Vol 27 (2) ◽  
pp. 247-250 ◽  
Author(s):  
T. H. Lenagan

AbstractIf O → A → C → B → O is a short exact sequence of finitely generated modules over a Noetherian Pi-algebra then we show that GK(C) = max{GK(A), GK(B)}.


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.


2019 ◽  
pp. 1-16
Author(s):  
Khalid Bou-Rabee ◽  
Daniel Studenmund

Let [Formula: see text] be the fundamental group of a surface of finite type and [Formula: see text] be its abstract commensurator. Then [Formula: see text] contains the solvable Baumslag–Solitar groups [Formula: see text] for any [Formula: see text]. Moreover, the Baumslag–Solitar group [Formula: see text] has an image in [Formula: see text] that is not residually finite. Our proofs are computer-assisted. Our results also illustrate that finitely-generated subgroups of [Formula: see text] are concrete objects amenable to computational methods. For example, we give a proof that [Formula: see text] is not residually finite without the use of normal forms of HNN extensions.


1999 ◽  
Vol 09 (02) ◽  
pp. 179-212 ◽  
Author(s):  
V. M. PETROGRADSKY

Recently, the author has suggested a series of dimensions of algebras which includes as first terms dimension of a vector space, Gelfand–Kirillov dimension, and superdimension. These dimensions enabled us to describe the change of the growth in the transition from a Lie algebra to its universal enveloping algebra. In fact, this is a result on some generalized partitions. In this paper, we obtain more precise asymptotics for generalized partitions. As a main application, we obtain more precise asymptotics for the growth of free polynilpotent finitely generated Lie algebras. As a corollary, we specify the asymptotic growth of the lower central series ranks for free polynilpotent finitely generated groups. We essentially use Hilbert–Poincaré series and some facts on the growth of functions analytic in the unit circle. By the growth of such functions, we mean their growth when the variable tends to 1. Finally, we study two kinds of p-central series for free polynilpotent finitely generated groups. We obtain asymptotics for the ranks of these series, in one case we have an example of a polynomial, but not rational growth.


2016 ◽  
Vol 26 (02) ◽  
pp. 375-397 ◽  
Author(s):  
Volodymyr Nekrashevych

We study growth and complexity of étale groupoids in relation to growth of their convolution algebras. As an application, we construct simple finitely generated algebras of arbitrary Gelfand–Kirillov dimension [Formula: see text] and simple finitely generated algebras of quadratic growth over arbitrary fields.


Author(s):  
Gilbert Baumslag

AbstractThe object of this paper is to study the sequence of torsion-free ranks of the quotients by the terms of the lower central series of a finitely generated group. This gives rise to the introduction into the study of finitely generated, residually torison-free nilpotent groups of notions relating to the Gelfand-Kirillov dimension. These notions are explored here. The main result concerning the sequences alluded to is the proof that there are continuously many such sequences.


2014 ◽  
Vol 57 (3) ◽  
pp. 555-567
Author(s):  
JEFFREY BERGEN ◽  
PIOTR GRZESZCZUK

AbstractLet A be a domain over an algebraically closed field with Gelfand–Kirillov dimension in the interval [2,3). We prove that if A has two locally nilpotent skew derivations satisfying some natural conditions, then A must be one of five algebras. All five algebras are Noetherian, finitely generated, and have Gelfand–Kirillov dimension equal to 2. We also obtain some results comparing the Gelfand–Kirillov dimension of an algebra to its subring of invariants under a locally nilpotent skew derivation.


Sign in / Sign up

Export Citation Format

Share Document