Cyclic ideal