scholarly journals Identities and central polynomials for real graded division algebras

2017 ◽  
Vol 27 (07) ◽  
pp. 935-952
Author(s):  
Diogo Diniz ◽  
Claudemir Fidelis ◽  
Sérgio Mota

Let [Formula: see text] be a finite dimensional simple real algebra with a division grading by a finite abelian group [Formula: see text]. In this paper, we provide a finite basis for the [Formula: see text]-ideal of graded polynomial identities for [Formula: see text] and a finite basis for the [Formula: see text]-space of graded central polynomials for [Formula: see text].

2019 ◽  
Vol 18 (09) ◽  
pp. 1950162
Author(s):  
A. S. Gordienko

An algebra [Formula: see text] with a generalized [Formula: see text]-action is a generalization of an [Formula: see text]-module algebra where [Formula: see text] is just an associative algebra with [Formula: see text] and a relaxed compatibility condition between the multiplication in [Formula: see text] and the [Formula: see text]-action on [Formula: see text] holds. At first glance, this notion may appear too general, however, it enables to work with algebras endowed with various kinds of additional structures (e.g. comodule algebras over Hopf algebras, graded algebras, algebras with an action of a semigroup by anti-endomorphisms). This approach proves to be especially fruitful in the theory of polynomial identities. We show that if [Formula: see text] is a finite dimensional (not necessarily associative) algebra over a field of characteristic [Formula: see text] and [Formula: see text] is simple with respect to a generalized [Formula: see text]-action, then there exists [Formula: see text] where [Formula: see text] is the sequence of codimensions of polynomial [Formula: see text]-identities of [Formula: see text]. In particular, if [Formula: see text] is a finite dimensional (not necessarily group graded) graded-simple algebra, then there exists [Formula: see text] where [Formula: see text] is the sequence of codimensions of graded polynomial identities of [Formula: see text]. In addition, we study the free-forgetful adjunctions corresponding to (not necessarily group) gradings and generalized [Formula: see text]-actions.


2018 ◽  
Vol 17 (12) ◽  
pp. 1850236
Author(s):  
Zhihua Wang

Let [Formula: see text] be an arbitrary pointed Hopf algebra of rank one and [Formula: see text] the group of group-like elements of [Formula: see text]. In this paper, we give the decomposition of a tensor product of finite dimensional indecomposable right [Formula: see text]-comodules into a direct sum of indecomposables. This enables us to describe the corepresentation ring of [Formula: see text] in terms of generators and relations. Such a ring is not commutative if [Formula: see text] is not abelian. We describe all nilpotent elements of the corepresentation ring of [Formula: see text] if [Formula: see text] is a finite abelian group or a particular Hamiltonian group. In this case, all nilpotent elements of the corepresentation ring form a principal ideal which is either zero or generated by a nilpotent element of degree 2.


2008 ◽  
Vol 51 (2) ◽  
pp. 182-194 ◽  
Author(s):  
Y. A. Bahturin ◽  
A. Giambruno

AbstractIn this paper we describe the group gradings by a finite abelian group G of the matrix algebra Mn(F) over an algebraically closed field F of characteristic different from 2, which respect an involution (involution gradings). We also describe, under somewhat heavier restrictions on the base field, all G-gradings on all finite-dimensional involution simple algebras.


Author(s):  
Bodan Arsovski

Abstract Extending a result by Alon, Linial, and Meshulam to abelian groups, we prove that if G is a finite abelian group of exponent m and S is a sequence of elements of G such that any subsequence of S consisting of at least $$|S| - m\ln |G|$$ elements generates G, then S is an additive basis of G . We also prove that the additive span of any l generating sets of G contains a coset of a subgroup of size at least $$|G{|^{1 - c{ \in ^l}}}$$ for certain c=c(m) and $$ \in = \in (m) < 1$$ ; we use the probabilistic method to give sharper values of c(m) and $$ \in (m)$$ in the case when G is a vector space; and we give new proofs of related known results.


Author(s):  
Weidong Gao ◽  
Siao Hong ◽  
Wanzhen Hui ◽  
Xue Li ◽  
Qiuyu Yin ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document