This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions
WARNING: POTENTIAL TERMINOLOGICAL CONFUSION: Please don't confuse this with algebraic group or group algebra
Then, the algebra group corresponding to is the adjoint group of , i.e., the group whose elements are formally:
where the multiplication is defined as:
There are two interpretations of this:
- We can think of the algebra group as living inside the unitization as the coset of for .
- Alternatively, since there is a bijection between and its algebra group, we can think of the algebra group as simply the set with group operation . This is based on the idea of the multiplicative formal group law. However, unlike other formal group laws, the multiplicative formal group law is valid even in non-commutative settings, and that is necessary for this definition.
If is an associative algebra over a field with the property that every element of is nilpotent, then it is true that for any , there exists such that . Thus, we can always define the algebra group corresponding to any such algebra .
Finite field case
If is a finite field and is a finite-dimensional associative algebra over , the following are equivalent:
- For any , there exists such that .
- Every element of is nilpotent.
- is a nilpotent algebra, i.e., there is some fixed length such that all products of that length of elements in equal zero.
Thus, for a finite-dimensional associative algebra over a finite field , we talk of its algebra group only if it satisfies these equivalent conditions.
In the context of an abstract group
A group of prime power order which can be realized as an algebra group any finite field is termed an algebra group. Note that an algebra group over , where is a power of a prime , must also be an algebra group over the prime field . Thus, saying that a finite -group is an algebra group is equivalent to saying that it is an algebra group over .
Uniqueness and non-uniqueness of the algebra
Note that the nilpotent associative algebra up to isomorphism determines the algebra group up to isomorphism. However, it is not a priori clear whether the group up to isomorphism determines the nilpotent associative algebra up to isomorphism. It turns out that it does not, but there are important restrictions on the structure of the algebra that can be deduced from the group structure.
- Non-isomorphic nilpotent associative algebras may have isomorphic algebra groups
- Powering map by field characteristic is same in algebra and algebra group
- Lazard Lie ring of adjoint group of a radical ring equals associated Lie ring of the radical ring under suitable nilpotency assumptions
Necessary conditions for being an algebra group
- Algebra group is isomorphic to algebra subgroup of unitriangular matrix group of degree one more than logarithm of order to base of field size: Note that this gives a complete characterization of algebra groups, at least in the finite case. What it says is that any algebra group over of order is isomorphic to an algebra subgroup of the unitriangular matrix group .
- Algebra group implies power degree group for field size
- Characters of Groups Associated with Finite Algebras by I. Martin Isaacs, Journal of Algebra, ISSN 00218693, Volume 177,Number 3, Page 708 - 730(November 1995): Official pageMore info
- Supercharacters and superclasses for algebra groups by Persi Diaconis and I. Martin Isaacs, Transactions of the American Mathematical Society, (Year 2006): Unofficial copyMore info
- Counting conjugacy classes of unitriangular groups associated to finite-dimensional algebras by Geoffrey Robinson, Journal of Group Theory, ISSN 14435883 (print), ISSN 14434446 (online), Volume 1,Number 3, Page 271 - 274(January 1998): Official copyMore info
- Counting characters of upper triangular groups by I. Martin Isaacs, September 2006 preprint
- Supercharacter formulas for pattern groups by Persi Diaconis and Nathanial Thiem