arXiv subjects

Mufit Sezer

Publications and source records attributed to Mufit Sezer.

3 recordsLinked to original sources

arXiv2016

Locally finite derivations and modular coinvariants

We consider a finite dimensional $\kk G$-module $V$ of a $p$-group $G$ over a field $\kk$ of characteristic $p$. We describe a generating set for the corresponding Hilbert Ideal. In case $G$ is cyclic this yields that the algebra $\kk[V]_G$ of coinvariants is a free module over its subalgebra generated by $\kk G$-module generators of $V^*$. This subalgebra is a quotient of a polynomial ring by pure powers of its variables. The coinvariant ring was known to have this property only when $G$ was cyclic of prime order, \cite{SezerCoinv}. In addition, we show that if $G$ is the Klein 4-group and $V$ does not contain an indecomposable summand isomorphic to the regular module, then the Hilbert Ideal is a complete intersection, extending a result of the second author and R. J. Shank \cite{SezerShank}.

math.AC↗

arXiv2011

Gröbner bases for the Hilbert ideal and coinvariants of the Dihedral group $D_{2p}$}

We consider a finite dimensional representation of the dihedral group $D_{2p}$ over a field of characteristic two where $p$ is an odd prime and study the corresponding Hilbert ideal $I_H$. We show that $I_H$ has a universal Gr\" {o}bner basis consisting of invariants and monomials only. We provide sharp bounds for the degree of an element in this basis and in a minimal generating set for $I_H$. We also compute the top degree of coinvariants.

math.AC↗

arXiv2010

Separating invariants for the klein four group and cyclic groups

We consider indecomposable representations of the Klein four group over a field of characteristic $2$ and of a cyclic group of order $pm$ with $p,m$ coprime over a field of characteristic $p$. For each representation we explicitly describe a separating set in the corresponding ring of invariants. Our construction is recursive and the separating sets we obtain consist of almost entirely orbit sums and products.

math.AC↗