Displaying similar documents to “A class of projective representations of hyperoctahedral groups and Schur Q-functions”

Homography in ℝℙ

Roland Coghetto (2016)

Formalized Mathematics

Similarity:

The real projective plane has been formalized in Isabelle/HOL by Timothy Makarios [13] and in Coq by Nicolas Magaud, Julien Narboux and Pascal Schreck [12]. Some definitions on the real projective spaces were introduced early in the Mizar Mathematical Library by Wojciech Leonczuk [9], Krzysztof Prazmowski [10] and by Wojciech Skaba [18]. In this article, we check with the Mizar system [4], some properties on the determinants and the Grassmann-Plücker relation in rank 3 [2], [1], [7],...

On faithful projective representations of finite abelian p-groups over a field of characteristic p

Leonid F. Barannyk (2008)

Colloquium Mathematicae

Similarity:

Let G be a noncyclic abelian p-group and K be an infinite field of finite characteristic p. For every 2-cocycle λ ∈ Z²(G,K*) such that the twisted group algebra K λ G is of infinite representation type, we find natural numbers d for which G has infinitely many faithful absolutely indecomposable λ-representations over K of dimension d.