Talk:Restricted Lie algebra