\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{irreducible ideal}

\hypertarget{irreducible_ideals}{}\section*{{Irreducible ideals}}\label{irreducible_ideals}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{definitions}{Definitions}\dotfill \pageref*{definitions} \linebreak
\noindent\hyperlink{properties}{Properties}\dotfill \pageref*{properties} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

\emph{Irreducible ideals} generalize [[prime ideals]] by replacing [[ideal product|multiplication]] of [[ideals]] with [[intersection]]. (Strictly speaking, this gives us the notion of \emph{strongly} irreducible ideals; the irreducible ideals are found by replacing a containment with an equality. However, in many common situations, these are equivalent.)

In [[lattices]] (or [[prosets]] more broadly), where multiplication of ideals \emph{is} intersection, the (strongly) irreduicible ideals are the same as the prime ideals; this is true in some other cases, such as the [[ring of integers]]. (For this reason, the term `strongly irreducible' is not needed in [[order theory]].)

There is also an infinitary version, the \emph{completely} irreducible ideals\_, which also have a strong version. (The completely strongly irreduicible ideals are usually called `completely prime' in order theory, although they are different from the [[completely prime ideals]] of noncommutative ring theory).

Irreducible ideals are related to [[irreducible elements]] but don't line up perfectly.

\hypertarget{definitions}{}\subsection*{{Definitions}}\label{definitions}

Let $R$ be a [[ring]], or more generally a [[rig]], possibly even [[nonassociative ring|nonassociative]], or even just a [[monoid]], possibly just a [[magma]]; or on the other hand a [[lattice]], or even just a [[proset]]. In other words, anything with a concept of \emph{[[ideals]]}. In the noncommutative case, we could be talking about left ideals, right ideals, or two-sided ideals; pick a meaning and stick with it. We need the concept of [[intersection]] of ideals (which all of these have), and that's pretty much it; that is, we use the structure of the [[meet-semilattice]] $Idl(R)$ of ideals of $R$.

\begin{defn}
\label{basic}\hypertarget{basic}{}
An ideal $I$ of $R$ is \textbf{irreducible} if $I$ is [[proper ideal|proper]] and, whenever $I$ equals the intersection of two ideals of $R$, $I$ equals at least one of those two ideals:

\begin{displaymath}
\forall\, J \in Idl(R),\; \forall\, K \in Idl(R),\; I = J \cap K \;\Rightarrow\; I = J \;\vee\; I = K .
\end{displaymath}
Also, $I$ is \textbf{completely irreducible} if, whenever $I$ contains the intersection of any collection of ideals of $R$, $I$ contains at least one of the ideals in that collection:

\begin{displaymath}
\forall\, \mathcal{J} \subseteq Idl(R),\; I = \bigcap \mathcal{J} \;\Rightarrow\; \exists\, J \in Idl(R),\; J \in \mathcal{J} \;\wedge\; I = J .
\end{displaymath}
Alternatively, $I$ is \textbf{strongly irreducible} if $I$ is [[proper ideal|proper]] and, whenever $I$ contains the intersection of two ideals of $R$, $I$ contains at least one of those two ideals:

\begin{displaymath}
\forall\, J \in Idl(R),\; \forall\, K \in Idl(R),\; I \supseteq J \cap K \;\Rightarrow\; I \supseteq J \;\vee\; I \supseteq K .
\end{displaymath}
Finally, $I$ is \textbf{strongly completely irreducible} if, whenever $I$ contains the intersection of any collection of ideals of $R$, $I$ contains at least one of the ideals in that collection:

\begin{displaymath}
\forall\, \mathcal{J} \subseteq Idl(R),\; I \supseteq \bigcap \mathcal{J} \;\Rightarrow\; \exists\, J \in Idl(R),\; J \in \mathcal{J} \;\wedge\; I \supseteq J .
\end{displaymath}
\end{defn}
Every strongly irreducible ideal is irreducible, every completely irreducible ideal is irreducible, and every strongly completely irreducible ideal is both strongly irreducible and completely irreducible. (The converses of these hold in various situations that we should describe below.)

The definition of `completely irreducible' doesn't need to explicitly require $I$ to be proper; that is covered by considering the [[empty collection]] $\mathcal{J}$ of ideals. The definition of `irreducible' can take care of that automatically too if it is made [[unbiased definition|unbiased]]:

\begin{defn}
\label{unbiased}\hypertarget{unbiased}{}
An ideal $I$ of $R$ is \textbf{irreducible} if, whenever $I$ equals the intersection of a [[finite list]] of ideals of $R$, $I$ equals at least one of the ideals in the list:

\begin{displaymath}
\forall\, n \in \mathbb{N},\; \forall\, J \in Idl(R)^n,\; I = \bigcap_{k\in[n]} J_k \;\Rightarrow\; \exists\, k \in [n],\; I = J_k .
\end{displaymath}
Also, $I$ of $R$ is \textbf{strongly irreducible} if, whenever $I$ contains the intersection of a [[finite list]] of ideals of $R$, $I$ contains at least one of the ideals in the list:

\begin{displaymath}
\forall\, n \in \mathbb{N},\; \forall\, J \in Idl(R)^n,\; I \supseteq \bigcap_{k\in[n]} J_k \;\Rightarrow\; \exists\, k \in [n],\; I \supseteq J_k .
\end{displaymath}
\end{defn}
As is typical, the case for $n \gt 2$ follows from the case for $n = 2$ by [[mathematical induction|induction]], the case for $n = 2$ is the significant requirement in the unbiased definition, the case for $n = 1$ is trivial, and the case for $n = 0$ is the extra requirement (in this case, being proper) that rules out ideals that are [[too simple to be simple|too irreducible to be irreducible]].

As with [[prime ideals]], it may be helpful to focus on the [[complements]] of the ideals involved, which are known (especially in [[constructive mathematics]]) as [[anti-ideals]]. Of course, we could just repeat the definitions involving the [[join-semilattice]] $AIdl(R)$ of antiideals of $R$ (which classically is equivalent to $Idl(R)^op$); I won't write that out here, but it does make the term `irreducible' have more of the flavour of its usual meaning; a proper anti-ideal is irreducible if it cannot be \emph{reduced} as the union of two smaller anti-ideals.

\hypertarget{properties}{}\subsection*{{Properties}}\label{properties}

If $Idl(R)$ is a [[distributive lattice]], then irreducible ideals are the same as strongly irreducible ideals. If $R$ is a distributive lattice, then not only are these the same, but the [[prime ideals]] are also the same as them.

An ideal generated by an [[irreducible element]] is irreducible, but not always conversely (not even if we ignore $0$).

\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item Kiyoshi Iséki. 1956. Ideal Theory of Semiring. \emph{Proceedings of the Japan Academy} A 32:8, 554--559. \href{https://projecteuclid.org/euclid.pja/1195525272}{Project Euclid}.

\end{itemize}
[[!redirects irreducible ideal]] [[!redirects irreducible ideals]]

[[!redirects completely irreducible ideal]] [[!redirects completely irreducible ideals]]

[[!redirects strongly irreducible ideal]] [[!redirects strongly irreducible ideals]]

[[!redirects completely strongly irreducible ideal]] [[!redirects completely strongly irreducible ideals]]

[[!redirects strongly completely irreducible ideal]] [[!redirects strongly completely irreducible ideals]]



\end{document}