A commutative analogue of the group ring (Q878672): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jpaa.2006.09.011 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2041881861 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3708174 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5563439 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the deformation of rings and algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5569508 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The spectrum of an equivariant cohomology ring. I. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Automorphism Group of a <i>p</i> -Adic Convolution Algebra / rank | |||
Normal rank |
Latest revision as of 18:14, 25 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A commutative analogue of the group ring |
scientific article |
Statements
A commutative analogue of the group ring (English)
0 references
26 April 2007
0 references
Let \(R\) be a commutative ring with identity and let \(G\) be a finite group. The author defines a \(\otimes\) multiplication on the free \(R\)-module \(R[G]\) of rank \(| G| \) to be a binary operation satisfying (1) \(R[G], \otimes\) is a commutative \(R\)-algebra with identity. (2) \(\otimes\) is a 2-cocycle with respect to the usual direct sum multiplication \(*\) on \(R[G]\), that is \((a*b)\otimes c+(a\otimes b)*c=a*(b\otimes c)+a\otimes (b*c)\) for all \(a,b,c\in R[G]\). (3) \(\otimes\) is \(G\)-invariant, that is \(x_g \cdot (a\otimes b)=(x_g \cdot a)\otimes (x_g \cdot b)\) for all \(a,b\in R[G]\) and \(g\in G\). Thus a \(\otimes \) multiplication is a \(G\)-invariant commutative \(R\)-algebra multiplication on the group algebra \(R[G]\) which is a cocycle with respect to the standard multiplication on \(R[G]\) and has the same identity element. Woodcock then defines a commutative graded \(\mathbb Z\)-algebra \(R_G\) and shows (Theorem 3.3) that there is a natural bijection from the set of all ring homomorphisms \(\phi :R_G \to R\) onto the set of all \(\otimes\)-multiplications on \(R[G]\). The author goes on to demonstrate (Theorem 5.3) that the Krull dimension of \(R_G\) is the maximal rank \(r\) of an elementary abelian subgroup \(E\) of \(G\) unless either \(E\) is cyclic or for some such \(E\) its normalizer in \(G\) contains a non-trivial cyclic group which acts faithfully on \(E\) via ``scalar multiplication'' (from the prime field) in which case the Krull dimension is \(r+1\). In the case when \(G\) is an elementary abelian \(p\)-group, \(R_G\) is closely related to the symmetric algebra over \({\mathbb F}_p\) of the dual of \(G\). Woodcock plans to explore the relation between \(G\) and \(R_G\) for more general groups \(G\) in future papers.
0 references
group ring
0 references
graded algebra
0 references
\(G\)-invariant, deformation
0 references