اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدThe Galois theory of matrix $C$-rings
67
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
A theory of monoids in the category of bicomodules of a coalgebra $C$ or $C$-rings is developed. This can be viewed as a dual version of the coring theory. The notion of a matrix ring context consisting of two bicomodules and two maps is introduced and the corresponding example of a $C$-ring (termed a {em matrix $C$-ring}) is constructed. It is shown that a matrix ring context can be associated to any bicomodule which is a one-sided quasi-finite injector. Based on this, the notion of a {em Galois module} is introduced and the structure theorem, generalising Schneiders Theorem II [H.-J. Schneider, Israel J. Math., 72 (1990), 167--195], is proven. This is then applied to the $C$-ring associated to a weak entwining structure and a structure theorem for a weak $A$-Galois coextension is derived. The theory of matrix ring contexts for a firm coalgebra (or {em infinite matrix ring contexts}) is outlined. A Galois connection associated to a matrix $C$-ring is constructed.
قيم البحث
اقرأ أيضاً
Given an iterated skew polynomial ring C[y_1;t_1,d_1]ldots [y_n;t_n,d_n] over a complete local ring C with maximal ideal m, we prove, under suitable assumptions, that the completion at the ideal m + < y_1,y_2,ldots,y_n> is an iterated skew power seri
es ring. Under further conditions, this completion is a local, noetherian, Auslander regular domain. Applicable examples include quantum matrices, quantum symplectic spaces, and quantum Euclidean space.
Let $R$ be a commutative local ring. It is proved that $R$ is Henselian if and only if each $R$-algebra which is a direct limit of module finite $R$-algebras is strongly clean. So, the matrix ring $mathbb{M}_n(R)$ is strongly clean for each integer $
n>0$ if $R$ is Henselian and we show that the converse holds if either the residue class field of $R$ is algebraically closed or $R$ is an integrally closed domain or $R$ is a valuation ring. It is also shown that each $R$-algebra which is locally a direct limit of module-finite algebras, is strongly clean if $R$ is a $pi$-regular commutative ring.
We study the q-commutative power series ring R:=k_q[[x_1,...,x_n]], defined by the relations x_ix_j = q_{ij}x_j x_i, for multiplicatively antisymmetric scalars q_{ij} in a field k. Our results provide a detailed account of prime ideal structure for a
class of noncommutative, complete, local, noetherian domains having arbitrarily high (but finite) Krull, global, and classical Krull dimension. In particular, we prove that the prime spectrum of R is normally separated and is finitely stratified by commutative noetherian spectra. Combining this normal separation with results of Chan, Wu, Yekutieli, and Zhang, we are able to conclude that R is catenary. Following the approach of Brown and Goodearl, we also show that links between prime ideals are provided by canonical automorphisms. Moreover, for sufficiently generic q_{ij}, we find that R has only finitely many prime ideals and is a UFD (in the sense of Chatters).
In support variety theory, representations of a finite dimensional (Hopf) algebra $A$ can be studied geometrically by associating any representation of $A$ to an algebraic variety using the cohomology ring of $A$. An essential assumption in this theo
ry is the finite generation condition for the cohomology ring of $A$ and that for the corresponding modules. In this paper, we introduce various approaches to study the finite generation condition. First, for any finite dimensional Hopf algebra $A$, we show that the finite generation condition on $A$-modules can be replaced by a condition on any affine commutative $A$-module algebra $R$ under the assumption that $R$ is integral over its invariant subring $R^A$. Next, we use a spectral sequence argument to show that a finite generation condition holds for certain filtered, smash and crossed product algebras in positive characteristic if the related spectral sequences collapse. Finally, if $A$ is defined over a number field over the rationals, we construct another finite dimensional Hopf algebra $A$ over a finite field, where $A$ can be viewed as a deformation of $A$, and prove that if the finite generation condition holds for $A$, then the same condition holds for $A$.
In this work, we present a standard model for Galois rings based on the standard model of their residual fields, that is, a sequence of Galois rings starting with ${mathbb Z}_{p^r} that coves all the Galois rings with that characteristic ring and suc
h that there is an algorithm producing each member of the sequence whose input is the size of the required ring.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
