Gauge extension of non-Abelian discrete flavor symmetry

We investigate a gauge theory realization of non-Abelian discrete flavor sym-metries and apply the gauge enhancement mechanism in heterotic orbifold models to field-theoretical model building. Several phenomenologically interesting non-Abelian discrete symmetries are realized effectively from a U(1) gauge theory with a permutation symmetry. We also construct a concrete model for the lepton sector based on a U(1) 2 ⋊ S 3 symmetry