nhaliday + algebra   70

Structure theorem for finitely generated modules over a principal ideal domain - Wikipedia
- finitely generative modules over PID isomorphic to sum of quotients by decreasing sequences of proper ideals
- never really understood the proof of this in Ma5b
math  algebra  characterization  levers  math.AC  wiki  reference  nibble  proofs  additive  arrows 
february 2017 by nhaliday
nt.number theory - Is $x^{2k+1} - 7x^2 + 1$ irreducible? - MathOverflow
Here is a proof, based on a trick that can be used to prove that x^n+x+1 is irreducible when n≠2 mod 3.
q-n-a  overflow  math  algebra  tidbits  math.NT  contradiction  polynomials  nibble  multiplicative 
january 2017 by nhaliday
infinitely divisible matrices
the use of Hilbert spaces for establishing matrices are Gram matrices (and hence PSD) is interesting
tidbits  math  algebra  pdf  yoga  linear-algebra  inner-product  positivity  signum 
august 2016 by nhaliday
Opetopic - Home
Opetopic is an experimental graphical proof assistant for higher category theory.
math  algebra  worrydream  visualization  tools  ide  math.CT 
july 2016 by nhaliday

bundles : academeframemath

related tags

abstraction  accretion  acm  additive  advice  alg-combo  algebra  algebraic-complexity  algorithms  aphorism  arrows  atoms  bare-hands  bayesian  berkeley  better-explained  big-list  big-picture  binomial  books  boolean-analysis  bounded-cognition  business  cartoons  characterization  chemistry  clarity  classic  clever-rats  coding-theory  cog-psych  commutativity  complexity  composition-decomposition  concept  conceptual-vocab  concrete  confluence  contradiction  core-rats  counterexample  course  criminal-justice  cs  curiosity  data-science  database  decision-making  decision-theory  definition  differential  discrete  discussion  draft  duality  dynamical  economics  electromag  encyclopedic  entropy-like  error  ethics  examples  existence  exocortex  expert  expert-experience  explanation  exposition  extratricky  fields  formal-values  fourier  game-theory  games  geometry  giants  gotchas  gowers  graph-theory  graphs  ground-up  growth  GT-101  hi-order-bits  history  hmm  homepage  hsu  ide  identity  iidness  impro  info-dynamics  info-foraging  information-theory  init  inner-product  insight  integral  interdisciplinary  intuition  israel  iteration-recursion  janus  knowledge  language  latex  lecture-notes  lectures  lesswrong  let-me-see  letters  levers  lifts-projections  linear-algebra  links  list  logic  lower-bounds  machine-learning  macro  madhu-sudan  markov  matching  math  math.AC  math.AG  math.AT  math.CA  math.CO  math.CT  math.CV  math.DS  math.FA  math.GR  math.MG  math.NT  math.RT  mathtariat  measure  meta:math  meta:research  metameta  michael-nielsen  micro  mit  mixing  monotonicity  mostly-modern  motivation  multi  multiplicative  music-theory  neuro  nibble  numerics  oly  org:bleg  org:edu  overflow  p:**  p:someday  p:whenever  papers  pcp  pdf  people  philosophy  physics  pic  polynomials  positivity  pre-2013  prioritizing  probabilistic-method  probability  prof  proofs  properties  pseudorandomness  psychology  puzzles  q-n-a  qra  quantum  quixotic  rationality  ratty  reading  rec-math  recommendations  reference  reflection  relativity  research  review  rigidity  rigor  roadmap  s:*  s:**  s:***  scholar  scitariat  signum  social-science  soft-question  spectral  stanford  stat-mech  stats  stream  structure  subculture  survey  synthesis  tcs  tcstariat  teaching  techtariat  tensors  thermo  thinking  thurston  tidbits  tip-of-tongue  tools  top-n  topics  topology  tracker  uniqueness  unit  vague  video  visual-understanding  visualization  water  wiki  wisdom  wordlessness  world-war  wormholes  worrydream  writing  yak-shaving  yoga  zooming  👳  🤖  🦉 

Copy this bookmark:



description:


tags: