#principal ideal domain #pid #structure theorem for modules #integers #matrix over ring