Intersecting two classical groups. (Q441406): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
A new algorithm is presented to compute the algebra of adjoints associated to a pair of forms on a common finite vector space. Here the algebra of adjoints of a bilinear (or sequilinear) map \(b\colon V\times V\to W\) is the algebra \(\{(f,g)\in\text{End}(V)\times\text{End}(V)^{\text{opp}}\mid\forall u,v\in V,\;b(uf,v)=b(u,gv)\}\). This algebra is used in several recent and ongoing projects to study central products, intersections of classical groups, and automorphism groups. In particular, in the case of two nondegenerate forms one takes for \(b\) their direct sum. The algebra of adjoints then serves to find the intersection of the isometry groups of the two forms. The new algorithm is of Las Vegas type. A complexity analysis is given. It is reported that the implementation of the new algorithm in \textsc{Magma} greatly outperforms its predecessor. | |||
Property / review text: A new algorithm is presented to compute the algebra of adjoints associated to a pair of forms on a common finite vector space. Here the algebra of adjoints of a bilinear (or sequilinear) map \(b\colon V\times V\to W\) is the algebra \(\{(f,g)\in\text{End}(V)\times\text{End}(V)^{\text{opp}}\mid\forall u,v\in V,\;b(uf,v)=b(u,gv)\}\). This algebra is used in several recent and ongoing projects to study central products, intersections of classical groups, and automorphism groups. In particular, in the case of two nondegenerate forms one takes for \(b\) their direct sum. The algebra of adjoints then serves to find the intersection of the isometry groups of the two forms. The new algorithm is of Las Vegas type. A complexity analysis is given. It is reported that the implementation of the new algorithm in \textsc{Magma} greatly outperforms its predecessor. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Wilberd van der Kallen / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20G40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20-04 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68W30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68Q17 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6070519 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
*-algebras | |||
Property / zbMATH Keywords: *-algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
bilinear maps | |||
Property / zbMATH Keywords: bilinear maps / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
isometry groups | |||
Property / zbMATH Keywords: isometry groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
polynomial time algorithms | |||
Property / zbMATH Keywords: polynomial time algorithms / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
algebras of adjoints | |||
Property / zbMATH Keywords: algebras of adjoints / rank | |||
Normal rank |
Revision as of 02:08, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Intersecting two classical groups. |
scientific article |
Statements
Intersecting two classical groups. (English)
0 references
23 August 2012
0 references
A new algorithm is presented to compute the algebra of adjoints associated to a pair of forms on a common finite vector space. Here the algebra of adjoints of a bilinear (or sequilinear) map \(b\colon V\times V\to W\) is the algebra \(\{(f,g)\in\text{End}(V)\times\text{End}(V)^{\text{opp}}\mid\forall u,v\in V,\;b(uf,v)=b(u,gv)\}\). This algebra is used in several recent and ongoing projects to study central products, intersections of classical groups, and automorphism groups. In particular, in the case of two nondegenerate forms one takes for \(b\) their direct sum. The algebra of adjoints then serves to find the intersection of the isometry groups of the two forms. The new algorithm is of Las Vegas type. A complexity analysis is given. It is reported that the implementation of the new algorithm in \textsc{Magma} greatly outperforms its predecessor.
0 references
*-algebras
0 references
bilinear maps
0 references
isometry groups
0 references
polynomial time algorithms
0 references
algebras of adjoints
0 references