En [[matematiko]], ĉiu [[integralaintegreca domajnoringo]] ([[entjera domajno]]) povas esti enigita en [[korpo (algebro)|korpon]]; la plej malgranda korpo kiu povas esti uzita estas la '''korpo de frakcioj''' de la entjera domajno. La eroj de la korpo de frakcioj de la entjera domajno ''R'' havas formon ''a/b'' kun ''a'' kaj ''b'' en ''R'' kaj ''b'' ≠ 0. La korpo de frakcioj de la ringo ''R'' estas iam simboligita per Quot(''R'') aŭ Frac(''R''). La korpo de frakcioj de la ringo de [[entjero]]j estas la korpo de [[racionala nombro|racionaloj]], '''Q''' = Quot('''Z'''). La korpo de frakcioj de korpo estas [[izomorfio|izomorfia]] al la korpo mem.
Unu povas konstrui la korpon de frakcioj Quot(''R'') de la integralaintegreca domajnoringo ''R'' kiel sekvas: Quot(''R'') estas la aro de [[ekvivalento-klaso]]j de paroj ''(n, d)'', kie ''n'' kaj ''d'' estas eroj de ''R'', kaj ''d'' estas ne 0, kaj la [[ekvivalentrilato]] estas:
:''(n, d)'' estas ekvivalento al ''(m, b)'' [[se kaj nur se]] ''nb=md'' (oni konsideras la klason ''(n, d)'' kiel la frakcio ''n/d'')
Linio 10:
La korpo de frakcioj de ''R'' estas karakterizita per jena [[universala propraĵo]]: se ''f'' : ''R'' → ''F'' estas [[ringa homomorfio|ringa]] [[homomorfio]] de ''R'' en korpon ''F'', tiam ekzistas unika ringa homomorfio ''g'' : Quot(''R'') → ''F'' kiu etendas ''f''.
<!-- Estas kategoria interpretado de ĉi tiu konstruado. Estu '''C''' esti la kategorio de entjerajintegrecaj domajnojringoj kaj [[disĵeto|disĵetaj]] ringaj mapoj. La _functor_ de '''C''' al la kategorio de korpoj kiu prenas ĉiu integralaintegreca domajnoringo al ĝia frakcikorpo kaj ĉiu homomorfio al la konkludis mapo sur korpoj (kiu ekzistas per la universala propraĵo) estas la maldekstra adjunkto de la forgesema _functor_ de la kategorio de korpoj al '''C'''.-->
