
We classify finite groups $G$, such that the group algebra, $\mathbb{Q}G$
(over the field of rational numbers $\mathbb{Q}$), is the direct product of the
group algebra $\mathbb{Q}[G/N]$ of a proper factor group $G/N$, and some
division rings.

Let $G$ be a finite permutation group acting on $\mathbb{R}^d$ by permuting
coordinates. A core point (for $G$) is an integral vector $z\in \mathbb{Z}^d$
such that the convex hull of the orbit $Gz$ contains no other integral vectors
but those in the orbit $Gz$. Herr, Rehn and Sch\"urmann considered the question
for which groups there are infinitely many core points up to translation
equivalence, that is, up to translation by vectors fixed by the group. In the
present paper, we propose a coarser equivalence relation for core points called
normalizer equivalence. These equivalence classes often contain infinitely many
vectors up to translation, for example when the group admits an irrational
invariant subspace or an invariant irreducible subspace occurring with
multiplicity greater than $1$. We also show that the number of core points up
to normalizer equivalence is finite if $G$ is a socalled QIgroup. These
groups include all transitive permutation groups of prime degree. We give an
example to show how the concept of normalizer equivalence can be used to
simplify integer convex optimization problems.

Let $G$ be a finite group acting linearly on a vector space $V$. We consider
the linear symmetry groups $\operatorname{GL}(Gv)$ of orbits $Gv\subseteq V$,
where the \emph{linear symmetry group} $\operatorname{GL}(S)$ of a subset
$S\subseteq V$ is defined as the set of all linear maps of the linear span of
$S$ which permute $S$. We assume that $V$ is the linear span of at least one
orbit $Gv$. We define a set of \emph{generic points} in $V$, which is
Zariskiopen in $V$, and show that the groups $\operatorname{GL}(Gv)$ for $v$
generic are all isomorphic, and isomorphic to a subgroup of every symmetry
group $\operatorname{GL}(Gw)$ such that $V$ is the linear span of $Gw$. If the
underlying characteristic is zero, "isomorphic" can be replaced by "conjugate
in $\operatorname{GL}(V)$". Moreover, in the characteristic zero case, we show
how the character of $G$ on $V$ determines this generic symmetry group. We
apply our theory to classify all affine symmetry groups of vertextransitive
polytopes, thereby answering a question of Babai (1977).

The Birkhoff polytope $B_n$ is the convex hull of all $n\times n$ permutation
matrices in $\mathbb{R}^{n\times n}$. We compute the combinatorial symmetry
group of the Birkhoff polytope.
A representation polytope is the convex hull of some finite matrix group
$G\leq \operatorname{GL}(d,\mathbb{R})$. We show that the group of permutation
matrices is essentially the only finite matrix group which yields a
representation polytope with the same face lattice as the Birkhoff polytope.

Peter McMullen has developed a theory of realizations of abstract regular
polytopes, and has shown that the realizations up to congruence form a pointed
convex cone which is the direct product of certain irreducible subcones. We
show that each of these subcones is isomorphic to a set of positive
semidefinite hermitian matrices of dimension $m$ over either the real numbers,
the complex numbers or the quaternions. In particular, we correct an erroneous
computation of the dimension of these subcones by McMullen and Monson. We show
that the automorphism group of an abstract regular polytope can have an
irreducible character $\chi$ with $\chi\neq \overline{\chi}$ and with
arbitrarily large essential Wythoff dimension. This gives counterexamples to a
result of Herman and Monson, which was derived from the erroneous computation
mentioned before.
We also discuss a relation between cosine vectors of certain pure
realizations and the spherical functions appearing in the theory of Gelfand
pairs.

Let $\widehat{G}$ be a finite group, $N $ a normal subgroup of $\widehat{G}$
and $\theta\in \operatorname{Irr}N$. Let $\mathbb{F}$ be a subfield of the
complex numbers and assume that the Galois orbit of $\theta$ over $\mathbb{F}$
is invariant in $\widehat{G}$. We show that there is another triple
$(\widehat{G}_1,N_1,\theta_1)$ of the same form, such that the character
theories of $\widehat{G}$ over $\theta$ and of $\widehat{G}_1$ over $\theta_1$
are essentially "the same" over the field $\mathbb{F}$ and such that the
following holds: $\widehat{G}_1$ has a cyclic normal subgroup $C$ contained in
$N_1$, such that $\theta_1=\lambda^{N_1}$ for some linear character $\lambda$
of $C$, and such that $N_1/C$ is isomorphic to the (abelian) Galois group of
the field extension $\mathbb{F}(\lambda)/\mathbb{F}(\theta_1)$. More precisely,
"the same" means that both triples yield the same element of the
BrauerClifford group $\operatorname{BrCliff}(G,\mathbb{F}(\theta))$ defined by
A. Turull.

An orbit polytope is the convex hull of an orbit under a finite group $G \leq
\operatorname{GL}(d,\mathbb{R})$. We develop a general theory of possible
affine symmetry groups of orbit polytopes. For every group, we define an open
and dense set of generic points such that the orbit polytopes of generic points
have conjugated affine symmetry groups. We prove that the symmetry group of a
generic orbit polytope is again $G$ if $G$ is itself the affine symmetry group
of some orbit polytope, or if $G$ is absolutely irreducible. On the other hand,
we describe some general cases where the affine symmetry group grows.
We apply our theory to representation polytopes (the convex hull of a finite
matrix group) and show that their affine symmetries can be computed effectively
from a certain character. We use this to construct counterexamples to a
conjecture of Baumeister et~al.\ on permutation polytopes [Advances in Math.
222 (2009), 431452, Conjecture~5.4].

We define a corestriction map for equivariant Brauer groups in the sense of
Fr\"ohlich and Wall, which contain as a special case the BrauerClifford groups
introduced by Turull. We show that this corestriction map has similar
properties as the corestriction map in group cohomology (especially Galois
cohomology). In particular, composing corestriction and restriction associated
to a subgroup $H\leq G$ amounts to powering with the index $\lvert G:H \rvert$.

We define a SchurClifford subgroup of Turull's BrauerClifford group,
similar to the Schur subgroup of the Brauer group. The SchurClifford subgroup
contains exactly the equivalence classes coming from the intended application
to Clifford theory of finite groups. We show that the SchurClifford subgroup
is indeed a subgroup of the BrauerClifford group, as are certain naturally
defined subsets. We also show that this SchurClifford subgroup behaves well
with respect to restriction and corestriction maps between BrauerClifford
groups.

Let G be a finite group, K a normal subgroup of G and H a subgroup such that
G = HK, and set L = H \cap K. Suppose \theta \in Irr K and \phi \in Irr L, and
\phi\ occurs in \theta_L with multiplicity n > 0. A projective representation
of degree n on H/L is defined in this situation; if this representation is
ordinary, it yields a bijection between Irr(G  \theta) and Irr(H  \phi). The
behavior of fields of values and Schur indices under this bijection is
described. A modular version of the main result is proved. We show that the
theory applies if n and the order of H/L are coprime. Finally, assume that P <=
G is a pgroup with P \cap K = 1 and PK normal in G, that H = N_G(P), and that
\theta\ and \phi\ belong to blocks of pdefect zero which are Brauer
correspondents with respect to the group P. Then every block of F_p[G] or
Q_p[G] lying over \theta\ is Moritaequivalent to its Brauer correspondent with
respect to P. This strengthens a result of Turull [Above the Glauberman
correspondence, Advances in Math. 217 (2008), 21702205].

Let N be a finite group of odd order and A a finite group that acts on N such
that the orders of N and A are coprime. Isaacs constructed a natural
correspondence between the set Irr_A(N) of irreducible complex characters
invariant under the action of A, and the irreducible characters of the
centralizer of A in N, Irr(C_N(A)). We show that this correspondence preserves
Schur indices over the rational numbers. Moreover, suppose that the semidirect
product AN is a normal subgroup of the finite group G and set U= N_G(A). Let
\chi \in Irr_A(N) and \chi* \in Irr(C_N(A)) correspond. Then there is a
canonical bijection between Irr(G  \chi) and Irr(U  \chi*) preserving Schur
indices. We also give simplified and more conceptual proofs of (known)
character correspondences above fully ramified sections.