Linearly primitive group

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions

Definition

Symbol-free definition

A group is said to be linearly primitive if it has a faithful irreducible representation over an algebraically closed field of characteristic zero (or equivalently, over the algebraic closure of rationals or over the complex numbers).

Definition with symbols

A group $G$ is said to be linearly primitive if there is a homomorphism $\sigma :G\to GL(V)$ for some vector space $V$ over the complex numbers, such that $V$ has no proper nonzero $G$-invariant subspace.

Relation with other properties

Stronger properties

• Simple group

Weaker properties

• Cyclic-center group: For full proof, refer: Linearly primitive implies cyclic-center