The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

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.