The reduced Whitehead group $\SK$ of a graded division algebra graded by a torsion-free abelian group is studied. It is observed that the computations here are much more straightforward than in the non-graded setting. Bridges to the ungraded case are then established by the following two theorems: It is proved that $\SK$ of a tame valued division algebra over a henselian field coincides with $\SK$ of its associated graded division algebra. Furthermore, it is shown that $\SK$ of a graded division algebra is isomorphic to $\SK$ of its quotient division algebra. The first theorem gives the established formulas for the reduced Whitehead group of certain valued division algebras in a unified manner, whereas the latter theorem covers the stability of reduced Whitehead groups, and also describes $\SK$ for generic abelian crossed products.
Let E be a graded division ring finite-dimensional over its center with torsion-free abelian grade group, and let q(E) be its quotient division ring. Let tau be a degree-preserving unitary involution on E. We prove that SK_1(E, tau) is isomorphic to SK_1(q(E), tau).
We give a full classification, up to equivalence, of finite-dimensional graded division algebras over the field of real numbers. The grading group is any abelian group.
We classify, up to equivalence, all finite-dimensional simple graded division algebras over the field of real numbers. The grading group is any finite abelian group.
Let $A$ be a finite dimensional real algebra with a division grading by a finite abelian group $G$. In this paper we provide finite basis for the $T_G$-ideal of graded identities and for the $T_G$-space of graded central polynomials for $A$.
A graded-division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a classification of finite-dimensional graded-central graded-division algebras over an arbitrary field $\mathbb{F}$ can be reduced to the following three classifications, for each finite Galois extension $\mathbb{L}$ of $\mathbb{F}$: (1) finite-dimensional central division algebras over $\mathbb{L}$, up to isomorphism; (2) twisted group algebras of finite groups…
Let A and B be finite dimensional simple real algebras with division gradings by an abelian group G. In this paper we give necessary and sufficient conditions for the coincidence of the graded identities of A and B. We also prove that every finite dimensional simple real algebra with a G-grading satisfies the same graded identities as a matrix algebra over an algebra D with a division grading that is either a regular grading or a non-regular Pauli grading. Moreover we determine when the graded identities of two such algebras coincide. For graded simple algebras over an algebraically closed fie…
We classify, up to isomorphism and up to equivalence, involutions on graded-division finite-dimensional simple real (associative) algebras, when the grading group is abelian.
Graded-division algebras are building blocks in the theory of finite-dimensional associative algebras graded by a group G. If G is abelian, they can be described, using a loop construction, in terms of central simple graded-division algebras. On the other hand, given a finite abelian group G, any central simple G-graded-division algebra over a field F is determined, thanks to a result of Picco and Platzeck, by its class in the (ordinary) Brauer group of F and the isomorphism class of a G-Galois extension of F. This connection is used to classify the simple G-Galois extensions of F in terms of …
Let $F$ be an algebraically closed field of characteristic zero and let $G$ be a finite group. We consider graded Verbally prime $T$-ideals in the free $G$-graded algebra. It turns out that equivalent definitions in the ordinary case (i.e. ungraded) extend to nonequivalent definitions in the graded case, namely verbally prime $G$-graded $T$-ideals and strongly verbally prime $T$-ideals. At first, following Kemer's ideas, we classify $G$-graded verbally prime $T$-ideals. The main bulk of the paper is devoted to the stronger notion. We classify $G$-graded strongly verbally prime $T$-ideals which…
We prove formulas for the unitary SK_1 of a semiramified graded division algebra (or valued division algebra over a Henselian field) with a unitary involution. These formulas generalize earlier formulas of Yanchevskii, (and Platonov and Ershov for the nonunitary SK_1).
Let $k$ be a field containing an algebraically closed field of characteristic zero. If $G$ is a finite group and $D$ is a division algebra over $k$, finite dimensional over its center, we can associate to a faithful $G$-grading on $D$ a normal abelian subgroup $H$, a positive integer $d$ and an element of $Hom(M(H), k^\times)^G$, where $M(H)$ is the Schur multiplier of $H$. Our main theorem is the converse: Given an extension $1\rightarrow H\rightarrow G\rightarrow G/H\rightarrow 1$, where $H$ is abelian, a positive integer $d$, and an element of $Hom(M(H), k^\times)^G$, there is a division al…
Let $R$ be a finite-dimensional algebra over an algebraically closed field $F$ graded by an arbitrary group $G$. We prove that $R$ is a graded division algebra if and only if it is isomorphic to a twisted group algebra of some finite subgroup of $G$. If the characteristic of $F$ is zero or ${\rm char} F$ does not divide the order of any finite subgroup of $G$ then we prove that $R$ is graded simple if and only if it is a matrix algebra over a finite-dimensional graded division algebra.
We describe the graded isomorphisms of rings of endomorphisms of graded flags over graded division algebras. As a consequence describe the isomorphism classes of upper block triangular matrix algebras (over an algebraically closed field of characteristic zero) graded by a finite abelian group.
We study not necessarily associative (NNA) division algebras over the reals. We classify in this paper series those that admit a grading over a finite group $G$, and have a basis $\{v_g|g\in G\}$ as a real vector space, and the product of these basis elements respects the grading and includes a scalar structure constant with values only in $\{1,-1\}$. We classify here those graded by an abelian group $G$ of order $|G|\leq 8$ with $G$ non--isomorphic to $\z/8\z$. We will find the complex, quaternion, and octonion algebras, but also a remarkable set of novel non--associative division algebras.
We extend the loop algebra construction for algebras graded by abelian groups to study graded-simple algebras over the field of real numbers (or any real closed field). As an application, we classify up to isomorphism the graded-simple alternative (nonassociative) algebras and graded-simple finite-dimensional Jordan algebras of degree 2. We also classify the graded-division alternative (nonassociative) algebras up to equivalence.
We study graded symmetric algebras, which are the symmetric monoids in the monoidal category of vector spaces graded by a group. We show that a finite dimensional graded semisimple algebra is graded symmetric. The center of a symmetric algebra is not necessarily symmetric, but we prove that the center of a finite dimensional graded division algebra is symmetric, provided that the order of the grading group is not divisible by the characteristic of the base field.
Let $G$ be an abelian group and $\mathbb{K}$ an algebraically closed field of characteristic zero. A. Valenti and M. Zaicev described the $G$-gradings on upper block-triangular matrix algebras provided that $G$ is finite. We prove that their result holds for any abelian group $G$: any grading is isomorphic to the tensor product $A\otimes B$ of an elementary grading $A$ on an upper block-triangular matrix algebra and a division grading $B$ on a matrix algebra. We then consider the question of whether graded identities $A\otimes B$, where $B$ is an algebra with a division grading, determine $A\o…
We consider fine G-gradings on M_n(C) (i.e. gradings of the matrix algebra over the complex numbers where each component is 1 dimensional). Groups which provide such a grading are known to be solvable. We consider the T-ideal of G-graded identities and show that it is generated by a special type of binomial identities which we call elementary. In particular we show that the ideal of graded identities is finitely generated as a T-ideal. Next, given such grading we construct a universal algebra U_{G,c} in two different ways: one by means of polynomial identities and the other one by means of a g…
Let $R$ be an algebra over a commutative ring $k$. Suppose that $R$ is endowed with a descending filtration indexed on an ordered group $(G,<)$ such that the restriction to $k$ is positive. We show that the existence of free algebras on a certain set of generators in the induced graded ring $grad(R)$ implies the existence of free group algebras in $R$. Our best results are obtained for division rings endowed with a valuation.
Let V be a total valuation ring of a division ring K, Q be the additive group of the rational numbers, Aut(K) be the group of automorphisms of K. Let sigma be a group homomorphism from Q to Aut(K). Let K[Q, sigma ] be the skew group ring of Q over K. In this paper, we classify graded extensions of V in K[Q, sigma] into two types and study the structure of them.
Inspired by the commutator and anticommutator algebras derived from algebras graded by groups, we introduce noncommutatively graded algebras. We generalize various classical graded results to the noncommutatively graded situation concerning identity elements, inverses, existence of limits and colimits and adjointness of certain functors. In the particular instance of noncommutatively graded Lie algebras, we establish the existence of universal graded enveloping algebras and we show a graded version of the Poincaré-Birkhoff-Witt theorem.
Let $D$ be a division algebra such that $D\t D^o$ is a Noetherian algebra, then any division subalgebra of $D$ is a {\em finitely generated} division algebra. Let $\D $ be a finite set of commuting derivations or automorphisms of the division algebra $D$, then the group $\Ev (\D)$ of common eigenvalues (i.e. {\em weights}) is a {\em finitely generated abelian} group. Typical examples of $D$ are the quotient division algebra ${\rm Frac} (\CD (X))$ of the ring of differential operators $\CD (X)$ on a smooth irreducible affine variety $X$ over a field $K$ of characteristic zero, and the quotient …
In this work, we extend the definition of the graded prime ideals from those in commutative graded rings to the ideals over graded Lie algebras. We prove some facts about graded prime Lie ideals in arbitrary Lie algebras that are similar to those about graded prime ideals over a commutative or non-commutative ring.In addition, the ideas of graded semiprime Lie ideals and graded total prime Lie ideals will be introduced.
For an ample groupoid $\mathcal{G}$ and a unit $x$ of $\mathcal{G}$, Steinberg constructed the induction and restriction functors between the category of modules over the Steinberg algebra $A_R(\mathcal{G})$ and the category of modules over the isotropy group algebra $R\mathcal{G}_x$. In this paper, we prove a graded version of these functors and related results for the graded Steinberg algebra of a graded ample groupoid. As an application, the spectral simple and graded simple modules over the Leavitt path algebra $L_K(E)$ are classified. In particular, we show that many of previously known s…
Let G be a group and A be a G-graded algebra satisfying a polynomial identity. We buid up a model for the relative free G-graded algebra and we obtain, as an application, the "factoring" property for the T_G-ideals of block triangular matrices with entries from the finite dimensional Grassmann algebra E for some particular Z_2-grading.
We generalize Albert's twisted field construction, applying it to unital division algebras with a multiplicative norm. We give conditions for the resulting algebras to be division algebras.Four- and eight-dimensional real unital and non-unital division algebras with large derivation algebras are constructed out of Hamilton's quaternion and Cayley's octonion algebra.
We prove that if $A$ is a regular graded skew Clifford algebra and is a twist of a regular graded Clifford algebra $B$ by an automorphism, then the subalgebra of $A$ generated by a certain normalizing sequence of homogeneous degree-two elements is a twist of a polynomial ring by an automorphism, and is a skew polynomial ring. We also present an example that demonstrates that this can fail when $A$ is not a twist of $B$.
Let $\k$ be a field, and let $A$ and $B$ be connected $\N$-graded $\k$-algebras. The algebra $A$ is said to be a graded right-free extension of $B$ provided there is a surjective graded algebra morphism $π: A \to B$ such that $\kerπ$ is free as a right $A$-module. Suppose that $B$ is graded left coherent, and that $A$ is a graded right-free extension of $B$. We characterize when $A$ is also graded left coherent. We apply our criterion to prove graded coherence of certain non-Noetherian graded twisted tensor products.
We show that if $T$ is any of four semigroups of two elements that are not groups, there exists a finite dimensional associative $T$-graded algebra over a field of characteristic $0$ such that the codimensions of its graded polynomial identities have a non-integer exponent of growth. In particular, we provide an example of a finite dimensional graded-simple semigroup graded algebra over an algebraically closed field of characteristic $0$ with a non-integer graded PI-exponent, which is strictly less than the dimension of the algebra. However, if $T$ is a left or right zero band and the $T$-grad…
A classification of all four-dimensional power-commutative real division algebras is given. It is shown that every four-dimensional power-commutative real division algebra is an isotope of a particular kind of a quadratic division algebra. The description of such isotopes in dimension four and eight is reduced to the description of quadratic division algebras. In dimension four this leads to a complete and irredundant classification. As a special case, the finite-dimensional power-commutative real division algebras that have a unique non-zero idempotent are characterised.
In this paper, the so-called differential graded (DG for short) Poisson Hopf algebra is introduced, which can be considered as a natural extension of Poisson Hopf algebras in the differential graded setting. The structures on the universal enveloping algebras of differential graded Poisson Hopf algebras are discussed.
A celebrated theorem of Hopf, Bott, Milnor, and Kervaire states that every finite-dimensional real division algebra has dimension 1, 2, 4, or 8. While the real division algebras of dimension 1 or 2 and the real quadratic division algebras of dimension 4 have been classified, the problem of classifying all 8-dimensional real quadratic division algebras is still open. We contribute to a solution of that problem by proving that every 8-dimensional real quadratic division algebra has degree 1, 3, or 5. This statement is sharp.
In this paper we explore graded algebras of quotients of Lie algebras with special emphasis on the 3-graded case and answer some natural questions concerning its relation to maximal Jordan systems of quotients.
We show that every graded ideal of a Leavitt path algebra is graded isomorphic to a Leavitt path algebra. It is known that a graded ideal $I$ of a Leavitt path algebra is isomorphic to the Leavitt path algebra of a graph, known as the generalized hedgehog graph, which is defined based on certain sets of vertices uniquely determined by $I$. However, this isomorphism may not be graded. We show that replacing the short "spines" of the generalized hedgehog graph with possibly fewer, but then necessarily longer spines, we obtain a graph (which we call the porcupine graph) such that its Leavitt path…
In this paper, we introduce the notion of differential graded Poisson algebra and study its universal enveloping algebra. From any differential graded Poisson algebra $A$, we construct two isomorphic differential graded algebras: $A^e$ and $A^E$. It is proved that the category of differential graded Poisson modules over $A$ is isomorphic to the category of differential graded modules over $A^e$, and $A^e$ is the unique universal enveloping algebra of $A$ up to isomorphisms. As applications of the universal property of $A^e$, we prove that $(A^e)^{op}\cong (A^{op})^e$ and $(A\otimes_{\Bbbk}B)^e…
We compute point schemes of some regular algebras using (Wolfram) Mathematica. These algebras are Ore extensions of regular graded skew Clifford algebras of global dimension 3.
The genus gen(D) of a finite-dimensional central division algebra D over a field F is defined as the collection of classes [D'] in the Brauer group Br(F), where D' is a central division F-algebra having the same maximal subfields as D. For any prime p, we construct a division algebra of degree p with infinite genus. Moreover, we show that there exists a field K such that there are infinitely many nonisomorphic central division K-algebras of degree p, and any two such algebras have the same genus.
Some general criteria to produce explicit free algebras inside the division ring of fractions of skew polynomial rings are presented. These criteria are applied to some special cases of division rings with natural involutions, yielding, for instance, free subalgebras generated by symmetric elements both in the division ring of fractions of the group algebra of a torsion free nilpotent group and in the division ring of fractions of the first Weyl algebra.
We show that a finite-dimensional tame division algebra D over a Henselian field F has a maximal subfield Galois over F if and only if its residue division algebra has a maximal subfield Galois over the residue field of F. This generalizes the mechanism behind several known noncrossed product constructions to a crossed product criterion for all tame division algebras, and in particular for all division algebras if the residue characteristic is 0. If the residue field is a global field, the criterion leads to a description of the location of noncrossed products among tame division algebras, and…
The motivation for this paper has been to study the relation between the zero component of the maximal graded algebra of quotients and the maximal graded algebra of quotients of the zero component, both in the Lie case and when considering Martindale algebras of quotients in the associative setting. We apply our results to prove that the finitary complex Lie algebras are (graded) strongly nondegenerate and compute their maximal algebras of quotients.
We classify a class of infinite-dimensional simple graded pre-Lie algebras on the graded vector space underlying the algebra of Laurent polynomials, with a specific form for the product.
This paper is concerned with the problem of determining the number of division algebras which share the same collection of finite splitting fields. As a corollary we are able to determine when two central division algebras may be distinguished by their finite splitting fields over certain fields.
The present article is concerned with division algebras that are structurally close to alternative algebras, in the sense that they satisfy some identity or other algebraic property that holds for all alternative division algebras. Motivated by Belousov's ideas on quasigroups, we explore a new approach to the classification of division algebras. By a detailed study of the representations of the Lie group of autotopies of real division algebras we show that, if the group of autotopies has a sufficiently rich structure then the algebra is isotopic to an alternative division algebra. On the other…
We generalize Knuth's construction of Case I semifields quadratic over a weak nucleus, also known as generalized Dickson semifields, by doubling of central simple algebras. We thus obtain division algebras of dimension $2s^2$ by doubling central division algebras of degree $s$. Results on isomorphisms and automorphisms of these algebras are obtained in certain cases.
Let $D$ be a division algebra, finite-dimensional over its center, and $R=D[t;σ,δ]$ a skew polynomial ring. Using skew polynomials $f\in R$, we construct division algebras and a generalization of maximum rank distance codes consisting of matrices with entries in a noncommutative division algebra or field. These include a class of codes constructed by Sheekey (in particular, generalized Gabidulin codes), as well as Jha Johnson semifields.
In this paper, we introduce the class of finitely semi-graded algebras which extends the connected graded algebras finitely generated in degree one. The Koszul behavior of finitely semi-graded algebras is investigated by the distributivity of some associated lattice of ideals. The Hilbert series, the Poincaré series and the Yoneda algebra are defined for this class of algebras. Finitely semi-graded algebras include many important examples of non $\mathbb{N}$-graded algebras finitely generated in degree one coming from mathematical physics, and for these concrete examples the Koszulity will be …
We consider the infinite dimensional Grassmann algebra E over a field F of characteristic 0 or p, where p>2, and we compute its Z_2-graded Gelfand-Kirillov dimension as a Z_2-graded PI-algebra.
