환론,ring_theory



반환?
준환?
세미환?

...에서 뺄셈,subtraction만 제외? chk


Sub:
star_semiring =,star_semiring =,star_semiring . star_semiring
{
https://en.wikipedia.org/wiki/Semiring#Star_semirings
"A star semiring (sometimes spelled starsemiring) is a semiring with an additional unary operator *, satisfying a* = 1 + a a* = 1 + a* a. A 클레이니_대수,Kleene_algebra is a star semiring with idempotent addition and some additional axioms."
}


환,ring =환,ring =,ring 환 ring
{




bmks ko
환(ring)에서 체(field)까지 - 1. 환(ring) :: jjycjn's Math Storehouse
https://jjycjnmath.tistory.com/228




나눗셈환,division_ring =,division_ring . division_ring
{



"division ring"



trivial_ring =,trivial_ring =,trivial_ring . trivial_ring
{
trivial ring
자명환 (wk)
https://ko.wikipedia.org/wiki/자명환



"trivial ring"
Ggl:trivial ring
}
//위아래cmp

nontrivial_ring =,nontrivial_ring =,nontrivial_ring . nontrivial_ring
{
nontrivial ring


}

ordered_ring =,ordered_ring =,ordered_ring . ordered_ring
{
commutative_ring이면서 total_ordering을 가진.
WtEn:ordered_ring
https://planetmath.org/orderedring
}

commutative_ring =,commutative_ring =,commutative_ring . commutative_ring
{




Topics:
소아이디얼,prime_ideal
{
ideal - 아이디얼 or 이데알... pagename TBD