Search Results for ""

Denoted sl_n.

A type II Markov move.

L is a subnormal subgroup of H if there is a "normal series" (in the sense of Jordan-Hölder) from L to H.

Q is said to be tightly embedded if |Q intersection Q^g| is odd for all g in G-N_G(Q), where N_G(Q) is the normalizer of Q in G.

The Tits group is a group of order 17971200. It is implemented in the Wolfram Language as TitsGroupT[].

A relation R on a set S is transitive provided that for all x, y and z in S such that xRy and yRz, we also have xRz.

The p-layer of H, L_(p^')(H) is the unique minimal normal subgroup of H which maps onto E(H/O_(p^')(H)).

X is a p^'-group if p does not divide the group order of X.

An operator A^~ such that A^~^2=A^~ or an element of an algebra x such that x^2=x.

A birotunda in which the bases are in the same orientation.