Ideals and subalgebras